chapter  30
5 Pages

LPC1: Consistency and Completeness

WithG. E. Hughes, D. G. Londey

We shall show that PM + LPC1 is consistent with respect to negation. That is, we shall show that from the basis we have stated, it is impossible to derive both X and ˜X, where X is any wff.