Question: Problem 4 . ( 2 1 points ) Consider a first - order logic vocabulary with the following symbols: Occupation ( p , o )
Problem points Consider a firstorder logic vocabulary with the following symbols:
Occupation po : Predicate. Person p has occupation o
Customerp p: Predicate. Person p is a customer of person p
Bosspp: Predicate. Person p is the boss of person p
Doctor, Surgeon, Lawyer, Actor: Constants denoting occupations
Priya, Carson: Constants denoting people.
Use these symbols to write the following assertions in firstorder 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.
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
