反证法是间接论证的方法之一。亦称“逆证”。是通过断定与论题相矛盾的判断（即反论题）的虚假来确立论题的真实性的论证方法。反证法的论证过程如下：首先提出论题：然后设定反论题，并依据推理规则进行推演，证明反论题的虚假；最后根据排中律，既然反论题为假，原论题便是真的。在进行反证中，只有与论题相矛盾的判断才能作为反论题，论题的反对判断是不能作为反论题的，因为具有反对关系的两个判断可以同时为假。反证法中的重要环节是确定反论题的虚假，常常要使用归谬法。反证法是一种有效的解释方法，特别是在进行正面的直接论证或反驳比较困难时，用反证法会收到更好的效果。
证明定理的一种方法。先提出和定理中的结论相反的假定，然后从这个假定中得出和已知条件相矛盾的结果来，这样就否定了原来的假定而肯定了定理。也叫归谬法。
一種證明定理的方法。先提出和定理中的結論相反的假定，然後從這假定中得出和已知條件相矛盾的結果來，這樣就否定原來的假定而肯定了定理，稱為「反證法」。
载请注明：转载自词典网 [https://www.cidian5.com/]
