反證法

反證法 （ proof by contradiction ， 又稱背理法 ） 是一種論證方式 ， 他首先假設某命題成立 （ 即在原命題的條件下 ， 結論不成立 ） ， 然後推理出明顯矛盾的結果 ， 從而下結論說原假設不成立 ， 原命題得證 。 反證法與歸謬法相似 ， 但歸謬法不僅包括推理出矛盾結果 ， 也包括推理出不符事實的結果或顯然荒謬不可信的結果 。