## Foundations of Mathematics## Mathematical and Formal Logic |

## What is a quantifier in predicate calculus? |

A sentence or many sentences containing a variable (such as *x*) can be made into true or false propositions simply by using a *quantifier.* The quantifier actually assigns a truth value to the sentence, depending on the set of values allowed for that variable. There are two major quantifiers: the existential and universal quantifiers, which are represented by the logical operator symbols of and , respectively, although there are more exotic types of logic that use different quantifiers.