什麼叫做反證法

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