귀류법

“귀류법(歸謬法, proof by contradiction)”은 수학 논증의 중요한 기법 중 하나야. 간단히 말하면 “어떤 명제가 거짓이라고 가정하면 모순이 생긴다”는 사실을 밝혀 그 명제가 참임을 증명하는 방식이지. 이 글에서 귀류법이 왜 성립하는지, 즉 이 방법이 논리적으로 왜 올바른지, 역사적 배경, 수학적 근거, 그리고 실제 적용 예시들을 통해 깊이 이해해보자. 귀류법의 개념 귀류법은 보통 다음과 같은 형태로 전개돼: … 더 읽기