How resolution algorithm is used in FOPL to infer conclusion?

Consider the facts;

Anyone whom Pugu loves is a star. Any  hero who does not rehearse does not act. Anmol is a hero. Any hero who does not work does not rehearse. Anyone who does not act is not a star. Convert above into FOPL and use resolution to infer that “If Anmol does not work, then Pugu does not love Anmol”.

This answer is restricted. Please login to view the answer of this question.

Login Now
Leave your Answer:

Click here to submit your answer.

Notify of
Inline Feedbacks
View all comments