Recent content by badwolf23

  1. B

    Proving (∀x.ϕ) →(∃x.ϕ) using Natural Deduction?

    Hello, I have no idea how to solve this proof and would actually appreciate your help. I cannot use soundness or completeness. ⊢ (∀x.ϕ) →(∃x.ϕ) Thanks
Back
Top