Occupation (p, o): Predicate. Person p has occupation o. Customer (p1, p2): Pred

ID: 3729921 • Letter: O

Question

Occupation (p, o): Predicate. Person p has occupation o.

Customer (p1, p2): Predicate. Person p1 is a customer of person p2.

Boss (p1, p2): Predicate. Person p1 is a boss of person p2.

Doctor, Surgeon, Lawyer, Actor: Constants denoting occupations.

Emily, Joe: Constants denoting people.

Use these symbols to write the following assertions in first-order logic:

a. Emily is either a surgeon or a lawyer.

b. Joe is an actor, but he also holds another job.

c. All surgeons are doctors.

d. Joe does not have a lawyer (i.e., is not a customer of any lawyer).

e. Emily has a boss who is a lawyer.

f. There exists a lawyer all of whose customers are doctors.

g. Every surgeon has a lawyer.

a) Occupation(Emily, Surgeon) Occupation(Emily, Lawyer)

b) Occupation(Joe, Actor) [ Ocupation(Joe, Doctor) Ocupation(Joe, Surgeon) Ocupation(Joe, Lawyer) ]

c) p [ Occupation(p, Surgeon) Occupation(p, Doctor)]

d) p [Occupation(p, Lawyer) ¬ Customer(Joe, p)]

e) p [Boss(p, Emily) Occupation(p, Lawyer)

f) p1 Occupation(p1, Lawyer) [ p2 Customer(p2, p1) Occupation(p2, Doctor)]

g) p1 p2 Occupation(p1, Surgeon) [Customer(p1, p2) Occupation(p2, Lawyer)]

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