百度百科
反證法
反證法是間接論證的方法之一。亦稱“逆證”。是通過斷定與論題相矛盾的判斷（即反論題）的虛假來確立論題的真實性的論證方法。反證法的論證過程如下：首先提出論題：然後設定反論題，並依據推理規則進行推演，證明反論題的虛假；最後根據排中律，既然反論題爲假，原論題便是真的。在進行反證中，只有與論題相矛盾的判斷才能作爲反論題，論題的反對判斷是不能作爲反論題的，因爲具有反對關係的兩個判斷可以同時爲假。反證法中的重要環節是確定反論題的虛假，常常要使用歸謬法。反證法是一種有效的解釋方法，特別是在進行正面的直接論證或反駁比較困難時，用反證法會收到更好的效果。 © 漢典