Universal quantification

In predicate logic, universal quantification is an attempt to formalise the notion that something (a logical predicate) is true for everything, or every relevant thing.

Related Topics:
Predicate logic - Logical predicate

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

The resulting statement is a universally quantified statement, and we have universally quantified over the predicate.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

In symbolic logic, the universal quantifier (typically "∀") is the symbol used to denote universal quantification.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Quantification in general is covered in the article quantification, while this article discusses universal quantification specifically.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~