




已阅读5页,还剩43页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
推理与证明,第三章,2 数 学 证 明,第三章,结合已学过的数学实例和生活中的实例,体会演绎推理的重要性,掌握演绎推理的基本模式,并能运用它们进行一些简单推理 通过具体实例,了解合情推理和演绎推理之间的联系和差异,1.演绎推理 从_出发,推出_情况下的结论,我们把这种推理称为演绎推理,简言之,演绎推理是由_的推理,演绎推理,一般性的原理,某个特殊,一般到特殊,2演绎推理的特点 (1)演绎的前提是一般性原理,演绎所得的结论是蕴涵于前提之中的个别、特殊事实,结论完全蕴涵于前提之中 (2)在演绎推理中,前提与结论之间存在必然的联系只要前提是真实的,推理的形式是正确的,那么结论也必定是正确的因而演绎推理是数学中严格证明的工具 (3)演绎推理是一种收敛性的思维方法,它缺少创造性,但却具有条理清晰、令人信服的论证作用,有助于科学的理论化和系统化,1.三段论概念 “三段论”是演绎推理的一般模式,包括: (1)大前提已知的_; (2)小前提所研究的_; (3)结论根据一般原理,对特殊情况做出的_ 2三段论的一般格式: 大前提:M是P,小前提:S是M,结论:_;也可以用;若ab,bc,则ac.,三段论推理,一般原理,特殊情况,判断,S是P,3三段论法的论断基础是这样一个公理:“凡肯定(或否定)了某一类对象的全部,也就肯定(或否定)了这一类对象的各部分或个体”,简言之,“全体概括个体”M、P、S三个概念之间的包含关系表现为:如果概念P包含了概念M,则必包含了M中的任一概念S,如图,如果概念P排斥概念M,则必排斥M中的任一概念S.,4在演绎推理中,前提与结论之间存在必然的联系,只要前提是真实的,推理的形式是正确的,那么_必定是正确的因而演绎推理是数学中严格证明的工具,而合情推理的结论_正确 为了方便,在运用三段论推理时,常常采用省略大前提或小前提的表述方式对于复杂的论证,总是采用一连串的三段论,把前一个三段论的_作为下一个三段论的前提,结论,不一定,结论,1.合情推理与演绎推理的区别 (1)推理一般包括合情推理与演绎推理合情推理包括归纳推理和类比推理归纳是由特殊到一般的推理,类比是由特殊到特殊的推理,而演绎推理是由一般到特殊的推理,(2)合情推理是根据已有的事实和正确的结论(包括定义、公理、定理等),实验和实践的结果,以及个人的经验和直觉等推测某些结果的推理过程,归纳和类比是合情推理常用的方法在解决问题的过程中,合情推理具有猜测和发现结论、探索和提供思路的作用有利于创新意识的培养演绎推理是根据已有的事实和正确的结论(包括定义、公理、定理等)按照严格的逻辑法则得到新结论的推理过程,培养和提高演绎推理或逻辑证明的能力是高中课程的重要目标 (3)从推理的结论来看,合情推理的结论不一定正确,有待证明;演绎推理在前提和推理形式正确的前提下得到的结论一定正确,2合情推理与演绎推理的联系 (1)数学发现过程是一个探索创造的过程,是一个不断地提出猜想、验证、猜想的过程,合情推理和演绎推理相辅相成,相互作用,共同推动着发现活动的进程数学结论、证明思路的发现,主要靠合情推理而演绎推理是证明数学结论、建立数学体系的重要思维过程 (2)合情推理是富于创造性的推理,在数学发现活动中,它为演绎推理确定了目标和方向,具有提出猜想、发现结论、提供思路的作用演绎推理是形式化程度较高的必然推理,为合情推理提供了前提,为探索活动提供了依据,1.在不等边三角形ABC中,a为最长边,要想得到其对角A为钝角的结论,三边a,b,c应满足的条件是( ) Aa2b2c2 Da2b2c2 答案 C,答案 A 解析 大前提错误,因为对数函数ylogax(0a1)是减函数,故选A,3(2013天津红桥区高二质检)“所有9的倍数都是3的倍数,某奇数是9的倍数,故某奇数是3的倍数”上述推理是( ) A完全正确 B推理形式不正确 C错误,因为大小前提不一致 D错误,因为大前提错误 答案 A,4(2014郑州一中期中,厦门六中高二期中)有一段“三段论”推理是这样的:对于可导函数f(x),若f(x0)0,则xx0是函数f(x)的极值点因为f(x)x3在x0处的导数值f(0)0,所以x0是f(x)x3的极值点以上推理中( ) A大前提错误 B小前提错误 C推理形式错误 D结论正确 答案 A 解析 f(x0)0是f(x)在xx0取得极值的必要条件,而不是充分条件,大前提是错误的,5补充下列推理,使其成为完整的三段论 (1)因为互为相反数的两个数的和为0. 又因为a与b互为相反数且_,所以b8. (2)因为_,又因为e2.71828是无限不循环小数,所以e是无理数 答案 (1)a8,(2)无限不循环小数都是无理数,6判断下列推理是否正确?为什么? “因为过不共线的三点有且仅有一个平面(大前提),而A、B、C为空间三点(小前提),所以过A、B、C三点只能确定一个平面(结论)” 解析 不正确,因为大前提中的“三点”不共线,而小前提中的“三点”没有不共线的限制条件,用三段论的形式写出下列演绎推理: (1)若两角是对顶角,则此两角相等,所以若两角不相等,则此两角不是对顶角,三段论基本形式的理解,分析 本题考查三段论的三部分结构分清楚三段论中的大前提、小前提、结论是解题的关键,为此要抓住它们的含义,即大前提已知的一般原理,小前提所研究的特殊情况,结论根据一般原理,对特殊情况作出的判断 解析 (1)大前提:两个角是对顶角,则这两个角相等 小前提:和不相等 结论:和不是对顶角,用三段论的形式写出下列演绎推理 (1)菱形的对角线相互垂直,正方形是菱形,所以正方形的对角线相互垂直 (2)若两角是对顶角,则此两角相等,所以若两角不相等,则此两角不是对顶角 分析 即写出推理的大前提、小前提、结论大前提可能在题目中给出,也可能是已经学过的知识,解析 (1)每个菱形的对角线都相互垂直大前提 正方形是菱形小前提 正方形的对角线相互垂直结论 (2)若两个角是对顶角则两角相等大前提 1和2不相等小前提 1和2不是对顶角结论,指出下面推理中的错误: (1)自然数是整数(大前提) 6是整数(小前提) 所以,6是自然数(结论) (2)中国的大学分布在中国各地(大前提) 北京大学是中国的大学(小前提) 所以,北京大学分布在中国各地(结论),演绎推理的判断,(3)三角函数是周期函数(大前提) ysinx(0x)是三角函数(小前提) ysinx(0x)是周期函数(结论) 分析 判断三段论推理是否正确必须严格按其推理规则进行考察,其推理规则为: 所有M都是P,S是MS是P. 既要看大前提、小前提是否有误,也要看推理形式是否合乎规范,解析 (1)推理形式错误,自然数是整数为大前提,小前提应是判断某数为自然数,而不是某数为整数 (2)推理形式错误,大前提中M是“中国的大学”,它的含义是中国的每一所大学,而小前提中的“中国的大学”仅表示中国的一所大学,二者是两个不同的概念,犯了偷换概念错误 (3)推理形式错误,大前提中的“三角函数”和小前提中的“三角函数”概念不同,方法规律总结 1.判断演绎推理是否正确的方法 (1)看推理形式是否为由一般到特殊的推理,只有由一般到特殊的推理才是演绎推理,这是最易出错的地方; (2)看大前提是否正确,大前提往往是定义、定理、性质等,注意其中有无前提条件; (3)看小前提是否正确,注意小前提必须在大前提范围之内; (4)看推理过程是否正确,即看由大前提,小前提得到的结论是否正确,2在应用三段论推理中,最常见的错误是偷换概念的错误,即大前提与小前提中同一名称的概念含义不同;其次是推理形式错误,大前提“所有M都是P”,则小前提应是“S是M”,而非“S是P”,答案 (1)推理形式正确,但大前提错误 (2)推理形式正确,大前提是错误的,已知在梯形ABCD中(如图),DCDA,ADBC 求证:AC平分BCD(用三段论证明),三段论在证明几何问题中的应用,解析 等腰三角形两底角相等,大前提 ADC是等腰三角形,1和2是两个底角,小前提 12.结论 两条平行线被第三条直线截得的内错角相等,大前提 1和3是平行线AD、BC被AC截得的内错角,小前提 13.结论 等于同一个角的两个角相等,大前提 21,31,小前提 23,即AC平分BCD结论,方法规律总结 应用演绎推理证明时,必须确切知道每一步推理的依据(大前提),验证条件是否满足(小前提),然后得出结论,用三段论分析下题的证明过程 如图,D、E、F分别是BC、CA、AB上的点,BFDA,DEBA,求证:EDAF. 证明过程如下: BFDA,FDAE, 又DEBA, 四边形AFDE是平行四边形, EDAF.,解析 上述推理过程应用了三次三段论第一次省略大前提和小前提的部分内容;第二次省略大前提并承前省了其中一组对边平行的条件;第三次省略了大前提并承前省略了小前提,其完整演绎推理过程如下: 因为同位角相等,两条直线平行,大前提 BFD与A是同位角,且BFDA,小前提 所以FDAE.结论,因为两组对边分别平行的四边形是平行四边形,大前提 DEBA,且FDAE,小前提 所以四边形AFDE为平行四边形结论 因为平行四边形的对边相等,大前提 ED和AF为平行四边形AFDE的对边,小前提 所以EDAF.结论,(2013郑州高二检测)已知定义域为0,1的函数f(x)同时满足以下三个条件: 对任意的x0,1,总有f(x)0; f(1)1; 若“当x10,x20且x1x21时,有f(x1x2)f(x1)f(x2)成立”,则称f(x)为“友谊函数”,(1)若已知f(x)为“友谊函数”,求f(0)的值 (2)函数g(x)2x1在区间0,1上是否为“友谊函数”?并给出理由 (3)已知f(x)为“友谊函数”,且0x1x21,求证:f(x1)f(x2),解题思路探究 第一步,审题 审条件,挖掘解题信息 定义域0,1,在研究函数过程中不能超出这个范围; “友谊函数”新定义包含三个条件,尤其条件需严格证明后才能确定 审结论,明确解题目标 第(1)问已知f(x)为友谊函数,求f(0)可用赋值法求解; 第(2)问给出f(x)解析式和定义区间,判断f(x)是否为友谊函数,需紧扣定义验证f(x)是否满足三个条件 第(3)问要证f(x1)f(x2),需依据条件进行变换,注意条件在变形中的应用,第二步,建联系,确定解题步骤 先用赋值法求第(1)问,再依次验证(2)中函数满足友谊函数的三个条件,最后,利用恒等变换技巧借助条件推证第(3)问 第三步,规范解答,解析 (1)取x1x20,得f(0)f(0)f(0), f(0)0, 又由f(0)0,得f(0)0. (2)显然g(x)2x1在0,1上满足g(x)0; g(1)1;,若x10,x20,且x1x21, 则有g(x1x2)g(x1)g(x2) 2x1x21(2x11)(2x21) (2x11)(2x21)0. 故g(x)2x1满足条件, 所以g(x)2x1为“友谊函数” (3)因为0x1x21,则0x2x11, 所以f(x2)f(x2x1x1)f(x2x1)f(x1)f(x1),方法规律总结 1.应用演绎推理证明时,必须确切知道每一步推理的依据(大前提),验证条件是否满足(小前提),然后得出结论 2在几何、代数证题过程中,如果每一次都按三段论写出解答过程会很繁琐,也不必要因此实际证题中,那些公认的简单事实,已知的公理、定理等大前提条件可以省
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 中班健康《你是我的好朋友》教案
- 化学单元1 酸性溶液和碱性溶液第一课时教案及反思
- 五年级美术下册教案-《第11课 学画松树》教学设计人教版
- 九年级体育 第9周 第18次课教学设计
- 人教部编版 (五四制)五年级上册山居秋暝教案
- 九年级体育 女生侧向滑步推铅球教学设计2
- 丽声北极星分级绘本The Angry Dragon(教学设计)-2023-2024学年译林版(三起)英语四年级下册
- 2021-2022学年北师大版八年级数学下册期末押题必刷卷【期末测试·拔高】常考易错突破卷(轻松拿满分)(解析版)
- 2024中铁财务有限责任公司公开招聘1人笔试参考题库附带答案详解
- 三年级英语上册 Unit 9 It's a mouth教学设计2 湘少版
- 2025年03月四川成都农业科技中心公开招聘笔试历年典型考题(历年真题考点)解题思路附带答案详解
- 农村兄弟林地协议书
- 大学英语四级考试2024年6月真题(第1套)翻译
- 2024年郑州铁路职业技术学院单招职业技能测试题库必考题
- 2024北京房山区高一(下)期中数学试题及答案
- 【幼儿园绘本故事】神笔马良
- 2025年03月国家机关事务管理局所属事业单位公开招聘应届毕业生14人笔试历年典型考题(历年真题考点)解题思路附带答案详解
- 信息安全等级保护管理办法
- 《装配式生物安全实验室技术标准-》
- 体育热身活动课件
- 2025年光大银行校园招聘笔试参考题库(带答案)
评论
0/150
提交评论