全称量词与存在量词及含有一个量词的命题的否定

全称量词与存在量词及含有一个量词的命题的否定

ID:25967132

大小:659.00 KB

页数:22页

时间:2018-11-23

全称量词与存在量词及含有一个量词的命题的否定_第1页
全称量词与存在量词及含有一个量词的命题的否定_第2页
全称量词与存在量词及含有一个量词的命题的否定_第3页
全称量词与存在量词及含有一个量词的命题的否定_第4页
全称量词与存在量词及含有一个量词的命题的否定_第5页
资源描述:

《全称量词与存在量词及含有一个量词的命题的否定》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、1.4.1全称量词1.4.2存在量词1.4.3含有一个量词的命题的否定全称量词与存在量词及含有一个量词的命题的否定(1)对所有的实数x,都有x2≥0;(2)存在实数x,满足x2≥0;(3)至少有一个实数x,使得x2-2=0成立;(4)存在有理数x,使得x2-2=0成立;(5)对于任何自然数n,有一个自然数s使得s=n×n;(6)有一个自然数s使得对于所有自然数n,有s=n×n;下列命题中含有哪些量词?想一想??短语“所有的”“任意一个”在逻辑中通常叫做全称量词.用符号“  ”表示。含有全称量词的命题,叫做全称命题。是整数是整数常见的全称量词还有“一切”“

2、每一个”“任给”“所有的”等.(2)总有,因而.所以全称命题是真命题.解(1)2是素数,但2不是奇数.所以全称命题“所有的素数都是奇数”是假命题.是无理数,但是有理数.所以全称命题“对每一个无理数x,也是无理数”是假命题.1.4.2存在量词想一想??短语“存在一个”“至少一个”在逻辑中通常叫做存在量词.用符号“  ”表示。含有存在量词的命题,叫做特称命题。常见的存在量词还有“有些”“有一个”“对某个”“有的”等.解:(1)由于因此使的实数x不存在.所以,特称命题“有一个实数x,使”是假命题.(2)由于垂直于同一条直线的两个平面是互相平行的,因此不存在两个

3、相交平面垂直于同一条直线.所以,特称命题“存在两个相交平面垂直于同一条直线”是假命题.(3)由于存在整数3只有两个正因数1和3,所以,特称命题“存在两个相交平面垂直于同一条直线”是假命题.1.判断下列命题的真假:(1)(2)(3)(4)练习P23情景一设p:“平行四边形是矩形”(1)命题p是真命题还是假命题(2)请写出命题p的否定形式(3)判断¬p的真假命题的否定的真值与原来的命题.而否命题的真值与原命题.相反无关矛盾设p:“平行四边形是矩形”情景一你能否用学过的“全称量词和存在量词”来解决上述问题可以在“平行四边形是矩形”的前面加上全称量词,变为p:“

4、所有的平行四边形是矩形”¬p:“并非所有的平行四边形都是矩形”也就是说,¬p:“存在一个平行四边形不是矩形”假命题真命题(平行四边形不都是矩形)含有一个量词的全称命题的否定,有下面的结论全称命题它的否定从形式看,全称命题的否定是特称命题。新课讲授共情景二对于下列命题:存在有理数,使;有些实数的绝对值是正数。尝试对上述命题进行否定,你发现有什么规律?想一想?从形式看,特称命题的否定都变成了全称命题.含有一个量词的特称命题的否定,有下面的结论特称命题它的否定写称题问题讨论写出下列命题的否定形式.(1)q:四条边相等的四边形是正方形.(2)r:奇数是质数.解答

5、(1)¬q:四条边相等的四边形不是正方形.(2)¬r:奇数不是质数.以上解答是否错误,请说明理由.注:非p叫做命题的否定,但“非p”绝不是“是”与“不是”的简单演绎。因注意命题中是否存在“全称量词”或“特称量词”变式练习巩固训练回顾反思要判断一个特称命题为真,只要在给定的集合中找到一个元素x,使命题p(x)为真;要判断一个特称命题为假,必须对在给定集合的每一个元素x,使命题p(x)为假。要判断一个全称命题为真,必须对在给定集合的每一个元素x,使命题p(x)为真;但要判断一个全称命题为假时,只要在给定的集合中找到一个元素x,使命题p(x)为假。含有一个量词

6、的命题的否定结论:全称命题的否定是特称命题特称命题的否定是全称命题今日作业:训练与测评P7:1-10同步测控(大练习册)P11随堂练习1,2,3,4,5,

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。