Go backward to Quantifier Consequences Go up to Top Go forward to Quantifier Consequences (Continued)

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