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. 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.
Suppose you wish to say
This would seem to be a logical conjunction because of the repeated use of "and".
But the "etc" can't be interpreted as a conjunction in formal logic.
Instead, rephrase the statement as
Suppose you wish to say
- For any natural number n, 2·n = n + n.
Notice that this statement is really more precise than the original one. It may seem obvious that the phrase "etc" is meant to include all natural numbers, and nothing more, but this wasn't explicitly stated, which is essentially the reason that the phrase couldn't be interpreted formally. In the universal quantification, on the other hand, the natural numbers are mentioned explicitly.
This particular example is true, because you could put any natural number in for n and the statement "2·n = n + n" would be true. In contrast, "For any natural number n, 2·n > 2 + n" is false, because you replace n with, say, 1 and get the false statement "2·1 > 1 + 1". It doesn't matter that "2·n > 2 + n" is true for most natural numbers n; even the existence of a single counterexample is enough to prove the universal quantification false.
On the other hand, "For any composite number n, 2·n > 2 + n" is true, because none of the counterexamples are composite numbers. This indicates the importance of the domain of discourse, which specifies which values n is allowed to take. Further information on using domains of discourse with quantified statements can be found in the Quantification article. But in particular, note that if you wish to restrict the domain of discourse to consist only of those objects that satisfy a certain predicate, then for universal quantification, you do this with a logical conditional. For example, "For any composite number n, 2·n > 2 + n" is logically equivalent to "For any natural number n, if n is composite, then 2·n > 2 + n". Here the "if ... then" construction indicates the logical conditional.
In symbolic logic, we use the universal quantifier "∀" (an upside-down letter "A" in a sans-serif font) to indicate universal quantification. Thus if P(n) is the predicate "2·n > 2 + n" and N is the set of natural numbers, then
- For any natural number n, 2·n > 2 + n.
- For any composite number n, 2·n > 2 + n.