- 2
- 0
- 约1.15千字
- 约 2页
- 2017-05-27 发布于湖北
- 举报
§3 反证法
反证法是一种间接证明的方法,它是通过证明原命题的否定的真实性来确立原论题的真实性的证明方法,在应用反证法证明问题的过程中以找它的逆否命题然后推出矛盾为根本.本节内容就开始学习反证法.
高手支招1细品教材
1.间接证明
间接证明是不同于直接证明的又一类证明方法,不是直接从原命题的条件逐步推得命题成立的方法.
反证法就是一种常用的间接证明方法.
2.反证法
(1)概念:假定命题结论的反面成立.在这个前提下,若推出的结果与定义、公理、定理矛盾,或与命题中的已知条件相矛盾,或与假定相矛盾,从而断定命题结论的反面不可能成立,由此断定命题的结论成立.这样的证明方法叫做反证法(有时也叫归谬法).
(2)形式:由证明pq转向证明:qr…t,t与假设或与某个真命题矛盾,q为假,推出q为真.
状元笔记
反证法的证明过程可以概括为“否定——推理——否定”,即从否定结论开始,经过正确的推理,导致逻辑矛盾,从而达到新的否定(即肯定原命题)的过程.用反证法证明命题“若p则q”的过程可以用框图表示为:
3.反证法的证题步骤
包括以下三个步骤:
(1)作出否定结论的假设(反设)——假设命题的结论不成立,即假定原命题的反面为真;
(2)逐步推理,导出矛盾(归谬)——从假设和已知条件出发,经过一系列正确的逻辑推理,得出矛盾结果;
(3)否定假设,肯定结论(存真)——由矛盾结果,断定假设不真,从
您可能关注的文档
- 【名师指津】高中数学 第一章 统计案例 1.1.3 可线性化的回归分析知识导航 北师大版选修1-2.DOC
- 【名师指津】高中数学 第一章 统计案例 1.1.3 可线性化的回归分析自我小测 北师大版选修1-2.doc
- 【名师指津】高中数学 第一章 统计案例 1.2 独立性检验的基本思想及其初步应用课堂探究 新人教A版选修1-2.doc
- 【名师指津】高中数学 第一章 统计案例 1.2 独立性检验的基本思想及其初步应用预习导航 新人教A版选修1-2.doc
- 【名师指津】高中数学 第一章 统计案例 1.2 独立性检验的基本思想及其初步应用自我小测 新人教A版选修1-2.doc
- 【名师指津】高中数学 第一章 统计案例 1.2 回归分析课堂探究 新人教B版选修1-2.doc
- 【名师指津】高中数学 第一章 统计案例 1.2 回归分析预习导航 新人教B版选修1-2.doc
- 【名师指津】高中数学 第一章 统计案例 1.2 回归分析自我小测 苏教版选修1-2.doc
- 【名师指津】高中数学 第一章 统计案例 1.2 回归分析自我小测 新人教B版选修1-2.doc
- 【名师指津】高中数学 第一章 统计案例 1.2.4 独立性检验的应用同步测控 北师大版选修1-2.DOC
最近下载
- 最新胃脘痛(慢性胃炎)中医护理方案.docx VIP
- G-J-B 59.18-1988 装甲车辆实验标准 装甲板抗枪弹性能实验.pdf VIP
- 结直肠癌中医护理方案.docx VIP
- 渝21G01 起重机械(塔式起重机、施工升降机)混凝土基础图集.docx VIP
- 2024年榆林市榆阳区招聘教师考试真题.docx VIP
- 2025榆林市榆阳区引进公费师范毕业生笔试备考试题及答案解析.docx VIP
- RAZ-N分级阅读小学英语绘本TOTEM POLES(可打印成册).pdf VIP
- 《结直肠癌的中医护理方案》.ppt VIP
- 铁路机车车辆驾驶人员资格许可实施细则-附件.PDF VIP
- 结直肠癌的中医护理方案.pptx VIP
原创力文档

文档评论(0)