2015-2016学年人教B版选修2-2演绎推理课件(20张).pptVIP

2015-2016学年人教B版选修2-2演绎推理课件(20张).ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
2015-2016学年人教B版选修2-2演绎推理课件(20张).ppt

2.1.2 演绎推理; 我们先看一个简单的例子。 命题:等腰三角形的两底角相等。 已知:如图,在△ABC中,AB=AC, 求证:∠B=∠C。 证明:作∠A的角平分线AD, 则∠BAD=∠CAD, 又因为AB=AC,AD=AD, 所以△ABD≌△ACD(SAS), 因此∠B=∠C。; 分析上述推理过程,可以看出,推理的每一个步骤都是根据一般性命题(如“全等三角形对应角相等”)推出特殊性命题(如“∠B=∠C”)。 这类根据一般性的真命题(或逻辑规则)导出特殊性命题为真的推理,叫做演绎推理。; 演绎推理的特征是: 当前提为真时,结论必然为真。;(1)充分条件假言推理的基本原则是: 小前提肯定大前提的前件,结论就肯定大前提的后件;小前提否定大前提的后件,结论就否定大前提的前件。;例1.设m为实数,求证方程x2-2mx+m-1=0有相异的两实数根。; 这个证明虽然简单,只有一步推理,但它包含有两个步骤: (1)确定命题“如果一元二次方程的判别式△0(p),那么这个方程有相异的两实数根(q)”为真;; 用符号表示这种推理规则就是“如果p?q,p真,则q真”。; 2.三段论推理;又因为EF 平面BCD, BD 平面BCD, 所以 EF//平面BCD。; 在此证明中,第一步实际上暗含着一个一般性原理:三角形的中位线平行于第三边。这是大前提。;第二步,同样暗含这一个一般性原理: 如果不在一个平面内的一条直线和平面内的一条直线平行,那么这条直线和这个平面平行。这是大前提。;用符号表示,这两步都遵循如下推理规则: “如果b?c,由a?b,则a?c.”这种推理规则,叫做三段论推理。;(1)对称性关系推理是根据关系的对称性进行的推理; (2)反对称性关系推理是根据关系的反对称性进行的推理; (3)传递性关系推理是根据关系的传递性进行的推理; (4)反传递性关系推理是根据关系的反传递性进行的推理。;例3.设a,b,c为正数,求证:;在这个证明过程中,关键步骤是: ; 这里用到的推理规则是“如果aRb, bRc,则aRc”,其中“R”表示具有传递性的关系。这种推理规则叫做传递性关系推理。 ;4.完全归纳推理;证明:当x0时,f(x)的各项都为正数,因此,当x0时,f(x)为正数;; 在这个证明中,对x的所有可能的取值都给出了f(x)为正数的证明,所以断定f(x)恒为正数。

文档评论(0)

zhaoxiaoj + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档