Translate each of the following English sentences into first-order logic, using

Question

Translate each of the following English sentences into first-order logic, using only the following constants and predicates... Constants: Emily-a person named Emily . Joe-a person named Joe ·Actor-the occupation of being an actor Doctorthe occupation of being a doctor Lawyerthe occupation of being a lawyer Surgeon-the occupation of being a surgeon Predicates . Occupation(x,y)-person x has occupation y Customerfx,y)- person x is a customer of person y Boss(x,y)-personx is a boss of person y .Equal(x,y)-x and y are the same object

Explanation / Answer

EMILY IS EITHER A SURGEON OR A LAWYER:

ans:Occupation(Emily, Surgeon) V Occupation(Emily, Lawyer)
2)Joe is an actor, but he also holds another job.
ans:Occupation(Joe, Actor) ^ ( Occupation(Joe, Doctor) V Occupation(Joe, Surgeon) V Occupation(Joe, Lawyer) )
3)All surgeons are doctors:
ans:p Occupation(p, Surgeon) --> Occupation(p, Doctor)
4) Joe does not have a lawyer." (He is not the customer of any lawyer.)
ans:~Customer(Joe, Lawyer)
5)Emily bas a boss who is a lawyer.
ans:Boss(Emily, Lawyer)
6)'There exists a lawyer all of whose customers are doctors."
ans:p1p2 Occupation(p1, Lawyer) --> Customer ( p2, p1 ) ^ Occupation (p2, Doctor)
7)Every surgeon has a lawyer:
ans:p1p2 Occupation(p1, Surgeon) -->Customer(p1, p2) ^ Occupation(p2, Lawyer)

Related Questions

Navigate

• Browse (All)
• Browse T
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.