Question

Explain the concept of resolution in predicate logic. Consider the following facts:
(a) John likes all kinds of pets.
(b) Dogs are pets.
(c) Cats are pets.
(d) Any animal anyone owns and is not killed is a pet.
(e) Reji owns a goat and is still alive.
(f) Vinod owns everything Reji owns.
(i) Translate the facts into formulae in predicate logic.
(ii) Convert the formulae into clausal form.
(iii) Prove that Jack likes goats using resolution​

Answer 1

Answer:

Example Solution and the rest of the bees are equally divided among blue red green and purple colors if there are 20 purple beads in the box altogether with the situation we are in the box altogether with the situation we are in the