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