存在量词

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

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

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

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

存在量词 (2010-03-11 06:11:15由202编辑)