Go backward to Quantifier ConsequencesGo up to TopGo forward to Quantifier Consequences (Continued) |

**Universal and Disjunction, Existential and Conjunction**-
( **forall**`x`:`A`) \/ (**forall**`x`:`B`)( **forall**`x`:`A`\/`B`)( **exists**`x`:`A`/\`B`)( **exists**`x`:`A`) /\ (**exists**`x`:`B`) **Universal and Existential Quantification**-
**exists**`x`:**forall**`y`:`A`**forall**`y`:**exists**`x`:`A`

Author: Wolfgang Schreiner

Last Modification: November 30, 1999