You are using an out of date browser. It may not display this or other websites correctly.
You should upgrade or use an
alternative browser.
-
L
Hi, I don't know how to prove ((Ǝx) F(x) →(Ǝx) (G(x)) with conditional proof from:
((Ǝx) F(x) → (∀z) H(z))
H(a) →G(b)
Thanks