存在量词PPT课件.pptVIP

* * 1.4.2存在量词 下列语句是否是命题？（1）与（3），（2）与（4）之间有什么关系？ （1）,（2）不是命题，但是（3），（4）是陈述句，并且能判定真假，所以（3）（4）是命题 （1）2x+1=3 （2）x能被2和3整除 （3）存在一个x0∈R, 使得2x0+1=3 （4）至少有一个x0∈Z, x0能被2和3整除 类于（3）（4）中的短语“存在一个” “至少有一个” “有些” “有一个” “对某个” “有的” “存在着”等，在逻辑中通常叫做存在量词 符号表示： 含有存在量词的命题，叫做特称命题 特称命题“存在M中的元素x0,使p(x0)成立” 符号简记为： x0∈R , p(x0) 读作：“存在M中的元素x0，使p(x0)成立” （1）有的平行四边形是菱形 （2）有一个素数不是奇数 （1）（2）都是特称命题 例如：判定命题是否为特称命题？ （1）有一个实数x0，使x02+2x0+3=0； （2）存在两个相交平面垂直于同一条直线 （3）有些整数只有两个正因数。 例2：判定特称命题的真假： 分析： 要判定特称命题 “ x0∈M, p(x0)”是真命题，只需在集合M中找到一个元素x0,使p(x0)成立即可，如果在集合M中，使p(x)成立的元素x不存在，则特称命题是假命题