간접증명법

요약 어떤 명제가 성립함을 증명하는 데 있어, 가정(假定)에서 차례로 추론하여 결론을 이끌어내는 것이 아니라, 다른 방법에 의하여 결론이 옳다고 증명하는 방법.

이에는 귀류법(歸謬法:背理法)·전환법·동일법 등이 있다.