QUANTIFIERS

There are 6 possible quantifiers.

Universal: (x), (y), and (z).	In English this is EVERY or ALL.
Existential: (∃x), (∃y), and (∃z).	In English this is ONE OR MORE.

Example: All dogs are pets or (x)(Dx ⊃ Px).

The symbols are read as:

For all x, if x is a D then x is a P, or: Every individual name makes the function Dx ⊃ Px true when the name replaces the variable x.

Example: Some dogs are pets or (∃x)(Dx • Px).

The symbols are read as

For at least one x, x is a D and a P, or: One or more individual names make the function Dx • Px true when the names replace the variable x.