Answered step by step
Verified Expert Solution
Question
1 Approved Answer
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)
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 CAESARStep by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started