TRANSLATE ENGLISH TO FIRST ORDER PREDICATE LOGIC

*USE CHAIN OF REASONING FIRST EXERCISE

*CHAIN OF REASONING AND CONVERSION TO CNF THE LAST EXERCISE

4. D(a) B(a) UI simplification (2) Modus Ponens (4, 5ii) ii. D(a) 6. B(a) 7. P(a)A B(a) Conjunction (5i,6) :. the argument is VALID Exercises: 1) All lawyers are shysters All shysters are not honest Therefore, anyone who is honest is not a lawyer 2) All humans are mortal Socrates is a human Therefore, Socrates is mortal All athletes are brawny Charles is not brawny Therefore, Charles is not an athlete 3) 3. 4. -A(%) v H (%) -H(a) Exercise: (1) Marcus is a man (2) Marcus is a Pompeian (3) All Pompeians are Romans (4) Caesar is a ruler (5) All Romans are either loyal to or hated Caesar (6) Men only try to assassinate rulers they are not loyal to (7) Marcus tried to assassinate Caesar (8) Therefore, MARCUS HATES CAESAR