全称量词_有道手机词典

1. universal quantifier
2. generality quantifier

1. 全称量词: universal quantifier | generality quantifier | Universal quantification
2. 有界全称量词: bounded universal quantifier
3. 无界全称量词: unbounded universal quantifier

1.任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
Any logic which USES the existential quantifier or the universal quantifier is said to be a predicate logic.
dict.yoduao.com
2.带有全称量词命题与蕴含命题的数据查询是数据库应用系统中最实用的两类查询，但也是最难的两种数据查询。
Data query for proposition with universal quantifier and data query for implication proposition are two categories of the most practical and difficult data queries.
dict.yoduao.com