导入新课在第一小节中,我们已经学习过如何判断一条语句是不是命题,现在大家一起判断一下下列句子是否是命题,(1)与(3),(2)与(4)之间有什么关系
(1)x>3;(2)2x+1是整数;(3)对所有的xR∈,x>3;(4)对任意一个xZ∈,2x+1是整数
解:语句(1)(2)不能判断真假,所以不是命题;语句(3)(4)可以判断真假,所以是命题
我们可以看出(3)(4)是在(1)(2)的基础上分别加了短语“对所有的”“对任意一个”,对变量进行限定,使得它能判断真假,成为命题
这就是我们接下来要学习的全称量词
继续解答在许多命题中,都会出现“对所有的”“对任意一个”这样的短语,这样的短语就是全称量词
全称量词(universalquantifier)的定义:短语“所有的”“任意一个”在逻辑中通常叫做全称量词,并用符号“”表示
小小提示:常见的全称量词还有“一切”“每一个”“任给”“所有的”等
含有全称量词的命题,叫做全称命题
例如:命题“对任意的nZ∈,2n+1是奇数”;“所有的正方形都是矩形”都是全称命题
通常,将含有变量x的语句用p(x),q(x),r(x),…表示,变量x的取值范围用M表示
那么,全称命题“对M中任意一个x,有p(x)成立”可以用符号简记为x∈M,p(x)读作“对任意x属于M,有p(x)成立”
对给定的全称命题,如何判断它的真假呢
一起来看看下面的例题一起来看看下面的例题例1:判断下列全称命题的真假:(1)所有的素数是奇数;(2)x∈R,x2+1≥1;(3)对每一个无理数x,x2也是无理数
分析命题(1)中,2是素数,但是2不是奇数,所以为假命题;命题(2)中,x∈R,总有x2≥0,因而x2+1≥1,所以为真命题;命题(3)中,是无理数,但()2=2是有理数,所以为假命题
22继续解答解:(1)此命题为假命题;(2)此命题为真命题;(3)此命题为假