1.證明定理的一種方法，先提出和定理中的結論相反的假定，然後從這個假定中得出和已知條件相矛盾的結果來，這樣就否定了原來的假定而肯定了定理。也叫歸謬法
1.證明定理的一種方法。先提出和定理中的結論相反的假定，然後從這個假定中得出和已知條件相矛盾的結果來，這樣就否定了原來的假定而肯定了定理。也叫歸謬法
1.一種證明定理的方法。先提出和定理中的結論相反的假定，然後從這假定中得出和已知條件相矛盾的結果來，這樣就否定原來的假定而肯定了定理，稱為「反證法」
1.反證法
釋 反證法是間接論證的方法之一。亦稱「逆證」。是通過斷定與論題相矛盾的判斷（即反論題）的虛假來確立論題的真實性的論證方法。反證法的論證過程如下：首先提出論題：然後設定反論題，並依據推理規則進行推演，證明反論題的虛假；最後根據排中律，既然反論題為假，原論題便是真的。在進行反證中，隻有與論題相矛盾的判斷才能作為反論題，論題的反對判斷是不能作為反論題的，因為具有反對關係的兩個判斷可以同時為假。反證法中的重要環節是確定反論題的虛假，常常要使用歸謬法。反證法是一種有效的解釋方法，特別是在進行正麵的直接論證或反駁比較困難時，用反證法會收到更好的效果。
英語翻譯 reductio ad absurdum