逍遥学能 2015-12-26 09:32
反证法的定义:
一般地,假设原命题不成立(即在原命题的条件下,结论不成立),经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明了原命题成立,这样的证明方法叫做反证法。
图解:
反证法的步骤:
(1)假设命题的结论不成立,即假设结论的反面成立;(2)从这个假设出发,通过推理论证,得出矛盾;(3)由矛盾判定假设不正确,从而肯定命题的结论正确。