Page:Russell, Whitehead - Principia Mathematica, vol. I, 1910.djvu/36

This page has been proofread, but needs to be validated.
14
INTRODUCTION
[CHAP.

assertion with the in the other. This will be the case—so our axiom states—if both assertions present as the argument to some one function, that is to say, if is a constituent in both assertions (whatever propositional function may be), or, more generally, if is a constituent in one assertion, and 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 important of the elementary properties of propositions appearing among the deductions.

The law of excluded middle:

.

This is *2·11 below. We shall indicate in brackets the numbers given to the following propositions in the body of the work. The law of contradiction (*3·24):

.

The law of double negation (*4·13):

.

The principle of transposition, i.e. "if implies , then not- implies not-," and vice versa: this principle has various forms, namely

as well as others which are variants of these. The law of tautology, in the two forms:

i.e. " is true" is equivalent to " is true and is true," as well as to " is true or 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:

,

i.e. " implies " is equivalent to " is equivalent to ." This is called the law of absorption because it shows that the factor in the product is