귀류법은 논리학과 수학에서 사용되는 증명 방법이다. 이 방법은 어떤 명제의 참을 증명하기 위해 그 명제의 부정이 모순을 낳는다는 것을 보여주는 간접 증명 방식이다.

귀류법의 기본 원리는 다음과 같다:

1. 증명하고자 하는 명제의 반대를 가정한다.

2. 이 가정으로부터 논리적 추론을 진행한다.

3. 추론 과정에서 모순이 발생함을 보인다.

4. 모순이 발생했으므로 처음의 가정이 거짓임을 결론짓는다.

5. 따라서 원래 증명하고자 했던 명제가 참임을 간접적으로 증명한다.

귀류법은 특히 직접적인 증명이 어려운 경우에 유용하게 사용된다. 예를 들어, 무리수의 존재 증명이나 소수가 무한히 많다는 증명 등에서 자주 활용된다.

이 방법의 장점은 복잡한 명제를 간접적으로 증명할 수 있다는 것이다. 그러나 단점으로는 직관적인 이해가 어려울 수 있고, 때로는 불필요하게 긴 증명 과정을 거칠 수 있다는 점이 있다.

귀류법의 기원은 고대 그리스로 거슬러 올라가며, 특히 수학자 유클리드가 그의 저서 "원론"에서 이 방법을 사용한 것으로 알려져 있다.

현대 수학과 논리학에서도 귀류법은 여전히 중요한 증명 기법으로 널리 사용되고 있으며, 수학적 사고와 논리적 추론 능력을 기르는 데에도 도움이 된다.