1.反证法的定义 由证明p⇒q转向证明 q⇒r⇒…⇒t,t与 矛盾,或与某个 矛盾,从而判定 ,推出 的方法,叫做反证法.
假设
真命题
q为假
q为真
解释:假设原命题不成立,(即在原命题的条件下,结论不成立),经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明了原命题成立这样的证明方法叫做反证法。