previous up next
Go backward to Quantifier Consequences
Go up to Top
Go forward to Quantifier Consequences (Continued)
RISC-Linz logo

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

previous up next