版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、1.4.2 含有一个量词的命题的否定,2020年7月26日星期日,全称命题 “对M中任意一个x,有p(x)成立”,符号简记为: xM,p(x),读作:对任意x属于M,有p(x)成立,集合,复习回顾,特称命题“存在M中的一个x,使p(x)成立”,符号简记为: xM ,p(x),读作:“存在一个x属于M,使p(x)成立”,含有全称量词的命题,叫做全称命题,含有存在量词的命题,叫做特称命题,要判定全称命题“ xM, p(x) ”是真命题,,判断全称命题和特称命题真假,要判定特称命题 “ xM, p(x)”是真命题,,复习回顾,需要对集合M中,每个元素x, 证明p(x)成立;如果在集合M中找到一个元素
2、x0,使 得p(x0)不成立,那么这个全称命题就是假命题,只需在集合M中找到一个元素 ,使p( )成立即可,如果在集合 M中,使p(x)成立的元素x不存在,则 特称命题是假命题,情景一,设p:“平行四边形是矩形”,(1)命题p是真命题还是假命题 (2)请写出命题p的否定形式 (3)判断p的真假,命题的否定的真值与原来的命题 . 而否命题的真值与原命题 .,相反,无关,矛盾,p:“所有的平行四边形是矩形”,p:“不是所有的平行四边形是矩形”,也就是说“存在至少一个平行四边形它不是矩形”,所以,p : “存在平行四边形不是矩形”,假命题,真命题,探究:,设p:“平行四边形是矩形”,(1)命题p是真
3、命题还是假命题 (2)请写出命题p的否定形式 (3)判断p的真假,情景二,对于下列命题:,1)所有的人都喝水; 2)每一个素数都是奇数 3)对所有实数都有 。,尝试对上述命题进行否定,你发现有什么规律?,想一想?,含有一个量词的全称命题的否定,有下面的结论,全称命题,它的否定,从形式看,全称命题的否定是特称命题。,新课讲授,2)p:每一个四边形的四个顶点共圆;,情景二,对于下列命题:,存在有理数,使 ; 有些实数的绝对值是正数。,尝试对上述命题进行否定,你发现有什么规律?,想一想?,从形式看,特称命题的否定都变成了全称命题.,含有一个量词的特称命题的否定,有下面的结论,特称命题,它的否定,问题讨论,写出下列命题的否定形式 (1)q:四条边相等的四边形是正方形 (2)r:奇数是质数 解答 (1)q:四条边相等的四边形不是正方形 (2)r:奇数不是质数 以上解答是否错误,请说明理由,注:非p叫做命题的否定,但“非p”绝不是“是”与“不是”的简单 演绎。因注意命题中是否存在“全称量词”或“特称量词”,变式练习,巩固训练,小结,含有一个量词的命题的
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2026年福建省福清市《行测》考试模拟试卷附参考答案详解【能力提升】
- 2026年湖北省仙桃市《行测》考试考前冲刺密卷附参考答案详解(典型题)
- 2026年河北省三河市《行测》考试备考题库及答案详解(考点梳理)
- 2025年湖南省浏阳市《行测》考试考前冲刺试卷含答案详解【突破训练】
- (2026版)学校安全隐患排查自查报告
- 2025年福建省石狮市《行测》考试笔试题库【满分必刷】附答案详解
- 2026年浙江省乐清市《行测》考试模拟试卷含完整答案详解(必刷)
- 2025年河北省迁安市《行测》考试考前冲刺试卷(名校卷)附答案详解
- 2026年山西省永济市《行测》考试模拟试卷及参考答案详解【突破训练】
- 2026年黑龙江省富锦市《行测》考试模拟试卷【考试直接用】附答案详解
- 人教版七年级劳动教育上册全册教案
- 《转化医学概述》课件
- 家庭教育讲师班培训
- AI在电商行业中的应用
- 重卡换电站可行性研究报告
- 犬猫产科疾病 子宫蓄脓(宠物疾病防治课件)
- 初中完形填空专项训练40篇(含答案)
- 弹性力学有限元法详解
- JJF 1610-2017电动、气动扭矩扳子校准规范
- GB/T 15969.1-2007可编程序控制器第1部分:通用信息
- 首末件检验报告
评论
0/150
提交评论