全称量词与存在量词1
1全称量词思考:下列语句是命题吗
(1)与(3)(2)与(4)之间有什么关系
(1)x>3;(2)2x+1是整数;(3)对所有的,xRX>3;(4)对任意一个xZ,2x+1是整数
我们知道,命题是可以判断真假的陈述句
语句(1)(2)含有变量x,由于不知道x代表什么数,无法判断它们的真假,因而不是命题
语句(3)(4)用短语“对所有的”、“对任意一个”对变量x进行限定,从而成为可以判断真假的语句,因此是命题
短语“对所有的”、“对任意一个”在逻辑中通常叫做全称量词,并用符号“”表示
含有全称量词的命题,叫做全称命题常见的全称量词还有:“对一切”,“对每一个”,“任给”,“所有的”等例如,命题:对任意的,21nZn是奇数;所有的正方形都是矩形,都是全称命题
M通常,将含有变量x的语句用p(x)、q(x)、r(x)表示,变量x的全称命题“对中任意一个x,取值范围有p(x用M表示
读作“任意x属于M,有P(x)成立”
简记为:xM,p(x)例1判断下列全称命题的真假:1)所有的素数都是奇数;2,11;xRx2)23)对每一个无理数x,x也是无理数
解:(1)2是素数,但2不是奇数
所有全称命题“所有的素数都是奇数”是假命题
(2),xR总有20x因而211
x所以,全称命题“2,11xRx”是真命题
(3)2是无理数,但2(2)2是有理数所以,全称命题“对每一个无理数x,2x也是无理数”是假命题1
2存在量词想一想
13241)2132)233),2134),23xxxRxxZx下列语句是命题吗
)与),)与)之间有什么关系
;能被和整除;存在一个使;至少有一个能被和整除
短语“存在一个”“至少一个”在逻辑中通常叫做存在量词.用符号“”表示
含有存在量词的命题,叫做特称命题