∃是一种存在量词。可读作 “存在”。
∃ 存在量词 ∃ x: P(x) 表示存在至少一个 x 使得 P(x) 为真 。 ∃ n ∈ N: n 为偶数。
存在量词，短语有些、至少有一个、有一个、存在等都有表示个别或一部分含义的词。含有存在量词的命题叫作特称命题。其形式为有若干的S是P。特称命题使用存在量词，如有些、很少等，也可以用基本上、一般、只是有些等。
扩展资料：
“对全额的”、“对任意的”等词在逻辑中被称为全称量词，记作“∀”，含有全称量词的命题叫做全称命题。
对于M中的任意x，都有p(x)成立，记作∀x∈M，p(x)
读作：对于属于M的任意x，都有使p（x）成立。
全称命题：其公式为“有全额的S都是P”。
全称命题，可以用全称量词，也可以通过“人人”等主语重复的形式来表达，甚至可以不使用任何量词标志，如“人类都是有智慧的。”
由于代数定理使用的是全称量词，因此每个代数定理都是一个全称命题。也正是全称量词使得使用带入规则进行恒等变换是代数推理的核心。
参考资料来源：百度百科-∃