Quantificational Logic Problem

  1. Philosophy Forum
  2. » Logic
  3. » Quantificational Logic Problem

Get Email Updates Email this Topic Print this Page

jwass52
 
Reply 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?

TY PF'ers
 
 

 
  1. Philosophy Forum
  2. » Logic
  3. » Quantificational Logic Problem
Copyright © 2020 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.02 seconds on 08/12/2020 at 06:21:44