Wed 20 May, 2009 03:29 pm
Hello Philosophy Forumers!
I am having a bit of difficulty with this, I was wondering if someone might be able to double check this.
"Harry shaves only persons who do not shave themselves. Therefore, Harry does not shave himself."
(x)(Dx -> ~Hx) Therefore (x)~Hx
Does it look like I correctly symbolized it?