《2.1.2推理与证明之演绎推理2010.4.25.ppt》由会员分享,可在线阅读,更多相关《2.1.2推理与证明之演绎推理2010.4.25.ppt(20页珍藏版)》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、1、观察、观察1+3=4=22 ,1+3+5=9=32,1+3+5+7=16=42,1+3+5+7+9=25=,由上述具体事实能得由上述具体事实能得到怎样的结论?到怎样的结论?2、在平面内,若、在平面内,若ac,bc,则则a/b.类比地推广到空间,类比地推广到空间,你会得到你会得到 什么结论?什么结论?并判断正误。并判断正误。正确正确错误错误(可能相交)可能相交)1+3+(2n-1)=n2在在空间中,若空间中,若,则则/。一、复习一、复习 检验猜想。检验猜想。观察、比较观察、比较联想、类推联想、类推猜想新结论猜想新结论2、类比推理的一般步骤类比推理的一般步骤:找出两类对象之间可以确切表述的相似
2、特征;找出两类对象之间可以确切表述的相似特征;用一类对象的已知特征去推测另一类对象的特征,用一类对象的已知特征去推测另一类对象的特征,从而得出一个猜想;从而得出一个猜想;即即3、类比推理的一般模式类比推理的一般模式:所以所以B类事物可能具有性质类事物可能具有性质d.A类事物具有性质类事物具有性质a,b,c,d,B类事物具有性质类事物具有性质a,b,c,(a,b,c与与a,b,c相似或相同)相似或相同)几何中常见的类比对象几何中常见的类比对象三角形三角形四面体四面体(各面均为(各面均为三角形三角形)四边形四边形六面体六面体(各面均为(各面均为四边形四边形)圆圆球球代数中常见的类比对象代数中常见的
3、类比对象数数 向量向量方程方程函数函数不等式不等式交集,并集,补集交集,并集,补集或,且,非运算或,且,非运算无限无限有限有限小明是小明是一名高一名高二二年级的学生,年级的学生,1717岁,迷恋上网络,岁,迷恋上网络,沉迷于虚拟的世界当中。由于每月的零花钱不够用,便沉迷于虚拟的世界当中。由于每月的零花钱不够用,便向亲戚要钱,但这仍然满足不了需求,于是就产生了歹向亲戚要钱,但这仍然满足不了需求,于是就产生了歹念,强行向路人抢取钱财。但小明却说我是未成年人而念,强行向路人抢取钱财。但小明却说我是未成年人而且就抢了且就抢了5050元,这应该不会很严重吧?元,这应该不会很严重吧?如果你是法官,你会如何
4、判决呢?小明到底是不如果你是法官,你会如何判决呢?小明到底是不是犯罪呢?是犯罪呢?二、生活中的例子:二、生活中的例子:观察上述例子有什么特点?观察上述例子有什么特点?1 1、演绎推理:由、演绎推理:由一般一般到到特殊特殊的推理。的推理。所有金属都能导电所有金属都能导电铜铜是金属是金属太阳系大行星以椭圆太阳系大行星以椭圆轨道绕太阳运行轨道绕太阳运行冥王星冥王星是太阳是太阳系的大行星系的大行星奇数都不能被奇数都不能被2 2整除整除20072007是奇数是奇数2007不能被不能被2整除整除冥王星以椭圆形冥王星以椭圆形轨道绕太阳运行轨道绕太阳运行铜能铜能导电导电进一步观察上述例子有几部分组成?各有进一
5、步观察上述例子有几部分组成?各有什么特点?什么特点?大前提大前提小前提小前提结论结论所有金属都能导电所有金属都能导电铜铜是金属是金属太阳系大行星以椭圆太阳系大行星以椭圆轨道绕太阳运行轨道绕太阳运行冥王星冥王星是太阳是太阳系的大行星系的大行星奇数都不能被奇数都不能被2整除整除2007是奇数是奇数2007不能被不能被2整除整除冥王星以椭圆形冥王星以椭圆形轨道绕太阳运行轨道绕太阳运行铜能铜能导电导电 从一般性的原理出发,推出某个特殊从一般性的原理出发,推出某个特殊情况下的结论,这种推理称为情况下的结论,这种推理称为演绎推理演绎推理(一)、演绎推理的定义(一)、演绎推理的定义:(二)、演绎推理的模式(
6、二)、演绎推理的模式:“三段论三段论”是演绎推理的一般模式;是演绎推理的一般模式;M MP P(M M是是P)P)S SM(SM(S是是M)M)S SP(SP(S是是P)P)大前提大前提-已知的一般原理;已知的一般原理;小前提小前提-所研究的特殊对象;所研究的特殊对象;结论结论-据一般原理,对特殊据一般原理,对特殊对象做出的判断对象做出的判断“三段论三段论”是演绎推理的一般模式,包括:是演绎推理的一般模式,包括:(1)大前提大前提已知的一般原理;已知的一般原理;(2)小前提小前提所研究的特殊情况;所研究的特殊情况;(3)结结 论论根据一般原理,对特殊根据一般原理,对特殊 情况做出的判断。情况做
7、出的判断。2 2、三段论三段论大前提:大前提:M是是P小前提:小前提:S是是M结结 论:论:S是是P三段论可表示为三段论可表示为例例1 1:用:用三段论三段论的形式写出下列演绎推理。的形式写出下列演绎推理。(1)三角形内角和)三角形内角和180,等边三角形内,等边三角形内 角和是角和是180。分析:分析:小前提小前提:等边三角形是三角形。:等边三角形是三角形。大前提大前提结论结论(2)是有理数。是有理数。分析:大前提:所有的循环小数都是有理数。分析:大前提:所有的循环小数都是有理数。小前提小前提:是循环小数。是循环小数。结论结论(1)三角形内角和)三角形内角和180,等边三角形是三,等边三角形
8、是三角形角形,等边三角形内角和是等边三角形内角和是1803、演绎推理的结论一定正确吗?、演绎推理的结论一定正确吗?所有金属都能导电所有金属都能导电铜铜是金属是金属太阳系大行星以椭太阳系大行星以椭圆轨道绕太阳运行圆轨道绕太阳运行冥王星冥王星是太阳是太阳系的大行星系的大行星奇数都不能被奇数都不能被2整除整除2007是奇数是奇数2007不能被不能被2整除整除冥王星以椭圆形冥王星以椭圆形轨道绕太阳运行轨道绕太阳运行铜能铜能导电导电大前提大前提小前提小前提结论结论(1)分析下面的例子:)分析下面的例子:(2 2)因为指数函数)因为指数函数 是增函数,是增函数,而而 是指数函数,是指数函数,所以所以 是增
9、函数。是增函数。错错因:因:大前提是错误的,所以结论是大前提是错误的,所以结论是错误的。错误的。1、如图,在如图,在ABC ABC 中,中,AC BC,CDAC BC,CD是是ABAB上的高,上的高,求证:求证:ACD BCD.ACD BCD.证明:证明:在在ABC 中,因为中,因为 ,AC BC,所以所以AD BD,于是于是ACD BCD.指出上面证明过程中的错误。指出上面证明过程中的错误。根据根据AD BD,不能推出,不能推出ACD BCD.因为在同一个三角形中,才有大边对大角,因为在同一个三角形中,才有大边对大角,AD和和BD不是同一不是同一 个三角形的边。个三角形的边。正确的证法:正确
10、的证法:在在ABC 中,中,AC BCAC BC ,B B A A 练习练习2:3、演绎推理的结论一定正确吗?、演绎推理的结论一定正确吗?所有金属都能导电所有金属都能导电铜铜是金属是金属太阳系大行星以椭太阳系大行星以椭圆轨道绕太阳运行圆轨道绕太阳运行冥王星冥王星是太阳是太阳系的大行星系的大行星奇数都不能被奇数都不能被2整除整除2007是奇数是奇数2007不能被不能被2整除整除冥王星以椭圆形冥王星以椭圆形轨道绕太阳运行轨道绕太阳运行铜能铜能导电导电大前提大前提小前提小前提结论结论(1)分析下面的例子:)分析下面的例子:在演绎推理中,只要前提和推在演绎推理中,只要前提和推理形式是正确的理形式是正确
11、的,结论必定正确。结论必定正确。MSP若若集合集合M M的所有元素的所有元素都具有性质都具有性质P P,S S是是M M的一个子集,那么的一个子集,那么S S中所有元素也都具有中所有元素也都具有性质性质P P。所有的金属所有的金属(M)(M)都能够导电都能够导电(P)(P)铜铜(S)(S)是金属是金属(M)(M)铜铜(S)(S)能够导电能够导电(P)(P)M MP PS SM MS SP P大前提:大前提:刑法规定抢劫罪是以非法占有为目的,使刑法规定抢劫罪是以非法占有为目的,使用暴力、胁迫或其他方法,强行劫取公私财物的行用暴力、胁迫或其他方法,强行劫取公私财物的行为。其刑事责任年龄起点为为。其
12、刑事责任年龄起点为1414周岁,对财物的数额周岁,对财物的数额没有要求。没有要求。小前提:小前提:小明超过小明超过1414周岁,强行向路人抢取钱财周岁,强行向路人抢取钱财5050元。元。结论:结论:小明犯了抢劫罪。小明犯了抢劫罪。小明是小明是一名高一名高二二年级的学生,年级的学生,1717岁,迷恋上网络,沉迷于岁,迷恋上网络,沉迷于虚拟的世界当中。由于每月的零花钱不够用,便向亲戚要钱,虚拟的世界当中。由于每月的零花钱不够用,便向亲戚要钱,但这仍然满足不了需求,于是就产生了歹念,强行向路人抢但这仍然满足不了需求,于是就产生了歹念,强行向路人抢取钱财。但小明却说我是未成年人而且就抢了取钱财。但小明
13、却说我是未成年人而且就抢了5050元,这应该元,这应该不会很严重吧?不会很严重吧?例例2 2:证明函数:证明函数f(x)=-xf(x)=-x2 2+2x+2x在在(-,1)(-,1)是增函数。是增函数。证明:任取证明:任取函数函数f(x)=-xf(x)=-x2 2+2x+2x在在(-,1)(-,1)是增函数。是增函数。大前提:大前提:增函数的定义;增函数的定义;小前提小前提结论结论例例2 2:证明函数:证明函数f(x)=-xf(x)=-x2 2+2x+2x在在(-,1)(-,1)是增函数。是增函数。函数函数f(x)=-xf(x)=-x2 2+2x+2x在在(-,1)(-,1)是增函数。是增函数
14、。大前提大前提:在某个区间(:在某个区间(a,ba,b)内若内若 ,那么,那么函数函数y=f(x)y=f(x)在这个区间内单调递增;在这个区间内单调递增;小前提小前提结论结论演演绎绎推推理理概念概念一般形式一般形式三段论三段论证明问题证明问题合情推理与演绎推理的联系与区别合情推理与演绎推理的联系与区别(难点)难点)(重点)(重点)(重点)重点)四、小结四、小结四、小结四、小结(四)(四)合情推理与演绎推理的区别合情推理与演绎推理的区别合情推理合情推理演绎推理演绎推理归纳推理归纳推理类比推理类比推理区区别别推理推理形式形式由部分到整体、个别由部分到整体、个别到一般的推理。到一般的推理。由特殊到特殊的由特殊到特殊的推理。推理。由一般到特殊的推由一般到特殊的推理。理。推理推理结论结论结论不一定正确,有待进一步证明。结论不一定正确,有待进一步证明。在在大大前前提提、小小前前提提和和推推理理形形式式都都正正确确的的前前提提下下,得得到到的的结论一定正确。结论一定正确。联系联系合合情情推推理理的的结结论论需需要要演演绎绎推推理理的的验验证证,而而演演绎绎推推理理的的方方向向和和思路一般是通过合情推理获得的。思路一般是通过合情推理获得的。