quantifier

Logical operator specifying how many entities in the domain of discourse that satisfy an open formula

EntityQ592911

Also known as quantor · logical quantification · logical quantifier · quantification

Subclass of: logical operator

Overview

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

In mathematical logic, quantifiers are formal counterparts of natural-language adjectives like all, some, most, few, etc. which indicate the number of objects satisfying a given property. More precisely, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier in the first-order formula expresses that all numbers in the domain are non-negative; this formula is true for the natural numbers domain, but false for the integer domain. On the other hand, the existential quantifier in the formula expresses that some numbers in the domain satisfy the given quadratic equation; indeed, both 2 and 3 do.

Overview

All data

33 statements · 15% with external sources · numbers in brackets are citations

Has characteristic: quantifier rank
Has use: logical quantification
Members / parts: existential quantification
universal quantification
Different from: quantifier

On other databases

24 identifiers linking quantifier across the web's reference databases

Data quality

statements

15%

externally sourced

Source last edited September 25, 2026. AIDB refreshes this page daily.

Suggest a fact or correction

Links

Use this data

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

API docs, limits & keys

Cite this page

AIDB. (2026). quantifier (Q592911). Retrieved from https://aidb.si/e/quantifier-Q592911