反证法与同一法教学指南：概念与应用实例.pdfVIP

14

14

14

反证法

反证法

与同一法

与同一法

板块一反证法

知识导航

反证法

反证法是一种间接证法．为了证明某个命题的正确性，先提出一个与命题的结论相反的假设，

然后，从这个假设出发，经过正确的推理，导致，从而否定假设，达到肯定原命题正确的目

的，这种方法就是反证法．

反证法的逻辑根据是“排中律”：对于同一思维对象，所作的两种互相对立的判断只能一真

一假、反证法就是通过证明结论的不真而肯定结论为真的一种证明方法．

用反证法证明一个命题的正确性的步骤，大体上分为：

（1）反设：假设结论的成立；

（2）归谬：由反设及原命题的条件出发，经过严密的推理，导出；

（3）结论：否定反设，肯定原命题正确．

按照反设所涉及到的情况的多少，反证法可分