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.

Question

Judd

Computers & Technology

14 August, 17:09

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.

+1

Answers (1)

Know the Answer?

Gloria Ferguson · Answer 1

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))