2.存在量词与特称命题 (1)存在量词:短语“_存__在__一__个__”“至少有一个”在逻辑中通 常叫做存在量词,并用符号“_∃__”表示. (2)特称命题:含有_存__在__量__词__的命题叫做特称命题. (3)符号表示:符号简记为:_∃_x_0_∈__M_,_p_(_x_0_)_, 读作:“存在一个x0属于M,使p(x0)_成__立__”.
【典例1】
(1)命题“自然数的平方大于零”是
命题(填“全称”
或“特称”),其省略的量词是
.
(2)判断下列命题是全称命题,还是特称命题.
①凸多边形的外角和等于360°;
②有一个实数a,a不能取对数;
③任何数的0次方都等于1.
【解题探究】1.题(1)中的自然数是指哪些数? 2.题(2)①中省略了什么量词?命题②③中分别含有什么量词? 【探究提示】1.指的是所有的自然数. 2.命题①中省略了量词“所有的”,命题②③中分别含有量词 “有一个”“任何”.
2
②真命题.例如,α= ,β= ,符合题意.
4
2
③假命题.例如,x=1,y=5,x-y=-4∉N.
【方法技巧】全称命题与特称命题的真假判断的技巧 (1)全称命题的真假判断 要判定一个全称命题是真命题,必须对限定集合M中的每个元素 x验证p(x)成立;但要判定全称命题是假命题,却只要能举出集合 M中的一个x=x0,使得p(x0)不成立即可(这就是通常所说的 “举出一个反例”).
【微思考】 (1)同一个全称命题的表述是否是惟一的? 提示:不惟一,对于同一个全称命题,由于自然语言不同,可以有不 同的表述方法,只要含义正确即可.
(2)全称命题中的“x,M与p(x)”表达的含义分别是什么? 提示:元素x可以表示实数、方程、函数、不等式,也可以表示几 何图形,相应的集合M是这些元素的某一特定的范围.p(x)表示 集合M的所有元素满足的性质.如“任意一个自然数都不小于 0”,可以表示为“∀x∈N,x≥0”.