《推理与证明复习课》PPT课件.ppt_第1页
《推理与证明复习课》PPT课件.ppt_第2页
《推理与证明复习课》PPT课件.ppt_第3页
《推理与证明复习课》PPT课件.ppt_第4页
《推理与证明复习课》PPT课件.ppt_第5页
已阅读5页，还剩15页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

从一个或几个已知命题得出另一个新命题的思维过程称为推理.,1.什么叫推理?,2.合情推理的主要形式有和.,3.归纳推理是从事实中概括出结论的一种推理模式.归纳推理的思维过程大致是:,归纳,类比,个别,一般,推理案例1：春秋时代鲁国的公输班（后人称鲁班，被认为是木匠业的祖师）一次去林中砍树时被一株齿形的茅草割破了手，这桩倒霉事却使他发明了锯子.,他的思路是这样的：,茅草是齿形的；,茅草能割破手.,我需要一种能割断木头的工具；,它也可以是齿形的.,归纳推理,由部分到整体、特殊到一般的推理;,以观察分析为基础,推测新的结论;,具有发现的功能;,结论不一定成立.,类比推理,由特殊到特殊的推理;,以旧的知识为基础,推测新的结果；,结论不一定成立.,具有发现的功能;,推理案例2,可能存在生命,类比推理的一般步骤：,找出两类对象之间可以确切表述的相似特征；用一类对象的已知特征去推测另一类对象的特征，从而得出一个猜想；检验猜想。即,观察、比较,联想、类推,猜想新结论,案例：利用等差数列性质类比等比数列性质,n+m=p+q时,am+an=ap+aq,n+m=p+q时,aman=apaq,成等差数列,成等比数列,下标等差,项等差,下标等差,项等比,归纳推理：,类比推理：,实验、观察,概括、推广,猜测一般性结论,观察、比较,联想、类推,猜测新的结论,简言之：,简言之：,合情推理,从一般性的原理出发，推出某个特殊情况下的结论，这种推理称为演绎推理,注：,演绎推理是由一般到特殊的推理；,“三段论”是演绎推理的一般模式；包括大前提-已知的一般原理；小前提-所研究的特殊情况；结论-据一般原理，对特殊情况做出的判断,演绎推理,三段论的基本格式,观察与思考,1.所有的金属都能导电,2.一切奇数都不能被2整除,3.三角函数都是周期函数,所以，铜能够导电.,铜是金属,所以，(2100+1)不能被2整除.,(2100+1)是奇数,所以tan周期函数,tan三角函数,演绎推理（练习）,直接证明,分析法解题方向比较明确，利于寻找解题思路；综合法条理清晰，易于表述。,通常以分析法寻求思路，再用综合法有条理地表述解题过程,分析法综合法,概念,直接证明,综合法和分析法的推证过程如下：,综合法,已知条件,结论,分析法,结论,已知条件,综合法,利用已知条件和某些数学定义、定理、公理等，经过一系列的推理论证，最后推导出所要证明的结论或所要解决的问题的结果。,(顺推证法、由因导果法),一般地，从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件（已知条件、定理、定义、公理等）。,QP1,P1P2,P2P3,得到一个明显成立的条件,分析法,(逆推证法、执果索因法),用Q表示要证明的结论，则分析法可用框图表示为：,【分析法】,要证只需证只需证显然成立所以结论成立,格式,反证法证明过程,否定结论推出矛盾肯
人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论