quantifier
英 [ˈkwɒntɪfaɪə(r)] 美 [ˈkwɑntɪfaɪə(r)]

n.

数量词，量词；

变形

复数：quantifiers

英英释义

quantifier[ 'kwɔntifaiə ]

• n.
  • (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition

    同义词：logical quantifier

  • (grammar) a word that expresses a quantity (as `fifteen' or `many')

双语例句

用作名词(n.)

1. When speaking of umbrella and fan, which quantifier do we use?
   说到伞和扇子的时候，我们会用到哪个量词呢？

权威例句

On Quantifier Domain Restriction
Quantifier guided aggregation using OWA operators
Quantifier Elimination and Cylindrical Algebraic Decomposition
Quantifier Elimination and Cylindrical Algebraic Decomposition
Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition
Quantifier elimination for real closed fields by cylindrical algebraic decomposition--preliminary report
Partial Cylindrical Algebraic Decomposition for quantifier elimination
Partial Cylindrical Algebraic Decomposition for quantifier elimination *
On the combinatorial and algebraic complexity of quantifier elimination
On the computational complexity and geometry of the first-order theory of the reals. Part III: Quantifier elimination