Hi, I have no idea how to begin constructing this proof, and I would appreciate any help!
I need to prove the following, and to make matters worse, without soundness or completeness
⊢ (∀x.ϕ) →(∃x.ϕ)
I can use the following axioms/theorems http://img233.imageshack.us/img233/5...11115at824.png Thank you.
Please note that any sort of help to get me started on the proof would be very helpful.