⑥ 귀류법

어떤 명제가 거짓이라 가정하였을 때 모순되는 결론이 나온다는 것을 보임으로써, 결과적으로 명제가 참이라는 사실을 증명하는 방법이다.

이는 명제가 논리학적으로 참과 거짓이 명확하고, 참과 거짓 외의 경우는 없다는 특성에 의존하는 증명법이다.

예를 들어 ‘피타고라스는 사람이다’는 참인 명제이고, 이의 부정인 ‘피타고라스는 사람이 아니다’는 거짓인 명제이다. 그 둘 외의 다른 경우, 예를 들어 ‘피타고라스가 사람인지 아닌지 알 수 없는 상황’ 같은 경우는 없다고 상정한다.