演绎推理《三段论》课件学习教案_第1页
演绎推理《三段论》课件学习教案_第2页
演绎推理《三段论》课件学习教案_第3页
演绎推理《三段论》课件学习教案_第4页
演绎推理《三段论》课件学习教案_第5页
已阅读5页,还剩29页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

会计学1演绎推理《三段论》归纳推理和类比推理的过程从具体问题出发观察、分析、比较、联想归纳、类比提出猜想通俗地说,合情推理是指“合乎情理”的推理.合情推理归纳推理类比推理第1页/共34页第2页/共34页分析:面积法第3页/共34页ABCDOO第4页/共34页4.第5页/共34页

完成下列推理,1.所有的金属都能导电,2.一切奇数都不能被2整除,所以铜能够导电.因为铜是金属,所以2007不能被2整除.因为2007是奇数,一般性的原理特殊情况结论一般性的原理特殊情况结论它们是合情推理吗?它们有什么特点?二、新授课:第6页/共34页2.1合情推理与演绎推理——2.1.2演绎推理第7页/共34页教学目标:1.了解演绎推理的含义。2.能正确地运用演绎推理进行简单的推理。3.了解合情推理与演绎推理之间的联系与差别。教学重点:正确地运用演绎推理、进行简单的推理。教学难点:了解合情推理与演绎推理之间的联系与差别。第8页/共34页

从一般性的原理出发,推出某个特殊情况下的结论,这种推理称为演绎推理.1.所有的金属都能导电,2.一切奇数都不能被2整除,所以铜能够导电.因为铜是金属,所以2007不能被2整除.因为2007是奇数,大前提小前提结论一般性的原理特殊情况结论一般性的原理特殊情况结论案例分析1:第9页/共34页

从一般性的原理出发,推出某个特殊情况下的结论,这种推理称为演绎推理.注:1.演绎推理是由一般到特殊的推理;2.“三段论”是演绎推理的一般模式;包括⑴大前提---已知的一般原理(已有的事实,定义,定理,公理等);⑵小前提---所研究的特殊情况;⑶结论-----据一般原理,对特殊情况做出的判断.

二、演绎推理的定义第10页/共34页MSP若集合M的所有元素都具有性质P,S是M的一个子集,那么S中所有元素也都具有性质P。所有的金属(M)都能够导电(P)铜(S)是金属(M)铜(S)能够导电(P)M……PS……MS……P第11页/共34页三段论的基本格式M—P(M是P)S—M(S是M)S—P(S是P)(大前提)(小前提)(结论)第12页/共34页M∵二次函数的图象是一条抛物线,例1完成下面的推理过程

“二次函数y=x2+x+1的图象是

.”函数y=x2+x+1是二次函数,∴函数y=x2+x+1的图象是一条抛物线.大前提小前提结论解:一条抛物线PS试将其恢复成完整的三段论.四、数学运用第13页/共34页1.所有的金属都能导电,2.一切奇数都不能被2整除,3.三角函数都是周期函数,4.全等的三角形面积相等所以铜能够导电.因为铜是金属,所以(2100+1)不能被2整除.因为(2100+1)是奇数,所以是tan周期函数因为tan三角函数,那么三角形ABC与三角形A1B1C1面积相等.如果三角形ABC与三角形A1B1C1全等,大前提小前提结论大前提小前提结论大前提小前提结论大前提小前提结论第14页/共34页用三段论的形式写出下列演绎推理(1)矩形的对角线相等,正方形是矩形,所以,正方形的对角线相等。

动手试试:每个矩形的对角线相等(大前提)正方形是矩形(小前题)正方形的对角线相等(结论)(2)y=sinx(x为R)是周期函数。三角函数是周期函数(大前提)y=sinx是三角函数(小前题)y=sinx是周期函数(结论)第15页/共34页

演绎推理(练习)练习3:把下列推理恢复成完全的三段论:第16页/共34页

演绎推理(练习)第17页/共34页练习:分析下列推理是否正确,说明为什么?(1)自然数是整数,3是自然数,3是整数.大前提错误推理形式错误(2)整数是自然数,-3是整数,-3是自然数.(4)自然数是整数,-3是整数,-3是自然数.(3)自然数是整数,-3是自然数,-3是整数.小前提错误第18页/共34页中国的大学遍布全国各地;北京大学是中国的大学;北京大学遍布全国各地.案例分析2:第19页/共34页错误的前提和推理形式可能导致错误的结论;演绎推理错误的主要原因:①大前提错误;②小前提错误;③推理形式错误正确的前提和推理形式一定能得到正确的结论!☆但是所以,我们主要运用演绎推理来证明数学命题(小前提不成立或不符合大前提的条件)(大前提不成立)因而,演绎推理可以作为数学中严格证明的工具第20页/共34页例3在锐角三角形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.大前提小前提结论ADECMB第21页/共34页例3在锐角三角形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.小前提结论ADECMB作为一般性原理的大前提被人们熟知,是显然的,所以书写时可以省略不写。第22页/共34页例4证明函数

f(x)=-x2+2x在(-∞,1)是增函数.∴函数f(x)=-x2+2x在(-∞,1)是增函数.证明:满足对于任意x1,x2∈D,若x1<x2,有

f(x1)<f(x2)成立的函数f(x)是区间D上的增函数.大前提小前提结论第23页/共34页例4证明函数

f(x)=-x2+2x在(-∞,1)是增函数.∴函数f(x)=-x2+2x在(-∞,1)是增函数.证明:小前提结论第24页/共34页例2:证明函数f(x)=-x2+2x在(-∞,1)是增函数。函数f(x)=-x2+2x在(-∞,1)是增函数。大前提:在某个区间(a,b)内若,那么函数y=f(x)在这个区间内单调递增;小前提结论第25页/共34页例求证:一个三角形中,最大的角不小于60°。证明:设△ABC中,∠A≤∠B≤∠C,则∠A+∠B+∠C≤3∠C

即3∠C≥180°

所以∠C≥60°省略了大前提不等式的性质

省略了大前提三角形内角和是180°思考:证明过程中哪步到哪步是三段论?

在应用三段论进行证明时,因为作为一般性道理的大前提被人们熟知,是显然的,所以书写时可以省略不写。第26页/共34页三、演绎推理的特点:1.演绎推理的前提是一般性原理,演绎所得的的结论是蕴含于前提之中的个别、特殊事实,结论完全蕴含于前提之中,因此演绎推理是由一般到特殊的推理;2、在演绎推理中,前提于结论之间存在着必然的联系,只要前提和推理形式是正确的,结论必定正确。因此演绎推理是数学中严格的证明工具。3、在演绎推理是一种收敛性的思维方法,它较少创造性,但却具有条理清晰、令人信服的论证作用,有助于科学论证和系统化。第27页/共34页第28页/共34页合情推理与演绎推理的区别区别推理形式推理结论联系合情推理归纳推理类比推理由部分到整体,个别到一般的推理由特殊到特殊的推理结论不一定正确,有待进一步证明演绎推理由一般到特殊的推理在前提和推理形式都正确时,得到的结论一定正确

合情推理的结论需要演绎推理的验证,而演绎推理的方向和思路一般是通过合情推理获得的第29页/共34页演绎推理一般特殊一般归纳推理类比推理特殊特殊特殊五、回顾小结:

第30页/共34页五、回顾小结:

演绎推理概念;1、2、合情推理与演绎推理

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论