(p ∙ q) ⌵ (p·~q) ⌵ (~p ∙ q) ⌵ (~p ∙ ~q): das wird meine Tautologie, & ich würde dann nur sagen, daß sich
jedes Gesetz
jeder „Satz
der Logik” nach bestimmten Regeln auf diese Form bringen läßt. Das heißt aber dasselbe
wie
als
: sich von ih[m|r] ableiten läßt; & hier wären wir bei der Russellschen
Art
Form
der Demonstration angelangt & alles, was wir dazusetzen ist nur, daß diese Form diese Ausgangsform selber kein Satz selbständiger Satz ist & ˇdaß dieses & alle anderen „[Sät|Geset]ze der Logik” die Eigenschaft haben p ∙ Log = p, p ⌵ Log = Log.