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

For every formula `A` and `B`, the following conclusions hold:

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

Author: Wolfgang Schreiner

Last Modification: November 30, 1999