chapter  29
12 Pages

LPC1: Axiomatization

WithG. E. Hughes, D. G. Londey

There are two simple ways in which, starting from a valid wff of PC X, we can obtain a valid wff of LPC1.