存在量词
短语“_存__在__一__个__” “至少有一个”在 逻辑中通常叫做存 在量词,并用符号 “_∃__”表示
特称命题
含有_存__在__量__词__ 的命题叫做特 称命题
符号表示
符号简记为: __∃_x_0_∈__M_,_p_(_x_0)_,_ 读作:“存在M中的元 素x0,使p(x0)_成__立__”
【典型例题】
1.特称命题“∃x0∈R, x02<x0”是
命题(填真、假).
2.用存在量词将下列语句写成特称命题,并判断真假:
(1)2sinx0=3能成立. (2)素数也可以是偶数.
(3)公比大于1的等比数列可以是递减数列.
【解题探究】1.题1中使不等式成立的未知数的范围是什么? 2.特称命题的形式是什么? 探究提示: 1.不等式化为x0(x0-1)<0,即0<x0<1,故不等式成立. 2.特称命题的一般形式为“∃x0∈M,p(x0)”.
探究提示: 1.全称命题的一般形式为“∀x∈M,p(x)”. 2.若某一集合存在不满足某一性质的反例,则全称命题是假命 题,不存在反例,就是真命题. 【解析】1.选B.由于x=0时,x2=0,故A假;任意有理数的平方都 是有理数,故B真;选项C为特称命题;由于,当x=y=0 时,x2+y2=0,故D假.综上所述,选B. 2.(1)∀x∈R,x2+2x+3≥2.x2+2x+3=(x+1)2+2≥2.真命题. (2)所有的负数都没有对数.真命题. (3)所有终边相同的角的正弦值相等.真命题.
【知识点拨】 1.全称命题及其真假的判断方法 (1)全称命题就是陈述某集合中所有元素都具有某种性质的命 题,常见的全称量词还有“一切”“每一个”等,相应的词语是 “都”.