|
|
논리학에서[[논리학]]에서, 어떤 [[조건 명제]]의 '''대우'''(對偶, {{llang|en|contrapositive}})는 제시된그 [[명제]]의조건 명제의 가정과 결론을 뒤바꾼 뒤 각각 [[부정 (논리학)|부정]]과을 반대를취하여 모두얻는 포괄한다명제이다. 예컨대다시 "A이면말해, B이다"라는명제의 명제가대우는 있다면그 명제의 [[역 (논리학)|역]]은 "B이면 A이다"이고,의 [[이 (논리학)|이]]는 "A가또는 아니면이의 B가역과 아니다"라고같다. 할예를 때들어, 'p이면 q이다'라는 명제의 대우는 "B가'q가 아니면 A가p가 아니다"'이다. 하나의[[고전 명제가논리]]에서 참이면한 대우도쌍의 명제가 참이어야서로 하며대우라면, 명제가이 거짓일둘은 경우항상 대우도[[논리적 거짓이다동치]]이다. 이는즉, 집합의서로 포함관계로대우인 증명명제는 할둘 수다 있다참이거나 둘 다 거짓이다.
== 함께같이 보기 ==
* [[역 (논리학)|역]]
* [[이 (논리학)|이]]
* [[부정 (논리학)]]
{{토막글|수학}}
|