什么是间接证明?通过证明与原论题相排斥的论题的虚假来确定原论题的真实，叫作间接证明。
间接证明包括假言反证法和选言排他法。
假言反证法也叫反证法，是先提出某论题，然后通过证明跟某论题相矛盾的论题的虚假，来证明某论题的真实。这是假言直言推理在证明中的运用。比如，先提出“语言不能生产物质财富”的论题，接着指出:“如果语言能生产物质财富，夸夸其谈的人就会成为富翁。”既然夸夸其谈的人不会成为富翁，语言能生产物质财富就是假的，既然语言能生产物质财富是假的，那么语言不能生产物质财富便是真的。
选言排他法也叫排他法，是先提出包括某论题的几种情况，然后逐一排除某论题以外的各种情况，从而证明只有某论题才是真实的。这是选言直言推理在证明中的运用。比如，一个人后脑被砍而死去，是什么原因?首先提出两种可能，或者是自杀，或者是他杀。自杀是不可能的，因为不可能从后脑用刀自砍，所以，他杀的结论是可靠的。 