- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
§3 数学中的推理与证明 一、形式逻辑的基本规律: 1.同一律 在进行论断或推理的过程中,每一个概念都应当在同一意义上使用. 要求在同一时间和同一关系下: 对于同一个对象只能用同一个概念来表达; 对于不同的对象应该用不同的概念来表达. 2.矛盾律 同一对象,在同一时间和同一关系下,不能兼有两种互相矛盾的属性. 例1 “a 是正数”与“a是负数”. 例2 “这张纸是白的”与“这张纸是黑的”. §3 数学中的推理与证明 3.排中律: 同一对象在同一时间和同一关系下,或者具有某种属性,或者不具有某种属性. 例3 “这张纸是红的”与“这张纸是非红的”. 4.充足理由律: 一个判断被确定为真,总是有充足理由的. §3 数学中的推理与证明 注:可以用作判断和论证根据的充足理由有: 公理、公法、原理; 前此定理; 本题给出的已知条件; 由以上三项推出的真实的中间结论. §3 数学中的推理与证明 二、推理的意义和分类. 1.推理:从一个或几个已知判断得出一个新判断的思维形式. 例1 △ABC中,因为AB=AC,所以∠B=∠C. 例2 因为 1+2=2+1,2+5=5+2,15+17=17+15,100+31=31+100,… 所以,自然数的加法具有交换律. 例3 因为矩形的对角线相等, 正方形是矩形, 所以正方形的对角线相等. 在推理过程中,那个(些)已知的判断叫做“前提”(推理的依据); 推出的新判断叫做“结论”. §3 数学中的推理与证明 2.推理的分类: (1)按前提个数的多少来分: 直接推理:从一个前提推出结论. 间接推理:从两个或两个以上前提推出结论. (2)按推理的方向不同来分: 演绎推理:从一般到特殊; 归纳推理:从特殊到一般; 类比推理:从特殊到特殊. §3 数学中的推理与证明 三、演绎推理: 1.演绎推理:由一般事理的成立推出特殊事理的成立.(如前面的例3) 例3 因为矩形的对角线相等, 正方形是矩形, 所以正方形的对角线相等. 2.三段论的结构:三段论一般含有两个前提和一个结论, 大前提(一般的判断) M是P, 小前提(和大前提有联系的判断) S是M, 结论(由前提推出的判断) S是P. §3 数学中的推理与证明 3.依据(三段论公理): 如果知道性质P属于(不属于)某类对象全体,那么这个性质也将属于(不属于)该类对象中的任何一个具体成员. §3 数学中的推理与证明 例.证明:“直角三角形两锐角互余”. 证明:因为任意三角形三内角之和为180°, (大前提) 而直角三角形是三角形,(小前提) 所以直角三角形三内角之和为180°. 即:A+B+90°=180°. (结论) 因为等量减等量差相等,(大前提) 而(A+B+90°) -90°,180°-90°是等量减等量,(小前提) 所以 (A+B+90°) -90°=180°-90°即:A+B=90° (结论) 因为两角的和等于90°时,这两角叫互余, (大前提) 现A+B=90° (小前提) 所以A与B互余. (结论) 省略形式: 证明:因为 A+B+90°=180°, 所以,A+B=90°, 所以,A与B互余. §3 数学中的推理与证明 四、归纳推理: 1.归纳推理:从个别的、特殊的对象出发,推出该类对象的一般结论. 2.完全归纳推理: 从考察某类事物中每一个对象都具有(不具有)某种属性,推断出该类事物的全部对象都具有(不具有)这种属性的归纳推理. 其推理形式为:A1,A2,…,An都具有(不具有)性质P. A1,A2,…,An组成集合A. 因此A的所有元素都具有(不具有)性质P. §3 数学中的推理与证明 例1 圆周角的度数等于它所对弧的度数的一半. 例2 在△ABC中,AD⊥BC于D,M是BC边的中点.设∠ABC=2∠ACB.则AB=2DM. (本题应按:∠ABC<90°、 ∠ABC=90°、 ∠ABC>90°分别证明.) §3 数学中的推理与证明 3.不完全归纳推理 根据某类事物中的部分对象具有(不具有)某种属性,在没有遇到与之相矛盾的情况下,断
文档评论(0)