间接证明

---

表现为对论题进行论证的特殊方法的一种逻辑证明形式。

与直接证明不同，间接证明是通过确定一些论点的虚假性来证明所要证明之论题的真实性。这些论点与所论证的论题具有相互矛盾的联系，因此从这些论点的虚假性中可以引出论题的真实性。间接证明有不同的形式。在选言间接证明中所考察的是那些已经总结了在该场合下可能存在的全部论断的种种假设；除其中一个假设外，弄清其余全部假设的虚假性，便可以确定那个被除外的假设的真实性。

间接证明的另一种形式是逆证明(反证明)，在逆证明过程中，从假定反题(与所要证明的论题相矛盾的论点)为真之中提出逻辑上的矛盾，并据此作出关于论题真实性的结论。