#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