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 as a rule of inference in predicate logic? Convert the following sentences into FOPL. All over smart person’s are stupid. Children’s of all stupid persons arre naughty Roney is children of Harry Harry is over smart Prove that “Roney is naughty” using resolution algorithm.
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.