Ask Question
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)
  1. 14 August, 17:38
    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 & Technology if the answers seem to be not correct or there’s no answer. Try a smart search to find answers to similar questions.
Search for Other Answers