归谬法一般指反证法
反证法是间接论证的方法之一。亦称“逆证”。是通过断定与论题相矛盾的判断(即反论题)的虚假来确立论题的真实性的论证方法。反证法的论证过程如下:首先提出论题:然后设定反论题,并依据推理规则进行推演,证明反论题的虚假;最后根据排中律,既然反论题为假,原论题便是真的。在进行反证中,只有与论题相矛盾的判断才能作为反论题,论题的反对判断是不能作为反论题的,因为具有反对关系的两个判断可以同时为假。反证法中的重要环节是确定反论题的虚假,常常要使用归谬法。反证法是一种有效的解释方法,特别是在进行正面的直接论证或反驳比较困难时,用反证法会收到更好的效果。
反证法在数学中经常运用。当论题从正面不容易或不能得到证明时,就需要运用反证法,此即所谓"正难则反"。
牛顿曾经说过:“反证法是数学家最精当的武器之一”。一般来讲,反证法常用来证明正面证明有困难,情况多或复杂,而命题的否定则比较浅显的题目,问题可能解决得十分干脆。
反证法的证题可以简要的概括为“否定得出矛盾→否定”。即从否定结论开始,得出矛盾,达到新的否定,可以认为反证法的基本思想就是辩证的“否定之否定”。应用反证法的是:
欲证“若P,则Q”为真命题,从相反结论出发,得出与事实、定理、已知条件、基本事实等矛盾,从而原命题为真命题。