版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1.1命题及其关系
歌德是18世纪德国的一位著名文艺大师,一天,他与一位批评家“狭路相逢”,这位文艺批评家生性古怪,遇到歌德走来,不仅没有相让,反而卖弄聪明,一边高傲地往前走。一边大声说道:“我从来不给傻子让路!”而对如此尴尬的局面,歌德只是笑容可掬,谦恭的闪在一旁,一边有礼貌回答道“呵呵,我可恰恰相反!”结果故作聪明的批评家,反倒自讨没趣。情境引入
(1)2+4=7;(2)若x²=1,则x=1
(3)两个全等的三角形的面积相等.;(4)3能被2整除.
命题问题1:以下的表述形式即为数学领域中的命题,他们的表述形式有什么特点?请根据下例给出命题的定义:
问题2:(★)数学中的命题是怎样构成的?一般形式是什么?问题3:如何判断一个语句是否是命题?问题4:以上语句中判断为真的有:
;判断为假的有:
;问题5:(★)怎样判断一个数学命题的真假?
用语言、符号或式子表达的,可以判断真假的陈述句叫做命题。判断为真的语句叫做真命题。判断为假的语句叫做假命题。
(1)2+4=7;(2)若x²=1,则x=1
(3)两个全等的三角形的面积相等.;(4)3能被2整除.
命题例1判断下面的语句是否为命题?若是命题,指出它的真假。(1)空集是任何集合的子集.(2)若整数a是素数,则a是奇数.(3)指数函数是增函数吗?(4)若平面上两条直线不相交,
则这两条直线平行.(6)x>15.(是,真)(是,真)(是,假)(是,假)(不是命题)(不是命题)(5)例2指出下列命题中的条件p和结论q,
并判定真假若整数a能被2整除,则a是偶数;若四边形是菱形,则它的对角线互相垂直且平分.解:1)条件p:整数a能被2整除,结论q:整数a是偶数。
2)条件p:四边形是菱形,结论q:四边形的对角线互相垂直且平分。真命题真命题2023/2/2原命题若p则q逆命题若q则p否命题若¬p则¬q逆否命题若¬q则¬p互逆互逆互否互否互为逆否互为逆否二、四种命题间的相互关系例3、写出下列命题的逆命题、否命题与逆否命题,并判断它们的真假.逆命题:若x>0,则x>10.否命题:若x≤10,则x≤0.逆否命题:若x≤0,则x≤10.(真)(真)(假)(假)(1)若x>10,则x>0.(2)若x2-3x+2=0,则x=2.逆命题:若x=2,则x2-3x+2=0.(假)(假)(真)(真)否命题:若x2-3x+2≠0,则x≠2.逆否命题:若x≠2,则x2-3x+2≠0.(3)若a,b都是偶数,则a+b是奇数.逆命题:若a+b是奇数,则a,b都是偶数.否命题:若a,b不都是偶数,则a+b不是奇数.逆否命题:若a+b不是奇数,则a,b不都是偶数.(假)(假)(假)(假)四种命题的真假性原命题逆命题否命题逆否命题真真真真真假假真假真真假假假假假观察(1)两个命题互为逆否命题,它们有相同的真假性。总结:(2)两个命题为互逆命题或互否命题,它们的真假性没有关系.分析:可证明与其等价的逆否命题证明:例4
证明:若,则(因此,原命题的逆否命题为真命题,从而原命题也为真命题)这已知条件
矛盾,故假设结论不成立推理证明,得出矛盾得证练一练证明:若a2-b2+2a-4b-3≠0,则a-b≠11.命题“若x>0且y>0,则xy>0”的否命题是().A.若x≤0,y≤0,则xy≤0。B.若x>0,y>0,则xy≤0。C.若至少有一个不大于0,则xy<0。D.若至少有一个不大于0,则xy≤0。三、课堂练习D2.命题“如果x≥a2+b2,那么x≥2ab”的逆否命题是()A.如果x<a2+b2
,那么x<2ab。B.如果x≥2ab,那么x≥a2+b2
。C.如果x<2ab,那么x<a2+b2
。D.如果x≥a2+b2
,那么x<2ab。C3.用反法证明命题“是无理数”时,假设正确的是().A.假设是有理数B.假设是有理数C.假设或是有理数D.假设是有理数D4.下列说法正确的是().(1)原命题为真,它的逆命题为真。(2)原命题为真,它的逆否命题为真。(3)一个命题的逆命题为真,它的否命题一定为真。(4)一个命题的逆否命题为真,它的否命题一定为真。
A.(1)(2)
B.(2)(3)
C.(3)(4)
D.(2)(3)(4)B原命题若p则q逆命题若q则p否命题若﹁p则﹁q逆否命题若﹁q则﹁p互为逆否同真同假互为逆否同真同假互逆命题真假无关互逆命题真假无关互否命题真假无关互否命题真假无关1、四种命题的相互关系五、课堂小结2、反证法的步骤:(1)假设命题的结论不成立,即假设结论的反面成立。(2)从这个假设出发,通过推理论证,得出矛盾。(3)由矛盾判定假设不正确,从而肯定命题的结论正确。推理过程中一定要用到才行显而易见的矛盾(如
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 农村赠送土地合同范例
- 房屋土地出卖合同范例
- 天津渤海职业技术学院《新闻与传播学》2023-2024学年第一学期期末试卷
- 服装门店入股合同范例
- 学员注册合同范例
- 形象代言人合同范例范例
- 继电保护中级习题库及参考答案
- 展会期间合同范例
- 2025年石家庄货运从业资格证考试题目和答案
- 小麦市场购销合同范例
- 外研版七年级英语上册《阅读理解》专项练习题(含答案)
- CJT 233-2016 建筑小区排水用塑料检查井
- 母婴保健生化免疫题库
- 电影音乐欣赏智慧树知到期末考试答案章节答案2024年华南农业大学
- 新旧物业公司交接管理流程
- 2024年高考物理江苏卷试卷评析及备考策略(课件)
- 专题08:文言文比较阅读(原卷版)-2022-2023学年七年级语文下学期期中专题复习(浙江专用)
- 铁路项目施工组织设计实例
- 大学生心理健康与发展(高等院校心理健康教育)全套教学课件
- 广东省佛山市南海区2023-2024学年九年级上学期期末考试模拟卷
- DB43-T 2927-2024 中医护理门诊建设与管理规范
评论
0/150
提交评论