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

- Hamro CSIT - Hamro CSIT - Hamro CSIT - Hamro CSIT

If you found any type of error on the answer then please mention on the comment or report an answer or submit your new answer.
Leave your Answer:

Click here to submit your answer.

  Loading . . .