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 Image and Image, respectively, although there are more exotic types of logic that use different quantifiers.


This is a web preview of the "The Handy Math Answer Book" app. Many features only work on your mobile device. If you like what you see, we hope you will consider buying. Get the App