∃的意思是存在，代表存在量词。

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

特称命题：其公式为有的S是P。特称命题使用存在量词，如有些、很少等，也可以用基本上、一般、只是有些等。含有存在性量词的命题也称存在性命题。短语存在一个、至少一个在逻辑中通常叫做存在量词，用符号∃表示。含有存在量词的命题，叫做特称命题存在性命题。

例子：有一个素数不是奇数；有的平行四边形是菱形。