in_ing.gif
귀류법은 결론을 부정하여 가정에 모순되는점을 보이는것이고
대우법은 원래 명제 p이면 q이다 의 대우인
~q이면 ~p임을 보이는 겁니다.
다시 말해 귀류법은 대우법처럼 가정이~p가 나오는 경우도 있겠지만
이 경우뿐아니라 결론을 부정했을때 우리가 알고 있는 다른 수학지식에 모순되는경우도
귀류법의 한 예가 됩니다.