数学命题教学.ppt

2.矛盾律：在同一论证过程中，对同一对象的两个互相矛盾的判断不能同时为真，其中至少有一个是假的。其公式是“A不是A”或“(p∧p)”例如：两个数相等和不相等不能认为同时成立。两条直线相交与不相交也不能认为同时成立。注意：⑴矛盾律只是指两个矛盾的判断是不相容的，即不能同时为真，但是两个矛盾的判断可能同假。例如：空间两直线相交与平行。⑵矛盾律所讲的矛盾是逻辑上的矛盾，与现实的矛盾是两回事，不能混为一谈。3.排中律：在同一论证过程中，对同一对象的肯定判断与否定判断这两个判断必有一个是真的，它的公式是“或者是A或者是A”或“pp”.例如：要证明“不是有理数”，只要证明“是有理数”不真就可以了。同一律、矛盾律、排中律三者之间的联系是:三者是从不同的角度去陈述思维的确定性的,排中律是同一律和矛盾律的补充和深入,排中律和矛盾律都不允许有逻辑矛盾,违背了排中律就必然违背矛盾律。同一律、矛盾律、排中律三者之间的区别是:同一律要求思维保持确定、同一,而没有揭示思维的相互对立或矛盾的问题,矛盾律是同一律的引申和发展,它指明了正确的思维不仅要求确定,而且不能互相矛盾或对立,即指出对于同一个思维对象所作的两个互相矛盾或对立的判断,只要承认不能同真,至少必有一假即可,并不要求作出肯定或否定的表示。排中律又比矛盾律更深入一层,明确指出正确的思维不仅要求确定、不互相矛盾,而且应该明确地表示出肯定或否定,指出对于同一个思维对象所作的两个“肯定判断”和“否定判断”,不能同假,必有一真,要么“肯定判断”真,要么“否定判断”真,二者必居其一。4.充足理由律：任何判断都必须有充足理由才被认为是真的，其公式是“所以有B是因为A”或“A是B的充足理由”。正确的判断必须有充足的理由。可表示为:因为有A,所以有B,即由A一定能推出B,其中A和B都表示一个或几个判断,A称为B的理由,B称为A的结论(推断)。例如,三组对应边成比例,两组对应角相等、两组对应边成比例且夹角相等都是两三角形相似的充足理由。充足的理由必须具备真实性、完备性、相关性,否则就不是充足理由例如：等式两边乘以得两边减去得两边分解因式得两边除以得以代得两边除以得显然,所得结论是错误的。错误的原因在于用a-b除以等式两边,因为a=b,a-b=0,用零做除数是不允许的,也就是理由不真实。同一律、矛盾律、排中律是保证概念或判断在同一论证过程中的确定性,无矛盾性和明确性(明确性是指对两个相互矛盾的概念或判断要明确地表示出肯定还是否定),充足理由律是保证判断之间的内在联系的合理性。因此,在同一思维(论证)过程中,如果违背了同一律、矛盾律、排中律,那么必然导致违背充足理由律。充足理由律和同一律、矛盾律、排中律也有着密切的联系：数学中的推理推理是从一个或几个判断中得出一个新判断的思维形式例1?角平分线上任一点到这个角两边的距离相等,因此,到角两边的距离不等的点不在这个角的平分线上。例2?矩形的对角线互相平分且相等,正方形是矩形,所以正方形的对角线互相平分且相等。以上两例都是数学推理。推理在实践中有两个方面的作用。一是帮助人们从已知的知识推出新的知识;二是证明的工具。推理的结构任何推理都是由前提和结论两部分组成。前提是在推理过程中所依据的已有判断,它告诉人们已知的知识是什么。推理的前提可以是一个,也可以是几个。例1中有一个前提“角平分线上任一点到这个角两边的距离相等”。例2中有两个前提“矩形的对角线平分且相等”、“正方形是矩形”。结论是根据前提所作出的判断,它告诉人们推出的知识是什么。例1中的结论是“到角两边的距离不等的点不在这个角的平分线上”。例2中的结论是“正方形的对角线平分且相等”。逻辑思维对推理的要求是:推理要合乎逻辑。所谓推理合乎逻辑,就是指在进行推理时要合乎推理形式,遵守推理规则。推理的种类：⒈归纳推理：从个别的或特殊的事物所作的判断扩大为同类一般事物的判断的一种推理。例如：由推得或者由推得这就是由特殊到一般的推理。根据归纳推理的前提和结论所作判断的范围是否相同，可把归纳推理分为完全归纳法和不完全归纳法。⑴完全归纳法如果归纳推理的前提中一个或几个判断范围的总和与结论中判断的范围完全相同，则这种归纳推理称为完全归纳法。如证明三角形三条高线共点。⑵不完全归纳法如果归纳推理的前提判断范围的总和小于结论判断的