存在量词，特称命题及其真假的判断
1、存在量词
短语“存在一个”“至少有一个”在逻辑中通常称为存在量词，并用符号“”表示。
2、特称命题
含有存在量词的命题称为特称命题。
特称命题“存在中的一个，使成立”可用符号简记为
，，
读作“存在一个属于，使成立”。
注：常见的存在量词包括“有一个、有些、至少有一个、存在一个、对某个”等等。
特称命题就是陈述某集合中存在一些元素具有某种性质的命题。
注：特称命题的否定是全称命题。
3、特称命题真假的判断
要判定一个特称命题为真，只要在限定的集合中，能找到一个，使成立即可，否则，该特称命题为假。
