Universal quantification - Wikipedia, the free encyclopedia: "In predicate logic, universal quantification formalizes 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 , U+2200 ∀ , a turned A) is the symbol used to denote universal quantification, and is often informally read as "given any" or "for all". 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."
'via Blog this'