Question

Consider a vocabulary with the following symbols:
1) Occupation(p, o): Predicate. Person p has occupation o.
2) Customer (p1, p2): Predicate. Person p1 is a customer of person p2.
3) Boss(p1, p2): Predicate. Person p1 is a boss of person p2.
4) Doctor, Surgeon, Lawyer, Actor: Constants denoting occupations.
5) 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.

Answer 1

Answer:

Emily can be denoted with E and Joe can be J

a)

Occupation(E,surgeon)AND Occupation(E,lawyer)

b)

Occupation(J,actor)AND Occupation(J,#)

c)

for all (Surgeon(p) --> doctor(p))

d)

Customer(~J,Lawer)

e)

Boss(lawyer,E)

f)

Customer(doctor,if there exist(lawyer(p)))

g)

Customer(forall(surgen,lawyer))