Question: Problem 4 . ( 2 1 points ) Consider a first - order logic vocabulary with the following symbols: Occupation ( p , o )

Problem 4.(21 points) Consider a first-order logic vocabulary with the following symbols:
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 the boss of person p2.
Doctor, Surgeon, Lawyer, Actor: Constants denoting occupations
Priya, Carson: Constants denoting people.
Use these symbols to write the following assertions in first-order logic:
a. Priya is either a Surgeon or a Lawyer
b. Carson is an actor, but also has another job.
c. All surgeons are doctors.
d. Carson does not have a lawyer. (That is, he is not the customer of a lawyer)
e. Priya has a boss who is a lawyer.
f. There is a lawyer, all of whose customers are doctors.
g. Every surgeon has a lawyer.
Problem 4 . ( 2 1 points ) Consider a first -

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Programming Questions!