quantifier

Noun
  1. (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition (synset 106313532)
    referred to in: logic - the branch of philosophy that analyzes inference
    is a type of: word - a unit of language that native speakers can identify
    subtypes: existential operator, existential quantifier - a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
    same as: logical quantifier
  2. (grammar) a word that expresses a quantity (as `fifteen' or `many') (synset 106313371)
    referred to in: grammar - the branch of linguistics that deals with syntax and morphology (and sometimes also deals with semantics)
    is a type of: word - a unit of language that native speakers can identify
    subtypes: universal quantifier - a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things

Other Searches