Ask Question
15 May, 11:49

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.

+2
Answers (1)
  1. 15 May, 13:09
    0
    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))
Know the Answer?
Not Sure About the Answer?
Find an answer to your question ✅ “Consider a vocabulary with the following symbols: 1) Occupation (p, o) : Predicate. Person p has occupation o. 2) Customer (p1, p2) : ...” in 📘 Computers and Technology if you're in doubt about the correctness of the answers or there's no answer, then try to use the smart search and find answers to the similar questions.
Search for Other Answers