| 反证法 disproof method 亦称“逆证”。通过确定与论题相矛盾的判断(即反论题)的虚假来确立论题的真实性的间接论证。反证法的论证过程是： 论题：p 设立反论题：非p 确定反论题非p假 根据排中律，非p假，所以，p真。 如对三段论第一格的规则“小前提必须肯定”所作的论证就运用了反证法：先设立反论题“小前提是否定的”。然后根据推理规则，如小前提为否定，则必然推出“大前提也要否定”的结论，而这一结论是虚假的(它使两个前提都成了否定判断，而这是违反规则的)。由此可推出反论题的虚假，从而论证了论题的真实性。在进行反证中，只有与论题相矛盾的判断才能作为反论题，论题的反对判断是不能作为反论题的。为了使论题的真实性得到论证，重要的一环是要确定反论题的虚假，为此通常采用归谬法。 |