数学中的推理和证明.ppt

西华师范大学数学与信息学院 杨孝斌 一、数学中的推理 1.推理的意义和结构 从一个或几个已知的命题得到一个新命题的思维形式叫做推理. 其中，已知的命题叫做前提（或条件），得到的新命题叫做结论. 在形式逻辑中，常把一个推理形式表示为： 例如： 所有的矩形对角线相等 黑人是黑头发 都是由两个前提得到一个结论的推理. 如果舍弃了前提与结论中的命题的具体内容，仅保留其逻辑结构，便得到抽象的推理形式.以上两例的推理形式分别是： 一个正确的推理，必须是推理的前提真实、推理的形式有效. 如：因为 负数大于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.