귀류법

1 개요

proof by contradiction, indirect proof, apagogical argument, proof by assuming the opposite, reductio ad impossibilem

歸謬法, 背理法, 反證法

귀류법, 배리법, 반증법

• 결론 부정하여 모순을 보이는 간접증명방법
• 명제가 참임을 증명하기 위해 그 명제의 결론을 부정함으로써 정리·가정 등에 모순이 된다는 것을 보여 그 명제가 참임을 증명하는 방법
• 어떤 명제가 참임을 증명하려 할 때 그 명제의 결론을 부정함으로써 가정 또는 공리 등이 모순됨을 보여 간접적으로 그 결론이 성립한다는 것을 증명하는 방법

2 사례

• √2는 무리수 증명

3 같이 보기

• 증명
• 논증
• 모순
• 추론
• 연역법
• 귀납법
• 동일법
• 부조리
• 수학적 귀납법

4 참고

• 영어 위키백과 "Proof by contradiction"
• 위키백과 "귀류법"
• 위키낱말사전 "귀류법"
• 다음사전 "귀류법"
• 다음백과 "귀류법"
• 네이버사전 "귀류법"
• 네이버백과 "귀류법"
• 나무위키 "귀류법"
• 리브레 위키 "귀류법"