存在量词与特称命题

　　定义：短语“有些”、“至少有一个”、“有一个”、“存在”等都有表示个别或一部分的含义，这样的词叫作存在量词。

　　含有存在量词的命题叫作特称命题。

　　特称命题 :其公式为“有的S是P”。

　　特称命题使用存在量词，如“有些”、“很少”等，也可以用“基本上”、“一般”、“只是有些”等。含有存在性量词的命题也称存在性命题。

　　短语“存在一个”、“至少一个”在逻辑中通常叫做存在量词，用符号“∃”表示。

　　含有存在量词的命题，叫做特称命题(存在性命题)。