反证法的认识误区及其错误延伸.docVIP

反 证 法 就 是 证 原 命 题 的 逆 否 命 题 吗 缪 选 民 江苏省泰州市海陵区教育局教研室 225300 读了“谈数学中反证法的应用”一文[1]，觉得部分老师对反证法的认识存在误区，虽然平时都在用反证法，但对这种证法的逻辑等价式却一知半解。文中写道：“要证命题‘若A则B’正确（简记为AB），途径之一是证与其等价的逆否命题（简记为﹁B﹁A）正确。即从否定B出发，作出一系列正确、严密、合乎逻辑的推理，最后推出与A矛盾的结论，即原命题得证。用反证法证明命题成立的基本步骤可以简单地概括为‘否定—推理—反驳—肯定’四个步骤”。 笔者认为，上述对反证法的认识是错误的，反证法不是证明原命题的逆否命题。在上述叙述中，前两句话说的是逆否证法，第三句话说的是反证法的步骤。文[1]的作者混淆了“逆否证法”和“反证法”这两个根本不同的逻辑概念，虽然它们的证明过程非常相似，但逆否证法和反证法各自的逻辑等价式不同，在具体运用证题时的方式也有所不同，这在证明假言命题“p→q”时最容易引起混淆。下面我们以证明假言命题“p→q”为例来说明两者的区别： 第一，用逆否证法证明命题p→q时，开始时的步骤是否定命题的结论，即﹁q；而反证法在证题开始时是否定“p→q”这个命题本身，真正的步骤是“p∧﹁∧﹁﹁∧﹁﹁∧p）=（p→q）。 第三，逆否证法目标明确，由﹁∧﹁﹁∧p 、﹁∧q、与公理定理矛盾等，矛盾有多种情形，（﹁∧s）才是目标。 下面以具体的例子来说明逆否证法和反证法的不同之处： 例．已知：，求证：。[2] 逆否证法：设，则 ，即 ， 若，则， 于是；若，则 为正数，所以必有。 即得，从而原命题得证。 评注：逆否证法证明的是﹁q→﹁p，证明开始时仅否定结论，没有肯定条件，因此在证明过程中是不用已知条件的，这种证法平时不多见。 反证法：假设（且，在平时的证明中，习惯上这一点是不写出来的），又，由此得：，从而有 ，于是， 因此，这与已知条件矛盾，故原命题得证。 评注：反证法开始时的步骤是p∧﹁∧﹁∧﹁∧p）=（p→q）型反证法，它是引起逆否证法与反证法混淆的根源所在！ 综上所述，反证法归反证法，逆否证法归逆否证法，反证法不是证原命题的逆否命题，两者不一样，教学中不应将两种方法混同看待。 参考文献：[1] 王晓东 谈数学中“反证法”的应用 数学通报 2007.8 [2] 郑君文 张恩华《数学逻辑学概论》 安徽教育出版社1995年7月 第 2 页