quantifier在逻辑学中(数学中)叫逻辑量词,有别于英语语法中的量词。
全称量词universal quantifier的传统符号是 ,它是倒过来的字母 A,表示单词“all”。 存在量词existential quantifier的相应的符号是 ,它是反过来的字母 E,表示单词“exists”。
例如: x 或(x) :对于所有的x来说 "for all x" (written with an inverted A, {LaTeX} for all) x 或(x ):存在着一个(一些 )x ,“there exists some x ." (written with a reversed E, {LaTeX} exists)。