浅谈反证法

摘要

一、什么是反证法 不直接去证明命题的结论,而是先提出与结论相反(相排斥)的假设,然后推导出和已经证明的定理或公理、定义、题设等相矛盾的结果;这样就证明了与结论相反的假设不能成立,从而肯定了原来的结论成立。这种间接证明命题的方法叫做反证法。 反证法就是通过确定与命题相矛盾的命题的虚假,根据排中律,由假推真来证明命题的真