Category:Quantifiers

From ProofWiki

Jump to navigation Jump to search

This category contains results about Quantifiers.
Definitions specific to this category can be found in Definitions/Quantifiers.

The universal quantifier $\forall$ and the existential quantifier $\exists$ are referred to collectively as quantifiers.

Subcategories

This category has the following 5 subcategories, out of 5 total.

E

Examples of Use of Quantifiers‎ (10 P)
Existential Quantifier‎ (2 C, 12 P)

P

Propositional Expansions‎ (empty)

U

Unique Existential Quantifier‎ (1 C, 1 P)
Universal Quantifier‎ (1 C, 14 P)

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Quantifiers&oldid=371801"