연역논증_대우

대우는 다음과 같이 표현한다.

 

p→q ≡ ~q→~p

 

 

대우명제란?

 

대우명제란 어떤 명제의 결론의 부정을 전제로 하고 어떤 명제의 전제의 부정을 결론으로 하는 명제를 말한다.

 

어떤 명제가 참이라면, 대우명제 또한 참이다.

 

대우는 타당한 논증 형식 중 하나인 후건부정법이다.

 

 

대우의 예(후건부정법의 예)

 

만약 춘식이가 붕어빵을 5개를 판다면, 천 원을 벌 것이다.

천 원을 벌지 못했다면, 춘식이는 붕어빵을 5개를 팔지 못했을 것이다.

 

만약 비가 온다면, 땅이 젖을 것이다.

땅이 젖지 않았으므로, 비가 오지 않았을 것이다.