!!!ERRATA. p. 14, line 2, for "states" read "allows us to infer." p. 14, line 7, after "*3’03" insert "*1’7, *1’71, and *1-72."
14 INTRODUCTION [CHAP. ’assertion with the x in the other. This will be the case-so our axiom -, ,.., ’-..," . - . . iltte s-If both assertIons present x as the argument to some one functIon, - that- is to say, if qxc is a constituent in both assertions (whatever proposi- tional function cp may be), or, more generally, if t/J (x, y, z, ...) is a constituent in one assertion, and t/J (x. u, v, ...) is a constituent in the other. This axiom ’introduces notions which have not yet been eXplained; for a fuller account,
see the remarks accompanying *3’03 (which is the statement of this axiom)
’in the body of the work, as well as the explanation of propositional functions and ambiguous assertion to be given shortly. . . Some simple propositions. In addition to the primitive propositions we have already mentioned, the following are among the most in1portant of the elementary properties of propositions appearing among the deductions. The law of excluded middle: I- . P v p. This is *2’11 below. We shall indicate in brackets the nUlubers gIven to the following propositions in the body of the work. The law of contradiction (*3-24): 1-. (p . p). , The law of double negation (*4-13): I- . P = ( p). The principle of transposition, i.e. "if p implies q, then not-q inlplies not-p," and vice versa: this principle bas various forms, namely (*4.1) f- : p ::> q . = . q ::>p, (*4’11) f-:p = q . = .p = f’..Jq, (*4’14) f- :.p.q. ::>.r: = :p .r.::> .q, as well as others which are variants of these. The law of tautology, in the two forms: (’24) f-:p. = .p. p, (*4’25) I-:p. _ .pv p, i.e. "p is true" is equivalent to "p is true and p is true," as well as to "p is true or p is true_" From a formal point of view, it is through the law of tautology and its consequences that the algebra of logic is chiefly distinguished from ordinary algebra_ The law of absorption: (*4-71) 1-:. p"J q . = : p. = . p . q, i.e. "p implies q" is equivalent to "p is equivalent to p . q." This is called the law of absorption because it shows that the factor q in the, product is’ ( . . I
