(p & q) V (p & non-q) V (non-p & q) V (non-p & non-q): Das wird meine Tautologie, und ich würde dann nur sagen, dass sich
jedes Gesetz
jeder “Satz
der Logik” nach bestimmten Regeln auf diese Form bringen lässt. Das heisst aber dasselbe,
als
wie
: sich von ihr ableiten lässt; und hier wären wir bei der Russell'schen Art der Demonstration angelangt und alles, was wir dazusetzen ist nur, dass diese Ausgangsform selber kein selbständiger Satz ist und dass dieses und alle anderen “Gesetze der Logik” die Eigenschaft haben p & Log = p, p V Log = Log.