Recent content by lize

  1. L

    MHB Conditional proof for multiple quantifier

    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