| 释义 |
universal quantifier ˌju:niˈvə:səlˈkwɔntifaiə 短语¹¹⁴⁴⁶⁷⁺⁴
基本英英例句
全称量词
Noun:
a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of thingsThe difference between the two formulations is the difference between a universal and existential quantification.这两种限制形式间的不同就是全称量词与存在量词间的不同。 |