Image: Wikimedia Commons

universal quantification

Logical quantification stating that a statement holds for all objects

EntityQ126695

Also known as for every · for all · given any · for any · any

Subclass of: quantifier

Overview

From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0

In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", "for every", or "given an arbitrary element". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.

Overview

All data

14 statements · 7% with external sources · numbers in brackets are citations

Notation: ∀
Opposite of: existential quantification
Studied by: logic

On other databases

11 identifiers linking universal quantification across the web's reference databases

Data quality

statements

externally sourced

Source last edited July 13, 2026. AIDB refreshes this page daily.

Suggest a fact or correction

Links

Use this data

curl https://aidb.si/api/v1/entities/Q126695

API docs, limits & keys

Cite this page

AIDB. (2026). universal quantification (Q126695). Retrieved from https://aidb.si/e/universal-quantification-Q126695