反证法逻辑原理孙贤忠.docVIP

反证法逻辑原理 即证“完备性前提下的原命题的逆否命题” 作者：孙贤忠（湖南省长沙市第七中学 邮编：410003） 【摘要】：阐明反证法的定义、逻辑依据、证明的一般步骤、种类，探索其在中学数学中的应用。这实际上就是在证“完备性前提下的原命题的逆否命题”了。一个命题：若A则B若A则B已知定义,定理,大家都知道的事实逆否命题反证法反证法（Proofs by Contradiction，又称归谬法、背理法），是一种论证方式，他首先假设某命题不成立（即在原命题的条件下，结论不成立），然后推理出明显矛盾的结果，从而下结论说假设不成立，原命题得证。反证法常称作Reductio ad absurdum，是拉丁语中的“转化为不可能”，源自希腊语中的“? ει? το αδυνατον παγωγη”，阿基米德经常使用它。?反证法所依据的逻辑思维规律?反证法所依据的是逻辑思维规律中的“矛盾律”和“排中律”。在同一思维过程中，两个互相矛盾的判断不能同时都为真，至少有一个是假的，这就是逻辑思维中的“矛盾律”；两个互相矛盾的判断不能同时都假，简单地说“A或者非A”，这就是逻辑思维中的“排中律”。反证法在其证明过程中，得到矛盾的判断，根据“矛盾律”，这些矛盾的判断不能同时为真，必有一假，而已知条件、已知公理、定理、法则或者已经证明为正确的命题都是真的，所以“否定的结论”必为假。再根据“排中律”，结论与“否定