안녕하세요. 질문에 대한 관련 답변입니다. 주어진 명제를 p -> q 라 했을때 대우법은 말그래도 대우(~q -> ~p)를 이용한 증명방법이고 , 귀류법은 결론을 부정하여 가정에 모순을 찾는 증명방법입니다. 둘다 명제를 직접 증명하기 어려울때 쓰는 간정증명법이고, 결론을 부정(~q) 하여 출발하므로 증명방법이 거의 비슷합니다만 차이점이라 하면 대우법은 ~q -> ~p 명제를 직접 증명한다고 생각하시면 되고 귀류법은 " ~~라 하자(결론 부정) ~~~~~~ 이므로 가정에 모순 따라서 p -> q 이다" 형식으로 진행됩니다.