Question: 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

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. "No dog likes a celebrity"

I think the answer is xy[D(x) S(y) L'(x,y)] but I'm not sure if I'm correct and would like to check with someone else.

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!