resolution

In propositional logic, the procedure for producing a proof by resolution of proposition P with respect to a set of […]

Assume that a set of given statements F and a statement to be proved P: ALGORITHM: RESOLUTION IN PREDICATE LOGIC