反证法逻辑理 孙贤忠.docVIP

反证法逻辑原理即证“完备性前提下的原命题的逆否命题”作者：孙贤忠（湖南省长沙市第七中学 邮编：410003）【摘要】：阐明反证法的定义、逻辑依据、证明的一般步骤、种类，探索其在中学数学中的应用。这实际上就是在证“完备性前提下的原命题的逆否命题”了。一个命题：若A则B为真，这只是简洁的形式，因为若A则B为真，其本身就还含有所有的已知定义,定理,大家都知道的事实，乃至正确的逻辑推理等等一切必须为真的系统性条件为真，否则绝不可能推出结论B为真。【关键词】：反证法 证明 矛盾 HYPERLINK /view/379367.htm \t _blank 逆否命题一 反证法出现反证法（Proofs by Contradiction，又称归谬法、背理法），是一种 HYPERLINK /view/143654.htm \t _blank 论证方式，他首先假设某 HYPERLINK /view/2050.htm \t _blank 命题不成立（即在原命题的条件下，结论不成立），然后推理出明显 HYPERLINK /view/23901.htm \t _blank 矛盾的结果，从而下结论说明 HYPERLINK /view/84393.htm \t _blank 假设不成立，原命题得证。反证法常称作Reductio ad absurdum，是 HYPERLINK /view/40632.htm \t