数学中的推理和证明.pptVIP

西华师范大学数学与信息学院 杨孝斌;一、数学中的推理;在形式逻辑中，常把一个推理形式表示为： ;例如： 所有的矩形对角线相等 黑人是黑头发 都是由两个前提得到一个结论的推理. ;如果舍弃了前提与结论中的命题的具体内容，仅保留其逻辑结构，便得到抽象的推理形式.以上两例的推理形式分别是： ; 一个正确的推理，必须是推理的前提真实、推理的形式有效. 如：因为 负数大于0，-5是负数， 所以 -5大于0. 因为 整数是有理数，分数???有理数， 所以 整数是分数.;2.推理的规则 凡是正确的推理形式，就是推理规则. 规则1：若p∧q真，则p真；若p∧q真，则q真. 即：（ p∧q ）→p; （ p∧q ）→q. 规则2：若 p→q真，且p真，则q真. 即：（ p→q）∧ p →q. 规则3：若 p→q真，且p 真，则q 真. 即：（ p→q）∧ p → q. ;规则4：若 p∨q真，且p 真，则q 真. 即： （ p∨q）∧ p → q. 同样有：（ p∨q）∧ q → p. 规则5：若 p→q真，且q→r 真，则 p →r 真. 即： （p→q）∧（q→r） （ p →r ）.;规则6：若集合A中的每一个元素x都具有属性F，则集合A的任一非空子集B中的每一个元素y，也具有属性F. 即： 这条规则是逻辑上的一条演绎推理规则，是作为公理提出来的，它保证了由全称命题为真可以推出相应的特称命题为真.;二.推理的种类;何为三段论？;例2. 如果两个角是对顶角，那么这两个角相等， 是对顶角， 所以， .;总结： 大前提 ＆ 小前提 结论 根据前提中命题的不同形式又可以将三段论分为直言三段论和假言三段论. 当三段论的两个命题都是直言命题时，这种三段论称为直言三段论. 当三段论的前提中包含假言命题时，这种三段论称为假言三段论.;直言命题是断定思维对象具有或不具有某种性质的命题； 假言命题是有条件地断定事物的某种情况存在的命题，在数学上假言命题一般用“如果……，那么……”或者“当且仅当……，则……”这两种形式来表达.; 一个数学上的证明是论证推理，呈现在我们面前的科学数学是一门以论证推理为特征的演绎科学. ;但是，这仅仅是科学数学的一个方面，科学数学所呈现的东西已经是科学数学建造过程的尾声，是数学家创造性工作结出的果实，而在整理成这些定型的逻辑论证材料之前，有着更为漫长的探索发现过程，这就是科学数学的另一个侧面——数学发现的方法之一：合情推理.;合情推理一词来自于 Plausible reasoning ，又译为似真推理. 波利亚说：数学家的创造性工作成果是论证推理，即证明；但是这个证明是通过合情推理、通过猜想而发现的。只要数学的学习过程稍能反映出数学发明过程的话，那么应当让猜测、合情推理占有适当的位置. 因此，波利亚曾多次呼吁——让我们教猜想吧！;学习合情推理的意义——还数学的本来面目，把数学知识的学术形态的“冰冷的美丽”转化为数学知识的教育形态的“火热的思考”.;数学中的合情推理主要有：归纳推理、类比推理、直觉、顿悟等. 这里主要谈谈归纳推理与类比推理.;2. 归纳推理 1）定义 把某类事物中个别事物所具有的规律作为该类事物的普遍规律，这种思维进程中由特殊到一般的推理称为归纳推理或称归纳法.; 我们借助于归纳推理可以从大量的个别事例中发现数学真理，引出新的数学命题.但此时的数学命题还只是一种猜想，它往往是冒风险的、有争议的和暂时成立的。要使它成为真正的普遍命题，还要借助于论证推理进行严格的证明. 归纳推理的特点： 创造性较强而可靠性较弱.;从具体问题或具体素材出发;2） 归纳推理成功的例子 物理学中的波义耳——马略特定理、化学中的门捷列夫元素周期表、数学中勾股定理等等都是运用归纳推理发现真理的典型例证. 波义耳—马略特定理:温度不变时，一定质量的气体的压强跟它的体积成反比.该定律对理想气体才严格成立，但可近似反映实际气体的性质.;例1. 凸多面体的欧拉（Euler）公式的发现道路. （P182-187 王子兴）;规律：X(P)=F+V-E=2 称任一凸多面体的欧拉示性数等于2.;例2. 杨辉三角形、牛顿（Newton）二项式定理的发现道路. （P187-189 王子兴） ;3） 归