The quantifiers $\forall$ ("for all") and $\exists$ ("there exists") distinguish predicate calculus from propositional logic.
Quantifiers specify the quantity of objects that satisfy a given formula.
The quantifiers $\forall$ (for all) and $\exists$ (there exists) are the most common, but others such as $\exists!$ (there exists a unique) are also in usage.
Only use this tag if your question is about the usage of a quantifier in a formula. Be sure not to use this tag for any question with quantifiers.
