合情推理与演绎推理课件(精品课件)概要.ppt

例8.用三段论的形式写出下列演绎推理 （1)矩形的对角线相等，正方形是矩形，所以，正方形的对角线相等。 矩形的对角线相等 （大前提） 正方形是矩形 （小前题） 正方形的对角线相等 （结论） （2) y＝sinx是三角函数，三角函数是周期函数， y＝sinx（x为R）是周期函数。 三角函数是周期函数（大前提） y＝sinx是三角函数（小前题） y＝sinx是周期函数（结论） 3.三段论的基本格式 M—P（M是P） S—M（S是M） 所以 S—P（S是P） （大前提） （小前提） （结论） M……P S……M S……P 三角函数是周期函数 y＝sinx是三角函数 y＝sinx是周期函数 4. 用集合的观点来理解: 若集合M的所有元素都具有性质P, S是M的一个子集, 那么S中所有元素也都具有性质P. M S p 演绎推理 矩形的对角线相等 （大前提） 正方形是矩形 （小前题） 正方形的对角线相等 （结论） ∵二次函数的图象是一条抛物线, 例9:完成下面的推理过程 “函数y=x2 + x + 1的图象是 .” 函数y = x2 + x + 1是二次函数, ∴函数y = x2 + x + 1的图象是一条抛物线. 大前提 小前提 结 论 解： 一条抛物线 试将其恢复成完整的三段论． 演绎推理（练习） 练习1：把下列推理恢复成完全的三段论: 例10 推理形式正确，但推理结论错误，因为大前提错误。 因为指数函数 是增函数（大前提） 而 是指数函数（小前提） 所以 是增函数（结论） （1)上面的推理形式正确吗？ （2)推理的结论正确吗？为什么？ 练习2 分析下列推理模式是否正确，结论正确吗？为什么？ (1)自然数是整数， 3是自然数， 3是整数. 大前提错误 推理形式错误 (2)整数是自然数， -3是整数， -3是自然数. (4)自然数是整数， －3是整数， －3是自然数. (3)自然数是整数， -3是自然数， -3是整数. 小前提错误 错误的前提和推理形式可能导致错误的结论； 大前提错误 推理形式错误 (2)整数是自然数， -3是整数， -3是自然数. (4)自然数是整数， －3是整数， －3是自然数. (3)自然数是整数， -3是自然数， -3是整数. 小前提错误 演绎推理错误的主要原因： ①大前提错误； ②小前提错误； ③推理形式错误 错误的前提和推理形式可能导致错误的结论； 演绎推理错误的主要原因： ①大前提错误； ②小前提错误； ③推理形式错误 正确的前提和推理形式一定能得到正确的结论！ ☆但是 所以，我们主要运用演绎推理来证明数学命题 (小前提不成立或不符合大前提的条件) (大前提不成立) 因而，演绎推理可以作为数学中严格证明的工具 例11、 在锐角三角形ABC中,AD⊥BC, BE⊥AC,D,E是垂足.求证AB的中点M到D,E的距离相等. 大前提 小前提 结论 证明:(1)∵有一个内角是直角的三角形是直角三角形, 在△ABC中,AD⊥BC,即∠ADB=90o ∴△ABD是直角三角形. 同理△ABE是直角三角形 (2)∵直角三角形斜边上的中线等于斜边的一半, M是Rt△ABD斜边AB的中点,DM是斜边上的中线. 同理 EM= AB. ∴DM = EM. ∴DM= AB. 大前提 小前提 结论 A D E C M B 例 求证：一个三角形中，最大的角不小于60°。 证明：设△ABC中， ∠ A≤∠B≤∠C， 则 ∠ A+ ∠B +∠C ≤3∠C 即 3∠C≥180 ° 所以 ∠C≥60 ° 省略了大前提 不等式的性质 省略了大前提 三角形内角和是180 ° 思考：证明过程中哪步到哪步是三段论？ 在应用三段论进行证明时，因为作为一般性道理 的大前提被人们熟知，是显然的，所以书写时可以省 略不写。 正确的前提和推理形式一定能得到正确的结论！ 回顾小结： 演绎推理的定义; １ 4 合情推理与演绎推理的区别与联系. 演绎推理的一般模式——三段论. 2 演绎推理错误的主要原因是： ①大前提错误；②小前提错误；③推理形式错误 演绎推理是证明数学结论、建立数学体系的重要思维过程．数学结论、证明思路等的发现，主要靠合情推理． 3 数学证明主要运用演绎推理 合情推理与演绎推理的区别 区别 推理 形式 推理结论 联系 合情推理 归纳推理 类比推理 由部分到整体,个别到一般的推理 由特殊到特殊的推理 结论不一定正确，有待进一 步证明 演绎推理 由一般到特殊的 推理 在前提和推理形式都正确时,得到的结论一定正确 合情