Conditional proof for multiple quantifier

eliz

New member
Joined
Mar 2, 2016
Messages
8
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
 
Sorry, but I understood that it was one of the donkeys sentences and I got the answer if you want I can post the right answer to that post or even delete that.
 
I see no reply/comment from you on your 1st post:
are you serious?
Sorry, but I understood that it was one of the donkeys sentences but if you want I can write the correct answer or even delete that post. And yes I'm super serious about my post.
 
Sorry, but I understood that it was one of the donkeys sentences but if you want I can write the correct answer or even delete that post. And yes I'm super serious about my post.
why did nobody answer my question?
 
Top