Question

#6. [20 pts; 5 pts for each of 4 subproblems]

Domain is all creatures, and predicates defined as follows:

C(x) = “x is a cat.” D(x) = “x is a dog.” S(x) = “x is a celebrity.”

L(x,y) = “x likes y.”

Translate into predicate logic (use quantifiers ∃, ∀ where necessary):

1. “Beyoncé is a celebrity”

2. “No cat is a celebrity”

3. “No dog likes a celebrity”

4. “All cats are liked by some dogs”

Answer 1

The above statements are translated from english using predicate logic.