1、单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,*,2,1.2,演绎推理,第1页,第2页,了解演绎推理概念,掌握演绎推理形式,并能用它们进行一些简单推理,了解合情推理与演绎推理联络与区分,第3页,第4页,本节重点:演绎推理结构特点,本节难点:三段论推理规则,第5页,第6页,1,用集合论观点来分析,三段论推理依据是:假如集合,M,中每一个元素都含有属性,P,,且,S,是,M,子集,那么集合,S,中每一个元素都含有属性,P,.,2,为了方便,在利用三段论推理时,经
2、常采取省略大前提或小前提表述方式对于复杂论证,总是采取一连串三段论,把前一个三段论结论作为下一个三段论前提,第7页,3,合情推理与演绎推理区分,归纳和类比是惯用合情推理,从推理形式上看,归纳是由部分到整体、个别到普通推理;类比是由特殊到特殊推理;而演绎推理是由普通到特殊推理从推理所得结论来看,合情推理结论不一定正确,有待深入证实;演绎推理在大前提、小前提和推理形式都正确前提下,得到结论一定正确,第8页,演绎推理是证实数学结论、建立数学体系主要思维过程,但数学结论、证实思绪等发觉,主要靠合情推理所以,我们不但要学会证实,也要学会猜测,三段论公式中包含三个判断:第一个判断称为大前提,它提供了一个普
3、通原理;第二个判断叫小前提,它指出了一个特殊情况;这两个判断联合起来,揭示了普通原理和特殊情况内在联络,从而产生了第三个判断,结论,第9页,演绎推理是一个必定性推理演绎推理前提与结论之间有蕴涵关系,因而,只要前提是真实,推理形式是正确,那么结论必定是真实但错误前提可能造成错误结论,第10页,第11页,1,演绎推理,从,原理出发,推出,情况下结论推理形式,它特点是:由,推理,它特征是:当,都正确时,,必定正确,普通性,某个特殊,普通到特殊,前提和推理形式,结论,第12页,2,三段论推理,在推理中:,“,若,b,c,,而,a,b,,则,a,c,”,,这种推理规则叫三段论推理它包含:,(1,),已知
4、普通性原理,(2,),所研究特殊情况,(3,),依据普通原理,对特殊情况做出判断,推理是演绎推理普通模式,大前提,小前提,结论,三段论,第13页,3,“,三段论,”,惯用格式,大前提:,小前提:,结论:,.,M,是,P,S,是,M,S,是,P,第14页,第15页,例,1,以下说法正确个数是,(,),演绎推理是由普通到特殊推理,演绎推理得到结论一定是正确,演绎推理普通模式是,“,三段论,”,形式,演绎推理得到结论正误与大前提、小前提和推理形式相关,第16页,A,1,B,2,C,3,D,4,答案,C,解析,由演绎推理概念可知说法,正确,,不正确,故应选,C.,第17页,以下几个推理过程是演绎推理是
5、),A,两条直线平行,同旁内角互补,假如,A,与,B,是两条平行直线同旁内角,则,A,B,180,B,某校高三,1,班有,55,人,,2,班有,54,人,,3,班有,52,人,由此得高三全部班人数超出,50,人,C,由平面三角形性质,推测空间四面体性质,第18页,答案,A,解析,C,是类比推理,,B,与,D,均为归纳推理,而合情推理包含类比推理和归纳推理,故,B,、,C,、,D,都不是演绎推理而,A,是由普通到特殊推理形式,故,A,是演绎推理,.,第19页,第20页,分析,即写出推理大前提、小前提、结论大前提可能在题目中给出,也可能是已经学过知识,解析,(1),每个菱形对角线相互垂直大前
6、提,正方形是菱形小前提,正方形对角线相互垂直结论,(2),两个角是对顶角则两角相等大前提,1,和,2,不相等小前提,1,和,2,不是对顶角结论,第21页,第22页,点评,在三段论中,,“,大前提,”,提供了普通原理、标准,,“,小前提,”,指出了一个特殊场所情况,,“,结论,”,在大前提和小前提基础上,说明普通标准和特殊情况间联络,平时大家早已能自发地使用三段论来进行推理,学习三段论后我们要主动地了解和掌握这一推理方法,第23页,把以下演绎推理写成三段论形式,(1),在一个标准大气压下,水沸点是,100,,所以在一个标准大气压下把水加热到,100,时,水会沸腾;,(2),一切奇数都不能被,2,
7、整除,,(2,100,1),是奇数,所以,(2,100,1),不能被,2,整除;,第24页,解析,(1),大前提:在一个标准大气压下,水沸点是,100,,,小前提:在一个标准大气压下把水加热到,100,,,结论:水会沸腾,第25页,(2),大前提:一切奇数都不能被,2,整除,,小前提:,2,100,1,是奇数,,结论:,2,100,1,不能被,2,整除,(3),大前提:三角函数都是周期函数,,小前提:,y,tan,是三角函数,,结论:,y,tan,是周期函数,(4),大前提:两条直线平行,同旁内角互补,,小前提:,A,与,B,是两条平行直线同旁内角,,结论:,A,B,180.,第26页,例,3
8、指出下面推理中错误,(1),因为自然数是整数,大前提,而,6,是整数,小前提,所以,6,是自然数结论,(2),因为中国大学分布于中国各地,大前提,而北京大学是中国大学,小前提,所以北京大学分布于中国各地结论,第27页,分析,要判定推理是否正确,主要从三个方面:,(1),大前提是否正确;,(2),小前提是否正确;,(3),推理形式是否正确,只有当上面,3,条都正确时,结论才正确,解析,(1),推理形式错误,,M,是,“,自然数,”,,,P,是,“,整数,”,,,S,是,“,6,”,,故按规则,“,6,”,应是自然数,(,M,)(,此时它是错误小前提,),,推理形式不对,所得结论是错误,(2),
9、这个推理错误原因是大、小前提中,“,中国大学,”,未保持同一,它在大前提中表示中国各所大学,而在小前提中表示中国一所大学,第28页,点评,三段论论断基础是这么一个原理:,“,凡必定,(,或否定,),了某一类对象全部,也就必定,(,或否定,),了这一类对象各部分或个体,”,,简言之,,“,全体概括个体,”,M,,,P,,,S,三个概念之间包含关系表现为:假如概念,P,包含了概念,M,,则必包含了,M,中任一概念,S,(,如图甲,),;假如概念,P,排斥概念,M,,则必排斥,M,中任一概念,S,(,如图乙,),第29页,以下推理是否正确,将有错误指犯错误之处,(1),求证:四边形内角和等于,360
10、证实:设四边形,ABCD,是矩形,则它四个角都是直角,有,A,B,C,D,90,90,90,90,360.,所以,四边形内角和等于,360.,第30页,(3),在,Rt,ABC,中,,C,90,,求证:,a,2,b,2,c,2,.,证实:因为,a,c,sin,A,,,b,c,cos,A,,所以,a,2,b,2,c,2,sin,2,A,c,2,cos,2,A,c,2,(sin,2,A,cos,2,A,),c,2,.,(4),设,a,b,(,a,0,,,b,0),等式两边乘以,a,,得,a,2,ab,,,两边减去,b,2,,得,a,2,b,2,ab,b,2,,,两边分解因式,得,(,a,b,)
11、a,b,),b,(,a,b,),,,两边除以,(,a,b,),,得,a,b,b,,,以,b,代,a,,得,2,b,b,,,两边除以,b,,得,2,1.,第31页,解析,上述四个推理过程都是错误,(1),犯了偷换论题错误,在证实过程中,把论题中四边形改为矩形,(2),使用论据是,“,无理数与无理数和是无理数,”,,这个论据是假,因为两个无理数和不一定是无理数所以原题真实性仍无法断定,(3),本题论题就是人们熟知勾股定理上述证实中用了,“,sin,2,A,cos,2,A,1,”,这个公式,按照现行中学教材系统,这个公式是由勾股定理推出来,这就间接地用待证命题真实性作为证实论据,犯了循环论证错误
12、第32页,(4),所得结果显然是错误,错误原因在于以,(,a,b,),除等式两边因为,a,b,,而,a,b,0,,用,0,除等式两边,这是错误,.,第33页,例,4,在四边形,ABCD,中,,AB,CD,,,BC,AD,(,如图,),求证:,ABCD,为平行四边形写出三段论形式演绎推理,第34页,分析,原题可用符号表示为,(,AB,CD,),且,(,BC,AD,),ABCD,.,用演绎推理来证实论题方法,也就是从包含在论据中普通原理推出包含在论题中个别、特殊事实,为了证实这个命题为真,我们只需在假设前提,(,AB,CD,),且,(,BC,AD,),为真情况下,以已知公理、已知定义、已知定理为
13、依据,依据推理规则,导出结论,ABCD,为真,第35页,证实,(1),连结,AC,(2),平面几何中边边边定理是:有三边对应相等两个三角形全等这一定理相当于:,对于任意两个三角形,假如它们三边对应相等,则这两个三角形全等大前提,假如,ABC,和,CDA,三边对应相等小前提,则这两个三角形全等结论,符号表示:,(,AB,CD,),且,(,BC,DA,),且,(,CA,AC,),ABC,CDA,.,第36页,(3),由全等形定义可知:全等三角形对应角相等这一性质相当于:,对于任意两个三角形,假如它们全等,则它们对应角相等大前提,假如,ABC,和,CDA,全等,小前提,则它们对应角相等结论,用符号表
14、示,就是,ABC,CAD,(,1,2),且,(,3,4),且,(,B,D,),第37页,(4),两条直线被第三条直线所截,假如内错角相等,那么这两条直线平行,(,平行线判定定理,),大前提,直线,AB,,,DC,被直线,AC,所截,若内错角,1,2,,,3,4,小前提,(,已证,),AB,DC,,,BC,AD,.,(,AB,DC,),且,(,BC,AD,),结论,(,同理,),第38页,(5),假如四边形两组对边分别平行,那么这个四边形是平行四边形,(,平行四边形定义,),大前提,四边形,ABCD,中,两组对边分别平行,小前提,四边形,ABCD,为平行四边形结论,符号表示为:,AB,DC,且,
15、AD,BC,ABCD,为平行四边形,第39页,点评,像上面这么详细地分析一个证实步骤,对于养成严谨推理习惯,发展抽象思维能力,是有一定主动作用但书写起来非常繁琐,普通能够从实际出发,省略大前提或小前提,采取简略符号化写法比如,本例证实,通常能够这么给出:,第40页,第41页,用三段论证实:直角三角形两锐角之和为,90.,证实,因为任意三角形三内角之和是,180,大前提,而直角三角形是三角形小前提,所以直角三角形三内角之和是,180,结论,设直角三角形两个内角分别为,A,、,B,,则有,A,B,90,180,因为等量减等量差相等大前提,(,A,B,90),90,180,90,小前提,所以,A,B
16、90,结论,第42页,第43页,例,5,(,安徽理,,18),如图,在多面体,ABCDEF,中,四边形,ABCD,是正方形,,EF,AB,,,EF,FB,,,AB,2,EF,,,BFC,90,,,BF,FC,,,H,为,BC,中点,第44页,(1),求证:,FH,平面,EDB,;,(2),求证:,AC,平面,EDB,;,(3),求二面角,B,DE,C,大小,解析,(,综正当,)(1),证:设,AC,与,BD,交于点,G,,则,G,为,AC,中点,连,EG,,,GH,,,第45页,四边形,EFGH,为平行四边形,EG,FH,,而,EG,平面,EDB,,,FH,平面,EDB,.,(2),证:由四
17、边形,ABCD,为正方形,有,AB,BC,.,又,EF,AB,,,EF,BC,.,而,EF,FB,,,EF,平面,BFC,.,EF,FH,,,AB,FH,.,又,BF,FC,,,H,为,BC,中点,,FH,BC,.,第46页,FH,平面,ABCD,.,FH,AC,.,又,FH,EG,,,AC,EG,.,又,AC,BD,,,EG,BD,G,,,AC,平面,EDB,.,(3),解:,EF,、,FB,,,BFC,90,,,BF,平面,CDEF,.,在平面,CDEF,内过点,F,作,FK,DE,交,DE,延长线于,K,,则,FKB,为二面角,BE,C,一个平面角,第47页,第48页,又,BF,FC,,
18、H,为,BC,中点,,FH,BC,.,FH,平面,ABC,.,以,H,为坐标原点,为,x,轴正向,为,z,轴正向,建立如图所表示坐标系,设,BH,1,,则,A,(1,,,2,0),,,B,(1,0,0),,,C,(,1,0,0),,,D,(,1,,,2,0),,,E,(0,,,1,1),,,F,(0,0,1),第49页,第50页,第51页,第52页,设,m,为实数,求证:方程,x,2,2,mx,m,2,1,0,没有实数根,解析,已知方程,x,2,2,mx,m,2,1,0,判别式,(,2,m,),2,4(,m,2,1),40,,所以方程,x,2,2,mx,m,2,1,0,没有实数根,第53页,
19、点评,此推理过程用三段论表述为:,大前提:假如一元二次方程判别式,0,,那么这个方程没有实数根;,小前提:一元二次方程,x,2,2,mx,m,2,1,0,判别式,0,;,结论:一元二次方程,x,2,2,mx,m,2,1,0,没有实数根,第54页,第55页,一、选择题,1,演绎推理是以以下哪个为前提,推出某个特殊情况下结论推理方法,(,),A,普通原理,B,特定命题,C,普通命题,D,定理、公式,答案,A,解析,考查演绎推理定义,由定义知选,A.,第56页,2,“,全部,9,倍数,(,M,),都是,3,倍数,(,P,),,若奇数,(,S,),是,9,倍数,(,M,),,故该奇数,(,S,),是,
20、3,倍数,”,上述推理是,(,),A,小前提错误,B,大前提错误,C,结论错误,D,正确,答案,D,解析,大前提是正确,小前提也是正确,推理过程也正确,所以结论也正确故应选,D.,第57页,3,假如有些人在,1985,年以后大学毕业,他就一定读过,邓小平理论,刘明读过,邓小平理论,,所以,(,),A,刘明可能是,1985,年以后大学毕业生,B,刘明是共产党员,C,刘明是,1985,年以后大学毕业生,D,刘明喜欢这本书,答案,A,解析,由实际生活情况知,A,正确,故应选,A.,第58页,二、填空题,4,指出三段论,“,自然数中没有最大数字,(,大前提,),9,是最大个位数字,(,小前提,),,所
21、以,9,不是自然数,(,结论,),”,中错误是,_,答案,小前提中,S,不是,M,解析,大前提中数字泛指非负整数,而小前提中数字指是个位数,因而得犯错误结论,第59页,5,函数,y,2,x,5,图象是一条直线,用三段论表示为:,大前提,_,小前提,_,结论,_,答案,一次函数图象是一条直线函数,y,2,x,5,是一次函数函数,y,2,x,5,图象是一条直线,解析,关键找出大前提和小前提,第60页,三、解答题,6,将以下演绎推理写成三段论形式,(1),菱形对角线相互平分,(2),奇数不能被,2,整除,,75,不能被,2,整除,所以,75,是奇数,答案,(1),平行四边形对角线相互平分大前提,菱形是平行四边形小前提,菱形对角线相互平分结论,(2),一切奇数都不能被,2,整除大前提,75,不能被,2,整除小前提,75,是奇数结论,第61页,第62页,






