定義

間接證明是相對(duì)于直接證明說的,反證法是間接證明常用的方法。

反證法

假設(shè)原命題不成立,經(jīng)過正確的推理,最后得出矛盾,因此說明假設(shè)錯(cuò)誤,從而證明原命題成立,這種證明方法叫做

反證法