logical 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: quantifier

Other Searches