存在量词

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

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

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

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