- 47
- 0
- 约2千字
- 约 14页
- 2019-09-30 发布于安徽
- 举报
否命题与命题的否定
关于反证法
紐绅中学
否命题是用否定条件也否定结论的方式构成新命题。
命题的否定是逻辑联结词“非”作用于判断,只否定结论不否定条件。
对于原命题: 若 p , 则 q 有
否命题: 若┐p , 则┐q 。
命题的否定: 若 p ,则┐q 。
例.命题:△ABC中,若∠C=90°,则∠A、∠B都是锐角.命题的否命题是( ),命题的否定是( )
(A)△ABC中,若∠C≠90°,则∠A、∠B都不是锐角
(B)△ABC中,若∠C≠90°,则∠A、∠B不都是锐角
(C)△ABC中,若∠C≠90°,则∠A、∠B都不一定是锐角
(D) △ABC中,若∠C=90°,则∠A、∠B不都是锐角
否命题与命题的否定
原词语
否定词
原词语
否定词
等于
任意的
是
至少有一个
都是
至多有一个
大于
至少有n个
小于
至多有n个
对所有x,成立
对任何x,
不成立
所有的
不是
不都是
不大于
大于或等于
一个也没有
至少有两个
至多有(n-1)个
至少有(n+1)个
存在某x,
不成立
存在某x,
成立
不等于
某个
某些
下面是一些常见词语的否定
证明命题的方法
方法一:直接法,从命题的条件p出发,经推理直接得出结论p,证明其为真命题;
方法二:等价法,证明命题(若p,则q)的等价命题——逆否命题(若┐q,则┐q)为真,则原命题也为真;
方法三:反证法,证明命题的否定(若p,则┐q)为假命题,从而间接地证明了命题(若p,则q)为真命题。
例1: 证明:若p+q>2,则p2+q2≠2.
证明一:要证“若p+q>2,则p2+q2≠2”
只需证它的逆否命题“若p2+q2=2,则p+q≤2”成立。
∵p2+q2=2,则2=p2+q2≥2pq ∴pq≤1
∴(p+q)2 =p2+q2+2pq=2+2pq ≤4
∴p+q ≤2 ∴逆否命题为真命题,
故原命题也为真命题。
证明二:假设p2+q2=2,则2=p2+q2≥2pq ∴pq≤1
∴(p+q)2 =p2+q2+2pq=2+2pq ≤4
∴p+q ≤2,这与命题的条件p+q>2相矛盾,
∴假设不成立,即p2+q2≠2,
故原命题为真命题。
(同题多解,学会等价法与反证法地灵活应用)
等价法
反证法
关于反证法
证明二(反证法):假设p2+q2=2,
则2=p2+q2≥2pq ∴pq≤1
∴(p+q)2 =p2+q2+2pq=2+2pq ≤4
∴p+q ≤2,
这与命题的条件p+q>2相矛盾,
∴假设不成立,即p2+q2≠2,
故原命题为真命题。
例1: 证明:若p+q>2,则p2+q2≠2.
假设原命题结论的反面成立
反证法的一般步骤:
假设命题的结论不成立,即假
设结论的反面成立;
从这个假设出发,经过推理论证,得出矛盾;
(3) 由矛盾判定假设不正确,
从而肯定命题的结论正确。
1、反证法证题时关键在第二步,如何导出矛盾。
2、导出矛盾有四种可能:
(1)与原命题的条件(题设)矛盾;
(2)与定义、公理、定理等矛盾;
(3)与结论的反面(反设)成立矛盾。
(1)难于直接使用已知条件导出结论的命题;
(2)唯一性命题;
(3)“至多”或“至少”性命题;
(4)否定性或肯定性命题。
3、反证法的使用范围:
使用反证法几点注意:
(4)在证明过程中,推出自相矛盾的结论。
反馈练习
x=a
x=b
x=a
(x-a)(x-b)=0
x=b
(x-a)(x-b)=0
x ≠a且x ≠b
用反证法证明,若(x-a)(x-b)≠0,则x ≠a且x ≠b.
或
例 2
证明:
例3:求证:圆的两条不是直径的相交弦不能平分。
已知:如图,在⊙O中,弦AB、CD交于P,且AB、CD不是直径.
求证:弦AB、CD不被P平分.
证明:假设AB、CD被P平分,
则OP是等腰△AOB, △COD的底边上的中线,
所以,OP⊥AB, OP⊥CD
但AB和CD都经过点P,且与OP
垂直,这是不可能的,
所以假设不成立,
故弦AB、CD不被P平分,
命题得证。
连结OA,OB,OC,OD及OP,
课堂小结
1.否命题与命题的否定:
(1)否命题:条件和结论都得否定;
(2)命题的否定:条件不否定,只否定结论;
2.证明命题的三种方法:直接法、等价法、反证法;
3.反证法就是通过否定命题的结论而导出矛盾来达到肯定命题的结论,完成命题的论证的一种数学证明方法。
作业:辅导资料
知识回顾Knowledge Rev
您可能关注的文档
最近下载
- 医疗影像智能诊断.docx VIP
- 陶瓷膜的制备与水处理.pptx VIP
- (高清版)-B-T 34590.6-2022 道路车辆 功能安全 第6部分:产品开发:软件层面.pdf VIP
- 智能医疗影像分析系统开发与应用.docx VIP
- Axio-Imager-M2显微镜使用手册.ppt VIP
- 2025至2030中国热电材料行业市场深度调研及竞争格局及有效策略与实施路径评估报告.docx VIP
- T_CSGPC 033-2024 陆上风电场设施变形测量技术规程.docx
- 93K测试机异常处理.docx VIP
- 93K新装机测试环境配置(1).pptx VIP
- 基于Spark的阿尔兹海默症辅助诊断系统的设计与实现.docx VIP
原创力文档

文档评论(0)