It did, thank you. You were ten times more helpful than my teacher, who just said, "look at example 3..." Well, I figured it out and example 3 was no help, sir!
Here is my completed proof:
1. ∃x F(x) premise
----------------------
2. a F(a) assumption
---------------------------
3. ∀x ~F(x)...
Hi, I'm taking an intro logic class and though I'm comfortable with most propositional logic, predicate logic is confusing me. I joined the forum to ask this particular question that I've been stuck on for a while. Any help would be appreciated - I'm having trouble finding information on the web...