[요약] 어떤 명제가 성립함을 증명하는 데 있어, 가정(假定)에서 차례로 추론하여 결론을 이끌어내는 것이 아니라, 다른 방법에 의하여 결론이 옳다고 증명하는 방법이다. 어떤 명제가 성립함을 증명하고자 할 때 가정을 전제로 체계적인 추론을 통해 결론을 이끌어내는 것이 아니라 결론의 부정을 통해 오류를 유도함으로써 본래의 명제가 성립함을 증명하는 방법이다. 가령, ‘ p이면 q이다’란 명제가 참임을 증명할 때 그 대우명제인 ‘~p이면 ~q이다’가 성립함을 증명하거나, ~q가 참이고 ~p가 거짓으로 존재할 수 없음을 증명하는 것이 바로 간접증명이다. 이 간접증명에는 귀류법을 비롯하여 전환법, 동일법 등이 있다.