귀류법은 주장하려는 명제의 부정을 가정한 뒤 모순을 도출하여 원래 명제를 증명하는 방법이다.
원리
가정과 이미 알려진 사실을 연결해 동시에 참일 수 없는 결론을 얻는다. 무엇과 무엇이 모순되는지 마지막에 분명히 제시한다.
예시
소수가 유한 개라고 가정하고 그 소수들을 모두 곱한 값에 1을 더하면, 목록의 소수들로 나누어떨어지지 않는 수를 얻는 논증이 대표적이다.
주의할 점
원래 명제가 성립하지 않는다고 가정하는 것과 원하는 결론을 몰래 전제하는 것을 구별한다. 논증 중 도출한 수 자체가 반드시 소수라고 주장할 필요는 없다.