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.


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