- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
2.1.2 演绎推理 我们先看一个简单的例子。 命题:等腰三角形的两底角相等。 已知:如图,在△ABC中,AB=AC, 求证:∠B=∠C。 证明:作∠A的角平分线AD, 则∠BAD=∠CAD, 又因为AB=AC,AD=AD, 所以△ABD≌△ACD(SAS), 因此∠B=∠C。 分析上述推理过程,可以看出,推理的每一个步骤都是根据一般性命题(如“全等三角形对应角相等”)推出特殊性命题(如“∠B=∠C”)。 这类根据一般性的真命题(或逻辑规则)导出特殊性命题为真的推理,叫做演绎推理。 演绎推理的特征是: 当前提为真时,结论必然为真。 例如,由真命题a,b遵循演绎推理规则得出命题q,则q必然为真。 (三)归纳推理与演绎推理的区别和联系 归纳推理与演绎推理的主要区别是:首先,从思维运动过程的方向来看,演绎推理是从一般性的知识的前提推出一个特殊性的知识的结论,即从一般过渡到特殊;而归纳推理则是从一些特殊性的知识的前提推出一个一般性的知识的结论,即从特殊过渡到一般。其实,从前提与结论联系的性质来看,演绎推理的结论不超出前提所断定的范围, 其前提和结论之间的联系是必然的,即其前提真而结论假是不可能的。一个演绎推理只要前提真实并且推理形式正确,那么,其结论就必然真实。而归纳推理(完全归纳推理除外)的结论却超出了前提所断定的范围,其前提和结论之间的联系不是必然的,而只具有或然性,即其前提真而结论假是有可能的。也就是说,即使其前提都真也并不能保证结论是必然真实的。 归纳推理与演绎推理虽有上述区别,但它们在人们的认识过程中是紧密的联系着的,两者互相依赖、互为补充,比如说,演绎推理的一般性知识的大前提必须借助于归纳推理从具体的经验中概括出来,从这个意义上我们可以说,没有归纳推理也就没有演绎推理。当然,归纳推理也离不开演绎推理。 比如,归纳活动的目的、任务和方向是归纳过程本身所不能解决和提供的,这只有借助于理论思维,依靠人们先前积累的一般性理论知识的指导,而这本身就是一种演绎活动。而且,单靠归纳推理是不能证明必然性的,因此,在归纳推理的过程中,人们常常需要应用演绎推理对某些归纳的前提或者结论加以论证。从这个意义上我们也可以说,没有演绎推理也就不可能有归纳推理。 例1.设m为实数,求证方程x2-2mx+m-1=0有相异的两实数根。 证明:因为如果一元二次方程的判别式△0,那么这个方程有相异的两实数根, 现在已知方程x2-2mx+m-1=0的判别式△=4m2-4(m-1)=(2m-1)2+30, 因此方程x2-2mx+m-1=0有相异的两实数根。 这个证明虽然简单,只有一步推理,但它包含有两个步骤: (1)确定命题“如果一元二次方程的判别式△0(p),那么这个方程有相异的两实数根(q)”为真; (2)判断方程x2-2mx+m-1=0的判别式△0(p)为真,得出已知的方程有相异的两实数根。(q)为真。 用符号表示这种推理规则就是“如果p?q,p真,则q真”。 这种推理规则叫做假言推理。假言推理的本质是,通过证明结论的充分条件为真,判断结论为真。 2.三段论推理 三段论是指由两个简单判断作前提和一个简单判断作结论组成的演绎推理。三段论中三个简单判断只包含三个不同的概念,每个概念都重复出现一次。这三个概念都有专门名称:结论中的宾词叫“大词”,结论中的主词叫“小词”,结论不出现的那个概念叫“中词”,在两个前提中,包含大词的叫“大前提”,包含小词的叫“小前提”。 又因为EF 平面BCD, BD 平面BCD, 所以 EF//平面BCD。 例2.已知空间四边形ABCD中,点E、F分别是AB、AD的中点,求证:EF//平面BCD. 证明:连接BD,因为点E、F分别是AB、AD的中点, 所以 EF//BD, 在此证明中,第一步实际上暗含着一个一般性原理:三角形的中位线平行于第三边。这是大前提。 把一般性原理用于特殊情况,便得到了结论EF//BD。 而对特殊的△ABD,EF是中位线,这是小前提。 第二步,同样暗含这一个一般性原理: 如果不在一个平面内的一条直线和平面内的一条直线平行,那么这条直线和这个平面平行。这是大前提。 把一般性原理用于特殊情况,便得到了结论EF//平面BCD。 而EF//BD,EF 平面BCD,BD 平面BCD,这是小前提, 用符号表示,这两步都遵循如下推理规则: “如果b?c,由a?b,则a?c.”这种推理规则,叫做三段论推理。 3.传递性关系推理 传递
文档评论(0)