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:

(ii) Convert the formulae into clausal form.