chapter  27
7 Pages

LPC1: Decision Procedure II— Exposition

WithG. E. Hughes, D. G. Londey

This decision procedure will be found much easier to apply in practice than the previous one, especially when we have to deal with a wff containing more than two predicate variables.