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)