2.2 Quantifiers
Quantifiers are the symbols that allow first order logic to express statements about many objects at once, and they are the main feature that separates first order logic from propositional logic. Universal and Existential Quantifiers There are two basic quantifiers: $$ \forall $$ and: $$ \exists $$ The universal quantifier $\forall$ is read as "for all", and it is used to state that a formula holds for every object in...