Recent content by Mishada17

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)...

I'm sorry, I still don't understand how to apply it.

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...