귀류논증 (Reductio ad Absurdum)
한 줄 정의: 어떤 명제가 참이라고 가정했을 때 논리적으로 모순이나 명백히 거짓인 결론이 도출됨을 보임으로써, 그 명제가 거짓임을 간접적으로 증명하는 논증 방법이다.
쉽게 풀면
귀류법은 증명하고 싶은 것의 반대를 일단 참이라고 가정한 뒤, 그 가정에서 말도 안 되는 모순이 튀어나오는 것을 보여줌으로써 원래 가정이 틀렸다는 것을 증명하는 방법이다. 예를 들어 '2의 제곱근이 유리수'라고 가정하면 모순이 발생한다는 것을 보여, 2의 제곱근이 무리수임을 증명하는 수학적 증명이 대표적 예이다.
논문에서는 이렇게 쓰입니다
"이 증명은 귀류법을 사용하여 가정된 명제로부터 모순을 도출함으로써 원하는 정리를 간접적으로 확립한다."
직접적으로 정리를 증명하는 대신, 정리의 부정을 가정한 뒤 모순을 이끌어내는 간접 증명 방식이 귀류법의 전형적인 활용임을 보여준다.
주의할 점
귀류법이 성립하려면 무모순율과 배중률이 전제되어야 하므로, 이 두 원리를 받아들이지 않는 일부 직관주의 논리 체계에서는 귀류법의 사용이 제한될 수 있다는 점에 유의해야 한다.