4反证法.docVIP

第一章 ”或者“A不能是B又是”。命题运算律“”就是体现矛盾律的。 矛盾律是同一律的引申，它用否定的形式表达同一律的内容，同一律说：A就是A；矛盾律说“A与不能同真. 因此矛盾律是从否定的方面来肯定同一律. 排中律是思维明确性的规律，它要求在同一条件下，对思维对象的两个互相矛盾的认识和判断，作出明确的选择，必须肯定其中一个或否定其中一个。其逻辑形式是“或是A，或是” 即“A与必有一真”。命题运算律“”是体现排中律的。 排中律要求人们的思维要有明确性，避免模棱两可. 它是同一律和矛盾律的补充和发挥. 排中律要求A与必有一真，若其中之一为假，则另一必为真.，是寻找正确判断的逻辑基础，当直接证明某判断为真有困难时，只要证明与其相矛盾的判断为假即可，故在数学证明中，常常运用排中律“由假推真”，它是反证法的依据。 充足理由律是思维根据性的规律，是指在思维过程中，任何一个真实的判断，必有它的充足理由，才能确认它正确，其逻辑形式是：“因为A，所以有B”。 2反证法 一般地说，在证明一个命题时，正面不易入手，就从命题结论的反面人手，先假设结论的反面成立，如果由此假设(必须使用这个条件)进行严格推理，推导出的结果与已知条件、公理、定理、定义、假设等之一相矛盾，或者推出两个互相矛盾的结果，就证明了“结论反面成立”的假设是错误的，从而得出结论的正面成立．这种证题方法就叫做反证法． 有