(共21张PPT)
全称量词与存在量词
一、命题的定义:能判断真假的陈述句.
“x>3” 是命题吗?
“存在一个实数x, 使得x>3” 是命题吗?
这样的短语称为量词
下列语句是命题吗?(1)与(3),(2)与(4)之间有什么关系?
(1)x>3;
(2)2x+1是整数;
(3)对所有的x∈R,x>3;
(4)对任意一个x∈Z,2x+1是整数.
语句(1)(2)不能判断真假,不是命题;
语句(3)(4)可以判断真假,是命题。
全称量词、全称量词命题定义:
短语“所有的”“任意一个”在逻辑中通常叫做全称量词,并用符号“ ”表示。
含有全称量词的命题,叫做全称量词命题。
常见的全称量词还有“一切” “每一个” “任给” “所有的”等.
全称量词命题符号记法:
通常,将含有变量x的语句用p(x), q(x), r(x),…表示,变量x的取值范围用M表示,
全称量词命题“对M中任意一个x,有p(x)成立 ”
可用符号简记为: x∈M, p(x)
读作“对任意x属于M,有p(x)成立”.
解:(1)假命题; (2)真命题; (3)假命题。
【例1】判断下列全称量词命题的真假:
(1)所有的素数都是奇数;
(2)
(3)对每一个无理数x,x2也是无理数。
15页第9题
小 结:
——需要对集合M中每个元素x,证明p(x)成立
——只需在集合M中找到一个元素x0,使得p(x0)不成立即可(举反例)
下列语句是命题吗 (1)与(3),(2)与(4)之间有什么关系?
(1)2x+1=3;
(2)x能被2和3整除;
(3)存在一个x0∈R,使2x+1=3;
(4)至少有一个x0∈Z,x能被2和3整除。
存在量词、存在量词命题定义:
短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词,并用符号“ ”表示。含有存在量词的命题,叫做存在量词命题。
常见的存在量词还有“有些”“有一个”
“对某个”“有的”等 。
语句(1)(2)不能判断真假,不是命题;
语句(3)(4)可以判断真假,是命题。
存在量词命题符号记法:
通常,将含有变量x的语句用p(x), q(x), r(x),…表示,变量x的取值范围用M表示,那么,
存在量词命题“存在M中的一个x,使p(x)成立 ”
可用符号简记为: x∈M, p(x)
读作“存在一个x属于M,使p(x)成立”。
解:(1)假命题; (2)假命题; (3)真命题。
【例2】判断下列存在量词命题的真假:
(1)有一个实数x0,使x02+2x0+3=0;
(2)平面内存在两条相交直线垂直于同一条直线;
(3)有些整数只有两个正因数。
16页第10题
小 结:
——需要证明集合M中,使p(x)成立的元素x不存在。
——只需在集合M中找到一个元素x0,使得p(x0) 成立即可
(举例证明)
(1)
(2)
(3)
(4)
1、判断下列命题的真假
16页第16题
1、对命题的进行否定,得到一个新的命题,称为原命题的否定
例如原命题:56是7的倍数
否定:56不是7的倍数
结论:一个命题和它的否定,只能“一真一假”
探究:写出下列命题的否定
(1)p:所有的矩形都是平行四边形;
(2)
2、对含有一个量词的全称量词命题的否定
探究:写出下列命题的否定
(1)p:有些平行四边形是菱形;
(2)
2、对含有一个量词的存在量词命题的否定
【例3】写出下列命题的否定:
(1)每一个素数都是奇数;
(2) x∈R,x2+x+1>0;
(3)平行四边形的对边相等;
(4) x∈R,x2-x+1=0;
“存在一个素数不是奇数”.
“存在平行四边形,
它的对边不相等”
17页第9、10题
【练习】求参问题
【练习】求参问题
【练习】将下列命题改写成含有一个量词的全称量词命题或存在量词命题,并写出它们的否定:(32页)
(1)平行四边形的对角线互相平分;
(2)三个连续整数的乘积是6的倍数;
(3)三角形不都是中心对称图形;
(4)一元二次方程不总有实数根;