- 1. universal quantifier: 全称量词
⑴全称量词(Universal Quantifier)：用字符“?x”表达，表示了该量词作用的辖域为个体域中“所有的个体x”或“每一个体x都”要遵从所约定的谓词关系。
dict.youdao.com - 2. universal quantifier: 全称范域词
... universal instantiation 普遍例式 universal quantifier 全称范域词 unknown word 未知词 [不决义词] ...
dict.youdao.com - 3. universal quantifier: 普遍限量词
... generalization 普遍化；法则化；一般化；归纳；类化；条理化；概括化 universal quantifier 普遍定量词；普遍限量词；全称量化号 universality 普遍性；共通性；通用性 ...
dict.youdao.com - 4. universal quantifier: 全称量化号
... generalization 普遍化；法则化；一般化；归纳；类化；条理化；概括化 universal quantifier 普遍定量词；普遍限量词；全称量化号 universality 普遍性；共通性；通用性 ...
dict.youdao.com - 5. bounded universal quantifier: 有界全称量词
dict.youdao.com - 6. Allquantor universal quantifier: 全称量词
dict.youdao.com - 7. The Universal Quantifier: 全称量词
dict.youdao.com - 8. unbounded universal quantifier: 无界全称量词
dict.youdao.com - 9. determiner universal quantifier: 限定性全称量化词
dict.youdao.com - 10. elimination rule of universal quantifier: 全称量词消除规则
dict.youdao.com
有道词典