증명하고 싶은 명제의 결론이 거짓이라고 가정하였을 때 모순되는 가정이 나온다는 것을 보여주어 결국은 명제가 참이라는 것을 증명하는 법.

*귀류법의 예 : √2가 유리수가 아님을 귀류법으로 증명하라.

1) √2가 유리수라고 가정하고 √2=b/a로 둔다. (a, b는 서로소인 자연수)

2) 2a²=b² 이므로 b는 2의 배수가 된다. b=2b

3) 다시 식에 대입하면 2b²=a²이 되고 a도 2의 배수가 된다.

4)a, b가 서로소라는 가정에 모순된다.

∴ √2는 유리수가 아니다.