Submit Answer

If you know the answer of below question, then submit your answers. You will receive 10 points on each answer. You can submit pdf and images files also.

If you don't know how to publish answer then click here.

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”.
Assets

Your assets must be related to csit study material.

Images

Can submit multiple images of maximum size of 2MB each.

PDF File

Can submit multiple pdf files of maximum size of 10MB each.

Email

You will receive an email with your answer link after confirmation.