




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
2.2直接证实与间接证实2.2.2反证法1/11复习1.直接证实两种基本证法:综正当和分析法2.这两种基本证法推证过程和特点:由因导果执果索因3、在实际解题时,两种方法怎样利用?通惯用分析法寻求思绪,再由综正当书写过程综正当已知条件结论分析法结论已知条件2/11(1)假如有5只鸽子飞进两只鸽笼,最少有3只鸽子在同一只鸽笼,对吗?(2)A、B、C三个人,A说B撒谎,B说C撒谎,C说A、B都撒谎。则C在撒谎吗?为何?分析:假设C没有撒谎,则A、B都撒谎.由A撒谎,知B没有撒谎.那么假设C没有撒谎不成立,则C必定是在撒谎.这与B撒谎矛盾.思索?3/11
把这种不是直接从原命题条件逐步推得命题成立证实方法称为间接证实注:反证法是最常见间接证法,
普通地,假设原命题不成立(即在原命题条件下,结论不成立),
经过正确推理,最终得出矛盾。所以说明假设错误,从而证实了原命题成立,
这么证实方法叫做反证法。理论4/11反证法证实过程:否定结论——推出矛盾——必定结论,即分三个步骤:反设—归谬—存真反设——假设命题结论不成立;存真——由矛盾结果,断定反设不成立,从而必定原结论成立。归谬——从假设出发,经过一系列正确推理,````````得出矛盾;用反证法证实命题过程用框图表示为:必定条件否定结论导致逻辑矛盾反设不成立结论成立5/11
例1
求证:是无理数。6/11例2证实:1,,2不能为同一等差数列三项。7/11例3求证:过一点与一平面垂直直线只有一条。8/11例4设a为实数,f(x)=.求证:|f(1)|与|f(2)|
中最少有一个大于。9/11归纳总结:三个步骤:反设—归谬—存真归缪矛盾:(1)与已知条件矛盾;(2)与已经有公理、定理、定义矛盾;(3)自相矛盾。
普通地,假设原命题不成立(即在原命题条件下,结论不成立),
经过正确推理,最终得出矛盾。所以说明假设错误,从而证实了原命题成立,
这么证实方法叫做反证法。10/11(1)直接证实有困难正难则反!归纳总结:哪些命题适宜用反证法加以证实?牛顿曾经
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 河北省唐山市丰南区达标名校2024-2025学年初三下学期九月月考生物试题含解析
- 宁波城市职业技术学院《概率论与数理统计(三)》2023-2024学年第二学期期末试卷
- 南京师范大学中北学院《嵌入式系统与开发》2023-2024学年第二学期期末试卷
- 四川邮电职业技术学院《舞蹈概论》2023-2024学年第二学期期末试卷
- 盐城工业职业技术学院《计算机网络教育应用》2023-2024学年第二学期期末试卷
- 浙江省杭州下城区重点达标名校2024-2025学年初三下学期第三次质检(期中)化学试题含解析
- 湖北省黄冈市黄梅县2025年数学三下期末预测试题含解析
- 江西师范大学科学技术学院《运动技能(三)羽毛球》2023-2024学年第二学期期末试卷
- 浙江省绍兴实验学校2025年初三下期末联考物理试题含解析
- 柳州职业技术学院《绿色体育学》2023-2024学年第二学期期末试卷
- (一模)桂林市、来宾市2025届高考第一次跨市联合模拟考试生物试卷(含答案详解)
- 四川省宜宾市第三中学2024-2025学年高二下学期3月月考语文试题(含答案)
- 北京市消防条例解读
- 农业合作社管理与运营模式试题及答案
- 2025年版中等职业教育专业教学标准 710205 大数据技术应用
- 项目燃油供给系统检修广东交通汽车技术系课件
- 2024年公务员考试中财务知识的考察试题及答案
- 治理盐碱可行性报告
- 医院检验科实验室生物安全程序文件SOP
- JTG D70-2-2014 公路隧道设计规范 第二册 交通工程与附属设施
- 封条模板A4直接打印版
评论
0/150
提交评论