In predicate logic, universal quantification formalizes the notion that something (a logical predicate) is true for everything, or every relevant thing. It is usually denoted by the turned A (∀) logical operator symbol which is interpreted as "given any" or "for all", and which, when used together with a predicate variable, is called a universal quantifier. Universal quantification is distinct from existential quantification ("there exists"), which asserts that the property or relation holds for at least one member of the domain.
Quantification in general is covered in the article on quantification. Symbols are encoded U+2200 ∀ for all (HTML: ∀ ∀ as a mathematical symbol).
Read more about Universal Quantification: Basics, Universal Closure
Famous quotes containing the word universal:
“That we can come here today and in the presence of thousands and tens of thousands of the survivors of the gallant army of Northern Virginia and their descendants, establish such an enduring monument by their hospitable welcome and acclaim, is conclusive proof of the uniting of the sections, and a universal confession that all that was done was well done, that the battle had to be fought, that the sections had to be tried, but that in the end, the result has inured to the common benefit of all.”
—William Howard Taft (1857–1930)