Consider the following sentences:
a. John likes all kinds of food.
b. Apples are food.
c. Chicken is food.
d. Anything anyone eats and isn’t liked by is food.
e. Bill eats peanuts and is still alive.
f. Sue eats everything Bill eats.
Translate these sentences into predicate logic
Prove that John likes peanuts using resolution
Comments
Leave a comment