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
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
