대우 (논리학): 두 판 사이의 차이

논리에서 '''대우'''(對偶)는 제시된 명제의 부정과 반대를 모두 포괄한다. 예컨대 "A이면 B이다"라는 명제가 있다면 명제의 [[역 (논리)|역]]은 "B이면 A이다"이고, [[이 (논리)|이]]는 "A가 아니면 B가 아니다"라고 할 때, 대우는 "B가 아니면 A가 아니다"이다. 하나의 명제가 참이면 대우도 참이어야 하며, 명제가 거짓일 경우 대우도 거짓이다.

 

[[분류:논리학]]