第三章 数学的逻辑方法.ppt

二、演绎推理 演绎推理或称演绎法，是从一般原理推导出个别结论的推理方法。就是从一般性较大的前提推出一般性较小的结论的推理方法。 演绎推理属必真推理。当前提为真，按照演绎推理所得的结论也必为真。 为了使演绎推理成为必真推理，人们创造了便于应用这种推理的格式——三段论。 1．三段论 由两个前提推出一个结论的演绎推理叫做三段论，其中两个前提分为大前提和小前提，大前提是一个较大的一般性原理，小前提是一个与大前提有密切联系的特殊判断，结论则是大前提和小前提的逻辑结果。 常用的三段论分为直言三段论和假言三段论。 直言三段论的逻辑结构基本形式是： 大前提：一切M都是P, 小前提：S是M， _______________________结论：S是P． 将这推理形式用蕴涵式表示为： (M→P)∧(S→M)→(S→P). 假言三段论的基本推理式有两种： ① 肯定式： p→q, p, ————————--——-———— q. 推理规则：(p→q)∧p→q. ② 否定式： p→q, ﹃q, ———————————————— ﹃p 推理规则：(p→q)∧(﹃q)→(﹃p). 2．归纳与演绎的关系 归纳与演绎是相互联系，互为补充的两个推理方法． 归纳作为演绎的基础，演绎作为归纳的前导．归纳为演绎提供科学假说，演绎为归纳提供理论依据． 在数学归纳法的证明过程中，是先用归纳法，后用演绎法。但有时也可先用演绎法推证，在获得结论之后，再分类归纳。 例1　在单位正方形的周界上任意两点之间连一条曲线，若它把正方形分成面积相等的两部分．求证这条曲线的长度不小于１． 所以，教师在数学教学中，应教会学生采用“归纳与演绎交互为用”的原则，使学生不仅会运用科学归纳法去进行科学猜想，而且会从探索性演绎法过渡到纯形式演绎法，能把预见性的合理命题或定理的证明一丝不苟地建立在逻辑演绎的基础上，培育出既有创造发明能力，又有逻辑论证能力的学生。 三、类比推理 类比推理或称类比法，是根据两个或两类事物在某些属性上的相同或相似，进而推得它们在其它属性上也相同或相似的推理方法。 类比推理的形式如下： 对象A具有属性a,b,c,d， 对象B是有属性a,b,c, ______________________ 所以对象B具有属性d． §5 数学证明与逻辑推理错误剖析 例1　设有命题：“无理数的无理数次幂为无理数”，判断这个命题是否正确。 四、复合命题及其真假值 命题可分为简单命题和复合命题。 1．复合命题和简单命题 由逻辑联结词联结而构成的命题称为复合命题。 没有逻辑联结词的命题称为简单命题。 2．逻辑运算的顺序 运算顺序： “﹃” 、“∧”、“∨”、“→”、“←→” 如果要改变其中的运算顺序，必须象代数运算一样，添加括号。 3．复合命题的真假值 一个复合命题的真假值，决定于构成这个命题的各个简单命题的真假值。求一个复合命题的真假值，可以根据基本命题的真值表和命题运算顺序，列出它的真值表来确定它的真假值。如果不管构成复合命题中的简单命题取真值或假值，这个命题都取真值，这样的复合命题称为恒真命题。恒真命题记为T，或1；相类似地，如果复合命题不是都取真值（即至少有一个假值），则由此可定义恒假命题，记为F，或0. 解：列真值表： 由以上真值表，可得一个很重要的结论 ： 五、逻辑等价 如果两个命题p和q的真值表相同，那么称命题p和q等价。记为： p≡q. 易见：“p≡q”当且仅当“p←→q”. 例2 证明： 证明：列真值表： 六、推理规则及其应用 象代数运算那样，在定义了运算之后，要给出运算法则（运算的基本定律）。 下面列出逻辑运算的基本公式。 １．命题运算的基本公式 命题运算的基本公式主要有以下10种。 （1）双重否定律 （2）等幂律 此外，还有常用的运算公式 2．推理规则及其应用 推理是一种思维形式，它是由若干个命题和逻辑联结词构成的复合命题。引进了符号化、抽象化，使得推理形式结构成为命题运算。每一个由复合命题构成的逻辑运算式都是一种推理形式。研究推理形式结构的性质和规律也就是研究命题运算的性质和规律。 例3　分析下列推理，指出其推理结构形式，并判断其推理形式是否正确． §4 常用的逻辑推理方法 常用的逻辑推理方法有归纳法、演绎法和类比法。 一、归纳推理 归纳推理或称归纳法，是从特殊性的前提得到一般性结论的推理方法。 根据归纳推理的前提与结论所作判断的范围是否相同，归纳推理可分为完全归纳法和不完全归纳法。 1．完全归纳法 如果归纳推理的前提的判断的范围总和等于结论判断的范围，则这种归纳推理叫做完全归纳法。 完全归纳推理的逻辑结构形式是： 2．不完全归纳法 如果归纳推理的前提的判断的范围总和小于结论判断的范围，则这种归纳推