演绎推理推荐.ppt
- 文档编号:2709814
- 上传时间:2022-11-08
- 格式:PPT
- 页数:23
- 大小:1.21MB
演绎推理推荐.ppt
《演绎推理推荐.ppt》由会员分享,可在线阅读,更多相关《演绎推理推荐.ppt(23页珍藏版)》请在冰豆网上搜索。
现在冰雪覆盖的南极大陆,地质学家说它们现在冰雪覆盖的南极大陆,地质学家说它们曾在赤道附近,是从热带飘移到现在的位置曾在赤道附近,是从热带飘移到现在的位置的,为什么呢?
的,为什么呢?
原来在它的地底下,有着丰富的煤矿,煤矿中的树叶原来在它的地底下,有着丰富的煤矿,煤矿中的树叶表明它们是阔叶树。
从繁茂的阔叶树可以推知当时南表明它们是阔叶树。
从繁茂的阔叶树可以推知当时南极有温暖湿润的气候,故南极洲的地理位置曾经在温极有温暖湿润的气候,故南极洲的地理位置曾经在温湿的热带。
湿的热带。
被人们称为世界屋脊的西藏高原上,一座座高山高被人们称为世界屋脊的西藏高原上,一座座高山高入云天,巍然屹立。
西藏高原南端的喜马拉雅山横入云天,巍然屹立。
西藏高原南端的喜马拉雅山横空出世,雄视世界。
珠穆朗玛峰是世界第一高峰,空出世,雄视世界。
珠穆朗玛峰是世界第一高峰,登上珠峰顶,一览群山小。
谁能想到,喜马拉雅山登上珠峰顶,一览群山小。
谁能想到,喜马拉雅山所在的地方,曾经是一片汪洋,高耸山峰的前身,所在的地方,曾经是一片汪洋,高耸山峰的前身,是深不可测的大海。
是深不可测的大海。
地质学家是怎么得出这个结论的呢?
地质学家是怎么得出这个结论的呢?
人们在喜马拉雅山区考察时,发现高山的地层人们在喜马拉雅山区考察时,发现高山的地层中有许多鱼类、贝类的化石。
还发现了鱼龙的中有许多鱼类、贝类的化石。
还发现了鱼龙的化石化石,地质学家们推断说,鱼类贝类生活在海,地质学家们推断说,鱼类贝类生活在海洋里,在喜马拉雅山上发现它们的化石,说明洋里,在喜马拉雅山上发现它们的化石,说明喜马拉雅山曾经是海洋。
喜马拉雅山曾经是海洋。
二、情景引入:
二、情景引入:
1.1.所有的金属都能导电所有的金属都能导电,2.2.一切奇数都不能被一切奇数都不能被22整除整除,3.3.三角函数都是周期函数三角函数都是周期函数,4.4.全等的三角形面积相等全等的三角形面积相等所以铀能够导电所以铀能够导电.因为铀是金属因为铀是金属,所以所以(2(2100100+1)+1)不能被不能被22整除整除.因为因为(2(2100100+1)+1)是奇数是奇数,所以所以tantan周期函数周期函数因为因为tantan三角函数三角函数,那么三角形那么三角形ABCABC与三角形与三角形AA11BB11CC11面积相等面积相等.如果三角形如果三角形ABCABC与三角形与三角形AA11BB11CC11全等全等,思考:
以上推理思考:
以上推理的共同特点是什的共同特点是什么?
么?
从一般性的原理出发,推出某个特殊情况从一般性的原理出发,推出某个特殊情况下的结论,这种推理称为下的结论,这种推理称为演绎推理演绎推理1.1.1.1.所有的金属都能导电所有的金属都能导电所有的金属都能导电所有的金属都能导电,2.2.2.2.一切奇数都不能被一切奇数都不能被一切奇数都不能被一切奇数都不能被2222整除整除整除整除,所以铜能够导电所以铜能够导电所以铜能够导电所以铜能够导电.因为铜是金属因为铜是金属因为铜是金属因为铜是金属,所以所以所以所以2007200720072007不能被不能被不能被不能被2222整除整除整除整除.因为因为因为因为2007200720072007是奇数是奇数是奇数是奇数,大前提大前提大前提大前提小前提小前提小前提小前提结论结论结论结论一般性的原理一般性的原理一般性的原理一般性的原理特殊情况特殊情况特殊情况特殊情况结论结论结论结论一般性的原理一般性的原理一般性的原理一般性的原理特殊情况特殊情况特殊情况特殊情况结论结论结论结论案例分析案例分析案例分析案例分析1111:
“三段论三段论”是演绎推理的一般形式,包括:
是演绎推理的一般形式,包括:
二、演绎推理的二、演绎推理的“三段论三段论”1、大前提、大前提-2、小前提、小前提-3、结论、结论-已知的一般性原理;已知的一般性原理;所研究的特殊情况;所研究的特殊情况;根据一般原理,对特殊情况做根据一般原理,对特殊情况做出的判断出的判断例如,刚才的例子中例如,刚才的例子中1.1.所有的金属都能导电所有的金属都能导电,2.2.一切奇数都不能被一切奇数都不能被22整除整除,3.3.三角函数都是周期函数三角函数都是周期函数,4.4.全等的三角形面积相等全等的三角形面积相等所以铜能够导电所以铜能够导电.因为铜是金属因为铜是金属,所以所以(2(2100100+1)+1)不能被不能被22整除整除.因为因为(2(2100100+1)+1)是奇数是奇数,所以所以tantan周期函数周期函数因为因为tantan三角函数三角函数,那么三角形那么三角形ABCABC与三角形与三角形AA11BB11CC11面积相等面积相等.如果三角形如果三角形ABCABC与三角形与三角形AA11BB11CC11全等全等,大前提大前提小前提小前提结论结论大前提大前提小前提小前提结论结论大前提大前提小前提小前提结论结论大前提:
大前提:
鱼类、贝类、鱼龙,都是海洋生物,鱼类、贝类、鱼龙,都是海洋生物,它们世世代代生活在海洋里它们世世代代生活在海洋里小前提:
小前提:
在喜马拉雅山上发现它们的化石在喜马拉雅山上发现它们的化石结结论:
论:
喜马拉雅山曾经是海洋喜马拉雅山曾经是海洋2.喜马拉雅山所在的地方,曾经是一片汪洋推理过程:
喜马拉雅山所在的地方,曾经是一片汪洋推理过程:
大前提:
大前提:
繁茂的阔叶树是温湿的热带地区的植物繁茂的阔叶树是温湿的热带地区的植物小前提:
小前提:
在南极洲的地下发现的煤矿中有阔叶树的树叶在南极洲的地下发现的煤矿中有阔叶树的树叶结结论:
论:
南极洲所处的地理位置,曾经是温湿的热带。
南极洲所处的地理位置,曾经是温湿的热带。
1.南极洲所处的地理位置,曾经是温湿的热带。
南极洲所处的地理位置,曾经是温湿的热带。
三、三、“三段论三段论”的符号表示:
的符号表示:
大前提:
大前提:
M是是P小前提:
小前提:
S是是M结结论:
论:
S是是P用集合的知识说明:
用集合的知识说明:
若集合若集合MM的所有元素都具有性质的所有元素都具有性质P,SP,S是是MM的一个子集的一个子集,那么那么SS中所有元素也都具有性质中所有元素也都具有性质P.P.MSP
(1)因因为有一个内角有一个内角为直角的三角形直角的三角形是直角三角形,是直角三角形,同理,同理,AEB也是直角三角形也是直角三角形所以所以ABD是直角三角形是直角三角形.大前提大前提在在ABD中,中,ADBC,ADB90,.小前提小前提.结结论论证明:
证明:
例例11.如图所示,在锐角三角形如图所示,在锐角三角形ABC中,中,ADBC,BEAC,D,E为垂足,为垂足,求证:
求证:
AB的中点的中点M到到D,E的距离相等。
的距离相等。
所以所以DMEM同理,同理,EM所以所以DM
(2)因为直角三角形斜边上的中线等于因为直角三角形斜边上的中线等于斜边的一半,斜边的一半,例例11.如图所示,在锐角三角形如图所示,在锐角三角形ABC中,中,ADBC,BEAC,D,E为垂足,为垂足,求证:
求证:
AB的中点的中点M到到D,E的距离相等。
的距离相等。
.大前提大前提小前提小前提而而M是是RtABD斜边斜边AB的中点,的中点,DM是斜边上的中线,是斜边上的中线,.结论例例22证明函数证明函数f(xf(x)=-x)=-x22+2x+2x在在(-(-,1,1)上是增函数)上是增函数.满足对于任意满足对于任意xx11,x,x22D,D,若若xx11xx22,有有f(xf(x11)f(x)f(x22)成立的函数成立的函数f(xf(x),),是区间是区间DD上的增函数上的增函数.任取任取xx11,x,x22(-(-,1,1)且且xx11xx2,2,f(xf(x11)-f(x)-f(x22)=(-x)=(-x1122+2x+2x11)-(x)-(x2222+2x+2x22)=(x=(x22-x-x11)(x)(x11+x+x22-2)-2)因为因为xx11x00因为因为xx11,x,x2211所以所以xx11+x+x22-20-20因此因此f(xf(x11)-f(x)-f(x22)0,)0,即即f(xf(x11)f(x)f(x22)所以函数所以函数f(xf(x)=-x)=-x22+2x+2x在在(-(-,1,1)上是增函数)上是增函数.大前提大前提小前提小前提结论结论证明证明:
还有其他还有其他的证明方的证明方法吗?
法吗?
例例22证明函数证明函数f(xf(x)=-x)=-x22+2x+2x在在(-(-,1,1)上是增函数)上是增函数.在某个区间(在某个区间(a,ba,b)内,如果)内,如果f(xf(x)00,那,那么函数么函数y=y=f(xf(x)在这个区间内单调递增。
在这个区间内单调递增。
所以函数所以函数f(xf(x)=-x)=-x22+2x+2x在在(-(-,1,1)上是增函数)上是增函数.大前提大前提小前提小前提结论结论方法方法22:
导数法:
导数法为了方便,在运用三段论演绎推理时,常常采用为了方便,在运用三段论演绎推理时,常常采用省略大前提的表述方式。
省略大前提的表述方式。
中国的大学遍布全国各地中国的大学遍布全国各地;北京大学是中国的大学北京大学是中国的大学;北京大学遍布全国各地北京大学遍布全国各地.案例分析案例分析案例分析案例分析2222:
1.1.全等三角形面积相等全等三角形面积相等那么三角形那么三角形ABCABC与三角形与三角形AA11BB11CC11面积相等面积相等.如果三角形如果三角形ABCABC与三角形与三角形AA11BB11CC11相似相似,2.2.相似三角形面积相等相似三角形面积相等那么三角形那么三角形ABCABC与三角形与三角形AA11BB11CC11面积相等面积相等.如果三角形如果三角形ABCABC与三角形与三角形AA11BB11CC11相似相似,例例33:
下列推理形式正确吗?
推理的结论是否:
下列推理形式正确吗?
推理的结论是否正确?
正确?
推理形式不正确推理形式不正确小前提中的对象不是大前提中的对象小前提中的对象不是大前提中的对象推理形式正确推理形式正确大前提不正确,结论不正确大前提不正确,结论不正确3.3.正方形的对角线互相垂直正方形的对角线互相垂直矩形的对角线互相垂直矩形的对角线互相垂直矩形是正方形矩形是正方形例例33:
下列推理形式正确吗?
推理的结论是否:
下列推理形式正确吗?
推理的结论是否正确?
正确?
4.因为指数函数因为指数函数y=ax是递减函数是递减函数而而y=2x是指数函数是指数函数所以所以y=2x是减函数是减函数推理形式正确推理形式正确小前提不正确,结论不正确小前提不正确,结论不正确只有在大前提、小前提、推理形式都正只有在大前提、小前提、推理形式都正确的情形,才能保证结论正确确的情形,才能保证结论正确推理形式正确推理形式正确大前提不正确,结论不正确大前提不正确,结论不正确练习:
练习:
分析下列推理是否正确,说明为什么?
分析下列推理是否正确,说明为什么?
(1)
(1)
(1)
(1)自然数是整数,自然数是整数,自然数是整数,自然数是整数,3333是自然数,是自然数,是自然数,是自然数,3333是整数是整数是整数是整数.大前提错误大前提错误大前提错误大前提错误推理形式错误推理形式错误推理形式错误推理形式错误
(2)
(2)
(2)
(2)整数是自然数,整数是自然数,整数是自然数,整数是自然数,-3-3-3-3是整数,是整数,是整数,是整数,-3-3-3-3是自然数是自然数是自然数是自然数.(4)(4)(4)(4)自然数是整数,自然数是整数,自然数是整数,自然数是整数,3333是整数,是整数,是整数,是整数,3333是自然数是自然数是自然数是自然数.(3)(3)(3)(3)自然数是整数,自然数
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 演绎 推理 推荐