[요약] 어떤 명제(命題)의 결론의 부정(否定)을 가정으로 하고, 가정의 부정을 결론으로 하는 명제. 명제에는 역, 이, 대우 세 가지가 있다. 명제 p→q이면 대우는 ∼q→∼p이다. 즉, 대우란 명제의 가정과 결론의 위치가 바뀌고 긍정은 부정으로 부정은 긍정으로 바뀌는 것을 말한다. 명제가 참이면 대우도 참이고 명제가 거짓이면 대우도 거짓이다. 예를 들어 1) 명제 “함수 y＝2x에서 x값이 1이면 y값은 2이다.”라고 할 때, 대우는 “함수 y＝2x에서 y값이 2가 아니면 x값은 1이 아니다.”이다. 2) 명제 “아프면 약을 먹는다.”라고 할 때. 대우는 “약을 안 먹으면 안 아프다.”이다.