270
(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
der
Logik” nach bestimmten Regeln auf diese Form bringen
lässt.
Das heisst aber dasselbe,
: 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.