特殊用法bounded quantifier1.有界量词bounded universal quantifier1.有界全称量词distributive quantifier1.分布数量词existential quantifier1.存在数量词general quantifier1.普通性量词generality quantifier1.全称量词heterogeneous quantifier1.非纯一量词unbounded universal quantifier1.无界全称量词vacuous quantifier1.空量词