(logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition
Quantifier
Logic
Word
Existential operator
Existential quantifier