定义:
一般地,假设原命题不成立,经过正确的推理, 最后得出矛盾,由此说明假设错误,从而证明了原 命题成立,这样的证明方法叫做反证法。
原理:否定之否定就是肯定。
实质:证明命题的逆否命题和原命题同时成立。