4. First order logic:
4.1. Consider a 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 a boss of person p2.
Doctor, Surgeon, Lawyer, Actor: constants denoting occupations
Emily, Joe: constants denoting people
Use these above symbols to write the following assertion in first order logic
a. Emily is either a surgeon or a layer
b. Joe is an actor, but he also holds another job.
c. All surgeons are doctors
d. Joe is not a customer of any lawyer
e. Emily has a boss who is a lawyer
f. There exists a lawyer all of those customers are doctors
g. Every surgeon has a lawyer.
Students succeed in their courses by connecting and communicating with an expert until they receive help on their questions
Consult our trusted tutors.