Skip to main content
Glite Dictionary
🔢 A logic term 🔢 A quantity word
quantifier

quantifier

1 8.1
A word like some or all that shows how many items a logical statement refers to
  • noun
  • /ˈkwɒntɪfaɪər/
  • Specialized
translation icon : cuantificador
  • The domains of quantifiers are understood by their contexts, either in the external environment, in the discourse environment, or in the environment of mutual knowledge.
  • quantifier elimination
  • quantifier elimination procedure

There are three words for quantifiers for, for, for sets.

Examples

  • So now this is an existential quantifier, the easier case to think about.

  • And in addition to that, you've got to have quantifiers as they're called, the for all X and there exists an X.

  • So in that episode we were talking about quantifiers and existential commitment.

  • You can't just add quantifiers without totally changing the logic.

    Blog text (30)

  • Quantifier elimination decision procedures directly support parameterized problems, so they are a particularly convenient starting point for our method.

    Academic text (2012)

  • Note that many disjunctions arising in quantifier elimination have the form of quantification over a finite set.

    Academic text (2012)

  • To illustrate our method, we derive synthesis procedures by extending quantifier elimination algorithms for integer arithmetic and set data structures.

    Academic text (2012)

  • In logic, a quantifier specifies how many subjects a statement refers to, such as 'all' or 'some'.

  • When learning a new language, understanding quantifiers like 'few' and 'many' can help in forming clear sentences.

  • Students often struggle with quantifiers until they practice using 'no', 'all', or 'some' in different contexts.

Synonyms

logical quantifier
vsquantifier
  • Specialized
7.5

A word or symbol that shows how many things a sentence talks about, like 'some', 'all'

is given as a word or expression rather than a symbol

Compounds

existential quantifier
  • Specialized
9.9

A symbol or word in logic that shows at least one thing meets a condition

logical quantifier
  • Specialized
7.5

A word or symbol that shows how many things a sentence talks about, like 'some', 'all'

universal quantifier
  • Specialized
9.7

A symbol that shows a statement is true for every member of a group

Surface Forms

quantifier singular
quantifiers plural

Morphology

quantifier = quantify (transparent) = quantify + er

Formed by adding the productive agent/instrument suffix '-er' to the verb 'quantify'; the logical sense is a direct grammatical extension used in logic to name the expression indicating quantity.

Etymology

Quantifier comes from the Latin root quantus, which means 'how much' and is the same root as quantity. In logic a quantifier is a word like 'all', 'some' or 'no' that shows how many subjects a statement is talking about.