中学数学推理教学概要.ppt

电子工业生产发展基金项目论证 * * 中学数学推理教学 郭 民 东北师范大学数学与统计学院 guom702@nenu.edu.cn * * 1．形式逻辑的基本规律 (1)同一律 同一律是指在同一个思维(论证)过程中，概念和判断必须保持同一性，亦即确定性。用公式表示：A是A(A表示概念或判断)。 * * (2)矛盾律 矛盾律是指在同一思维(论证)过程中，对同一对象所作的两个互相对立或矛盾的判断不能同真，至少必有一假。也就是说，对于同一个思维对象不能既肯定它是A，又否定它不是A， * * (3)排中律 排中律是指在同一思维(论证)过程中，对同一个对象所作的两个互相矛盾的判断，不能同假，必有一真。 * * 同一律、矛盾律、排中律三者之间的联系 同一律、矛盾律、排中律三者之间的区别 * * (4)充足理由律 充足理由律是指在思维(论证)过程中，对于任何一个真实的判断，都必须有充足的根据(理由)。也就是说，正确的判断必须有充足的理由。可表示为：因为有A，所以有 ，即由A一定能推出 ，其中A和B都表示一个或几个判断，A称为 的理由，B称为A的结论(推断)。 * * * * * * 2．数学推理 回顾欧氏几何证明 三段论包括四个格,最为本质的是第一格。第一格有下面四种形式: 全称肯定形:凡人都有死,苏格拉底是人,所以苏格拉底有死。 全称否定、全称