




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、第一章第一章 常用逻辑用语常用逻辑用语3 全称量词与存在量词全称量词与存在量词教学目的教学目的 1.了解量词在日常生活中和数学命题中的运用,正确了解全称量词和存在了解量词在日常生活中和数学命题中的运用,正确了解全称量词和存在量词的意义,并能运用两类量词表达数学内容;量词的意义,并能运用两类量词表达数学内容; 2. 熟练判别全称命题与特称命题,并能判别其真假熟练判别全称命题与特称命题,并能判别其真假. 3. 能写出全称命题与特称命题的否认能写出全称命题与特称命题的否认.教学重点教学重点 全称命题与特称命题的真假全称命题与特称命题的真假.教学难点教学难点 全称命题与特称命题的否认全称命题与特称命题
2、的否认.察看思索察看思索: 以下语句是命题吗以下语句是命题吗?方式上有什么特方式上有什么特点点?1中国一切的江河都流入太平洋;2每一个有理数都能写成分数的方式;3恣意实数x, 都有 ;4假设直线l垂直于平面内的恣意一条直线, 那么直线l垂直于 平面;5一切三角形的内角和都等于180.22x 在以上命题的条件中,在以上命题的条件中,“一切一切“每一个每一个“恣意恣意“恣意一条恣意一条“一切都是在指定范围内,表示整体或全部的含义,这样的一切都是在指定范围内,表示整体或全部的含义,这样的词叫作全称量词词叫作全称量词,并用符号并用符号 “ 表示表示.我们把含有全称量词的命我们把含有全称量词的命题题,叫
3、作全称命题叫作全称命题.符号表示:全称命题符号表示:全称命题“对对M中恣意一个中恣意一个x,有,有p(x)成立可用符号简记为成立可用符号简记为读作对恣意读作对恣意x属于属于M,有有p(x)成立成立.,( )xM p x 例例1.以下命题能否为全称命题?并判别其以下命题能否为全称命题?并判别其真假真假: (1)一切的自然数都是整数一切的自然数都是整数; (2) (3)对每一个无理数对每一个无理数x, x2也是无理数也是无理数; (4)没有一个实数没有一个实数,使,使tan无意义无意义.11,2xRx是,真命题是,真命题是,假命题是,假命题 断称题, ( )题:xM p x判判全全命命是是真真命命
4、的的方方法法需求对集合需求对集合M中每个元素中每个元素x,证明证明p(x)成立成立. 断称题, ( )题:xM p x判判全全命命是是假假命命的的方方法法只需在集合只需在集合M中找到一个元素中找到一个元素x0,使得使得p(x0) 不成立刻可举反例不成立刻可举反例.再察看思索再察看思索: 以下语句是命题吗以下语句是命题吗?方式上有什么特方式上有什么特点点? 在以上命题中,在以上命题中,“有些有些“至少有一个至少有一个“有一个有一个“存在都有存在都有表示个别或一部分的含义,这样的词叫作存在量词,并用符号表示个别或一部分的含义,这样的词叫作存在量词,并用符号“ 表示。我们把含有存在量词的命题,叫作特
5、称命题。表示。我们把含有存在量词的命题,叫作特称命题。符号表示:特称命题符号表示:特称命题“在在M中存在一个中存在一个x,使,使p(x)成立可用符号简记为成立可用符号简记为读作读作“在在M中存在一个中存在一个x,使,使p(x)成立成立, ( ).xM p x 例例2.以下命题能否为特称命题?并判别其以下命题能否为特称命题?并判别其真假真假: (1)有的平行四边形是菱形有的平行四边形是菱形; (2)有一个素数不是奇数有一个素数不是奇数; (3)存在一个存在一个x R,使使 ; (4)有一些实数不能取对数有一些实数不能取对数.是,真命题是,真命题是,假命题是,真命题1-2x00断题, ()题:xM
6、 p x判判存存在在性性命命是是真真命命的的方方法法需求证明集合需求证明集合M中中,使使p(x)成立的元素成立的元素x不存在不存在.只需在集合只需在集合M中找到一个元素中找到一个元素x0,使得使得p(x0) 成成立刻可立刻可 (举例阐明举例阐明).00断题, ()假题:xM p x判判存存在在性性命命是是命命的的方方法法全称命题,真命题特称命题,真命题全称命题,真命题特称命题,真命题变式变式5 6至少有一个实数既是分数又是无理数;至少有一个实数既是分数又是无理数;1,2xNx全称命题的否认是特称命题.特称命题的否认是全称命题.反之,反之,“存在某个素数不是奇数的否认存在某个素数不是奇数的否认是
7、是“一切的素数都是奇数一切的素数都是奇数“一切的素数都是奇数的否认一切的素数都是奇数的否认是是“存在某个素数不是奇数存在某个素数不是奇数解:解:1 1“奇数是整数指奇数是整数指“一切的奇数都是整数,所以它是一切的奇数都是整数,所以它是全称命题全称命题, ,其否认是其否认是“有一个奇数不是整数;有一个奇数不是整数; 2 2“至少有一个素数不是奇数是特称命题,其否认是至少有一个素数不是奇数是特称命题,其否认是“一切一切素数都是奇数;素数都是奇数; 3 3“偶数能被偶数能被2 2整除指整除指“每一个偶数都能被每一个偶数都能被2 2整除,所以它整除,所以它是全称命题;其否认是是全称命题;其否认是“至少
8、有一个偶数不能被至少有一个偶数不能被2 2整除;整除; 4 4“有的实数,不能作除数是特称命题,其否认是有的实数,不能作除数是特称命题,其否认是“一切的一切的实数都能作除数;实数都能作除数; Ax)(xpAx)(xpAx)(xpAx)(xpAx)(xpAx)(xpAx)(xpAx)(xpAx)(xpAx)(xp .,成立使xpMx .,0成立使xpMx .,不成立使xpMx .,0不成立使xpMx 课本练习:写出以下命题的否认:课本练习:写出以下命题的否认:1三个数三个数-3,2.5, 中,至少有一个中,至少有一个数不是自然数;数不是自然数;2对恣意一个实数对恣意一个实数x,都有都有2x+40。解:解:1三个数三个数-3,2.5,2中,恣意一个都是没中,恣意一个都是没有一个不是自然数。有一个不是自然数。 2存在一个实数存在一个实数x,使得使得2x+40。2关键词关键词否定词否定词关键词关键词否定词否定词完成导学案随堂演练完成导学案随堂演练课堂小结:课堂小结: 3.对全称命题、特
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025年对赌协议期末考试模板
- 2025年赔偿谅解协议
- 2023三年级数学上册 二 快乐大课间-两位数乘一位数 信息窗1 团体操-两位数乘一位数(进位)的笔算教学实录 青岛版六三制
- 2025年江西货运从业资格证模拟考试0题及答案解析
- 2025年垃圾收转装备项目合作计划书
- 2025年拉萨货运从业资格证考试题库及答案
- 2025年山东资格证模拟考试
- 护理质控护士述职报告
- 2025年宣城货运上岗证考试题库答案
- 2025年伊春道路货运从业资格证模拟考试
- 个人无偿劳务合同模板
- 钣金车间安全培训课件
- 混凝土工安全教育培训试题及答案
- Python程序设计(2022秋)学习通超星期末考试答案章节答案2024年
- 2025年蛇年年度营销日历营销建议【2025营销日历】
- 2024年黑龙江哈尔滨“丁香人才周”(秋季)事业单位引才招聘2074人易考易错模拟试题(共500题)试卷后附参考答案
- 汽车维修接待课件 任务2.1 主动预约客户
- ISO22301新版标准翻译(中英对照)
- 公司事故隐患内部报告奖励机制
- 2024年AI大模型场景探索及产业应用调研报告-前瞻
- 学术论文的撰写方法与规范
评论
0/150
提交评论