quantifier在逻辑学中（数学中）叫逻辑量词,有别于英语语法中的量词.全称量词universal quantifier的传统符号是 ,它是倒过来的字母 A,表示单词“all”. 存在量词existential quantifier的相应的符号是 ,它是反过来...