<P>귀류법은 어떤 명제의 참,거짓을 증명하고자 할 때, 결론을 부정하여 가정이 모순이 됨을 보여 명제가 참임을 증명하는 명제 증명 방법입니다. </P> <P>귀류법을 사용한 증명의 예는 파일로 첨부하였습니다.</P>
