Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.



Logic Proof/Equivalence Rule?
Posted:
Dec 6, 1996 11:59 PM


I heard somebody reffering to the following as the Equivalence Rule, but i'm not sure.
So, I was wondering if someone can prove:
ForAll x ForAll y (A(x, y) => B(x)) <=> ForAll x (ThereExists y A(x, y) => B(x))
Thanks!
 Serafim



