chapter  32
4 Pages

LPC2 : Decision Procedure I

WithG. E. Hughes, D. G. Londey

We are going to show how the truth-table procedure set out for LPC1 in Chapter 25 can be extended to deal with the wffs of LPC2. As in the case of LPC1, this decision procedure is given more for its theoretical importance than for practical use in the testing of formulae, since the matrices mostly turn out to be very long ones indeed. A decision procedure which is much more workable in practice will be given in the next chapter.