内容正文:
1.5 全称量词与存在量词
2019人教版 高中数学必修一
2课时
问题1.下列语句是命题吗?(1)与(3),(2)与(4)之间有什么关系?
(1)x>3;
(2)2x+1是整数;
(3)对所有的x∈R,x>3;
(4)对任意一个x∈Z,2x+1是整数.
(3)在(1)的基础上,用量词“所有的”对变量 x进行限定;
(4)在(2)的基础上,用量词“对任意一个”对 变量x进行限定.
情境导入
(1)短语“所有的”“任意一个”在逻辑中通常叫做(全称量词)并用符号“∀”表示.
(2)含有全称量词的命题,叫做全称量词命题.
常见全称量词:“任意一个”、“一切”、“每一个”、“任给”、“所有的”“凡是”等.
(3)全称命题的表述形式:
对M中任意一个x,有p(x)成立。
可简记为:∀x∈M,p(x).
读作“对任意x属于M,有p(x)成立”.
1.全称量词与全称命题
例1.判断下列全称量词命题的真假.
(1) 所有的素数都是奇数;
(2)∀x ∈ R, |x|+1≥1;
(3) 对每一个无理数x,x²也是无理数。
问题2:下列语句是命题吗?(1)与(3),(2)与(4)之间有什么关系?
(1)2x+1=3
(2)x能被2和3整除;
(3)存在一个x∈R,使2x+1=3;
(4)至少有一个x∈Z,x能被2和3整除.
关系:
(3)在(1)的基础上,用短语“存在一个”对变量x的取值进行限定,使(3)变成了可以判断真假的语句;
(4)在(2)的基础上,用“至少有一个”对变量x的取值进行限定,从而使(4)变成了可以判断真假的语句.
情境导入
2.存在量词与存在量词命题
(1)短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词,并用符号“∃”表示.
(2)含有存在量词的命题,叫做存在量词命题.
常见存在量词:“存在”,“至少有一个”,“有一个”,“有一些”,“对某些”等
(3)存在量词命题的表述形式:
存在M中的一个x,使p(x)成立。
可简记为∃x∈M,p(x):,
读作“存在M中的元素x,使p(x)成立”.
例2:判断下列存在量词命题的真假 ,
(1)有一个实数x,使x²+2x+3=0;
(2)平面内存在两条相交直线垂直于同一条直线;
(3)有些平行四边形是菱形.
答案:(1)假命题,(2)假命题 (3)真命题
思考:存在量词命题的真假判断有什么规律?
综合练习:判断下列命题是全称量词命题还是存在量词命题,并判断它们的真假。
(1)每个四边形的内角和都是360°;
(2)存在一个四边形,它的两条对角线互相垂直;
(3)任何实数都有算术平方根;
(4)至少有一个整数n,使得n²+n为奇数;
(5)∃x∈{y|y是无理数},x²是无理数.
(6)∀x∈{ x|x是无理数},x³是无理数.
一般地,对一个命题进行否定,就可以得到一个新的命题,这一新命题称为原命题的否定.
问题1:我们如何对一个命题进行否定呢?一个命题和它的否定之间是什么关系呢?
否定
空集不是集合A={1,2,3}的真子集
56是7的倍数
否定
56不是7的倍数
空集是集合A={1,2,3}的真子集
一个命题和它的否定不能同时为真命题,也不能同时为假命题,只能一真一假.
探究 写出下列命题的否定,并分析它们与原命题在形式上有什么变化?
(1)所有的正方形都是平行四边形;
(2)每一个合数都是偶数;
(3).
(1)的否定是“并非所有的正方形都是平行四边形”,即 存在一个正方形不是平行四边形;
(2)的否定是“并非每一个合数都是偶数”,即存在一个合数不是偶数;
(3)的否定是“并非所有的. ”,即
全称量词命题的否定
从命题形式看,这三个全称量词命题的否定都变成了存在量词命题.
一般来说,对含有一个量词的全称量词命题进行否定,只需把“所有的”“任意一个”等全称量词,变成“并非所有的”“并非任意一个”等短语即可.也就是说,假定全称量词命题为“)”,则它的否定为“并非) ”,也就是“不成立”.通常,用符号“)”表示“)不成立”.
全称量词命题:),
它的否定:
否定全称量词命题的步骤
2)否定结论:把全称量词命题的结论否定
1)更换量词:把全称量词变成存在量词
全称量词命题的否定是存在量词命题.
例3.写出下列全称量词命题的否定:
(1)所有能被3整除的整数都是奇数;
(2)每一个四边形的四个顶点在同一个圆上;
(3)对任意,的个位数字不等于3.
解: (1)该命题的否定:存在一个能被3整除的整数不是奇数.
(2)该命题的否定:存在一个四边形的四个顶点不在同一个圆上.
(3)该命题的否定:,的个位数字等于3.
思考2:写出下列命题的否定:
(1)存在一个实数的绝对值是正数;
(2)有些平行四边形是菱形;
(3),
,
问题2:这三个命题是什么类型的命题?
它们的否定是什么类型的命题?
全称量词命题
存在量词命题
每一个平行四边形都不是菱形
所有实数的绝对值都不是正数
存在量词命题的否定
一般来说,对含有一个量词的存在量词命题进行否定,只需把“存在一个”“至少有一个”“有些”等存在量词,变成“不存在一个”“没有一个”等短语即可.也就是说,假定存在量词命题为“)”,则它的否定为“不存在) ”,也就是“不成立”.通常,用符号“)”表示“)不成立”.
存在量词命题:),
它的否定:
否定存在量词命题的步骤
2)否定结论:把存在量词命题的结论否定
1)更换量词:把存在量词变成全称量词
存在量词命题的否定是全称量词命题.
例4. 写出下列存在量词命题的否定:
(1);
(2)有的三角形是等边三角形;
(3)有一个偶数是素数.
解: (1)该命题的否定:.
(2)该命题的否定:所有的三角形都不是等边三角形.
(3)该命题的否定:任意一个偶数都不是素数.
例5. 写出下列命题的否定,并判断真假:
(1)任意两个等边三角形都相似;
(2).
解: (1)该命题的否定:存在两个等边三角形,它们不相似.
因为任意两个等边三角形的三边成比例,所以任意两个等边三角形都相似.因此这是一个假命题.
(2)该命题的否定:.
因为对任意,所以这是一个真命题.
常见词语的否定形式
原词语 否定词语 原词语 否定词语
是 不是 至少有一个 一个也没有
都是 不都是 至多有一个 至少有两个
大于 不大于 至少有n个 至多有(n-1)个
小于 不小于 至多有n个 至少有(n+1)个
任意的 某个 能 不能
所有的 某些 等于 不等于
总结起来八个字“改变量词,否定结论”
课堂小结
1.全称量词命题的否定
3.由含量词命题的真假求参数的范围
2.存在量词命题的否定
命题 命题的否定
全称量词命题 存在量词命题
存在量词命题 全称量词命题
$