View the step-by-step solution to:


Resolution Example

1. John likes all kinds of food.

x: food(x)  likes(john, x)

2. Apples

are food.


3. Chicken is food.


4. Anything anyone eats and isn't killed by is food.

x:(y: eats(y, x)   killedby(y, x))  food(x)

5. Bill eats peanuts and is still alive.

A. eats(Bill, peanuts) B. alive(Bill)

6. Sue eats everything Bill eats.

x:eats(Bill, x) eats(Sue, x)

7. x:y: alive(x)  killedby (x,y)

sir plzz build a tree for rasulation

Recently Asked Questions

Why Join Course Hero?

Course Hero has all the homework and study help you need to succeed! We’ve got course-specific notes, study guides, and practice tests along with expert tutors.

  • -

    Study Documents

    Find the best study resources around, tagged to your specific courses. Share your own to gain free Course Hero access.

    Browse Documents
  • -

    Question & Answers

    Get one-on-one homework help from our expert tutors—available online 24/7. Ask your own questions or browse existing Q&A threads. Satisfaction guaranteed!

    Ask a Question
Let our 24/7 Computer Science tutors help you get unstuck! Ask your first question.
A+ icon
Ask Expert Tutors You can ask You can ask ( soon) You can ask (will expire )
Answers in as fast as 15 minutes
A+ icon
Ask Expert Tutors