안녕하세요. 질문에 대한 관련 답변입니다. 같은 말은 아니지만, 증명방법은 비슷합니다. 대우법은 대우를 이용한 증명으로써 주어진 명제'p이면 q이다' 의 대우인 '~q 이면 ~p이다' 를 직접증명하는 증명방법입니다. 귀류법은 결론을 부정하여(~q) 가정의 모순을 찾는 증명방법으로 '~라 하자(결론 부정). ~~~~이므로 가정에 모순이다. 따라서 p이면 q이다' 꼴로 증영이 진행됩니다.