4全称量词与存在量词(一)思考下列语句是命题吗
⑴与⑶,⑵与⑷之间有什么关系
⑴x>3;⑵2x+1是整数;⑶对所有的xR∈,x>3;⑷对任意一个xZ∈,2x+1是整数
全称量词与全称命题短语“所有的”“任意一个”在逻辑中通常叫做全称量词,用符号“”表示
含有全称量词的命题,叫做全称命题1、全称量词与全称命题常见的全称量词常见的全称量词::“对一切”、“对每一个”、“对一切”、“对每一个”、““任给”、“所有的”、“任意”、“每一个”、任给”、“所有的”、“任意”、“每一个”、““全部”等全部”等如:(5)对所有的x∈R,x>3;可简记为:x∈R,x>3;(6)对任意一个x∈Z,2x+1是整数
可简记为:x∈Z,2x+1∈Z2、符号语言表述全称命题全称命题:“对M中任意一个x,有p(x)成立”可用符号简记为xM,p(x)∈读作“对任意x属于M,有p(x)成立”解:(1)假命题;(2)真命题;(3)假命题例1
判断下列命题的真假(1)所有的素数都是奇数(2)x∈R,x2+1≥0(3)对每一个无理数x,x2也是无理数小结:判断全称命题是真命题的方法判断全称命题“xM,p(x)”∈是假命题的方法——需要对集合M中每个元素x,证明p(x)成立——只需在集合M中找到一个元素x0,使得p(x0)不成立即可(举反例)全称量词与全称命题反例否定思考下列语句是命题吗
⑴与⑶,⑵与⑷之间有什么关系
⑴2x+1=3;⑵x能被2和3整除;⑶存在一个x0R∈,使2x0+1=3;⑷至少有一个x0Z∈,x0能被2和3整除
存在量词与特称命题短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词
含有存在量词的命题,叫做特称命题
1、存在量词与特称命题常见的存在量词:“有些”、“有一个”、“有的”,“对某个”等
如:存在实数x,满足;可简记为:02x0,2xRx2、符号语言表述特称命