대우 (논리학)

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

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

함께 보기[편집]