Algorithm: Resolution In Predicate Logic
1. Convert all the statements of F to clause form
2. Negate P and convert the result to clause form. Add it to the set of clauses obtained in step 1.
Trending Articles
More Pages to Explore .....