= 存在量词 =

[[一阶谓词逻辑]]中的[[量词]]。另一个量词是[[全称量词]]。

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

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

特称命题“存在M中的一个x，使p（x）成立”。简记为：∃xP(x)，