귀류법

개요

어떤 명제가 참이면 논리적 모순을 갖는다는 것을 밝힘으로써 그 명제가 거짓임을 논증하는 방법이다.