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

Cette page n’a pas encore été corrigée

errata : p. 103, line 7, for "assumption" read "assertion." p. 103, line 25, at end of line, for "q" read "r."

SECTION A] IMMEDIATE CONSEQUENCES

The most important propositions proved in the present number are the following:

  • 2’02. r: q . :> . P :> q

I.e. q implies that p implies q, i.e. a true proposition is implied by any proposition. This proposition is called the "principle of sin1plification" (referred to as "Simp "), because, as will appear later, it enables us to pass fronl the joint asstion of q and p to the assertion of q simply. When the special meaning which we have given to implication is remem- bered, it will be seen that this proposition is obvious.

  • 2’03. I- : p ::> q . :> . q ::> p
  • 2’15. 1-: p ::> q . ::> . q::> p
  • 2’16. 1-: p ::> q. ::> . q ’) P
  • 2’17. r : q ’) p . ’) . p ’) q

These four analogous propositions constitute the "principle of transpo- sition," referred to as "Transp." They lead to the rule that in an implication the two sides may be interchanged by turning negative into positive and positive into negative. They are thus analogous to the algebraical rule that the two sides of an equation may be interchanged by changing the sIgns.

  • 2’04. 1-: . p . ::> . q ::> r : ::> : q . ::> . P ::> r

This is called the "commutative principle" and referred to as " Q_?n1m." It states that, if ’r follows from q provided p is true, then ’I' follows from p provided q is true.

  • 2’05. 1-:. q ::> r . ’) : p ’) q . ::> . P ::> r
  • 2’06. 1-:. p ::> q . ::> : q ::> r . ::> . P ::>

These two propositions are the source of the syllogism in Barbara (as will be shown later) and are therefore called the "principle of the syllogism" (referred to as "Syll "). The first states that, if r follows from q, then if q follows from p, r follows from p. The second states the saIne thing with the premisses interchanged.

  • 2’08. I- . P :> P

I.e. any proposition implies itself. This is called the" principle of identity" and referred to as "Id." It is not the same as the" law of identity" (" x is identical with x "), but the law of identity is inferred from it (cf. *13’15).

  • 2’21. I- : t"o.J p . :> . P :> q

I.e. a false proposition implies any proposition. The later propositions of the present number are mostly subsumed under propositions in *3 or *4, which give the sanle results in more compendious forms. We now proceed to fonnal deductions. " ) .