6.1203

Um eine Tautologie als solche zu erkennen, kann man sich, in den Fällen, in welchen in der Tautologie keine Allgemeinheitsbezeichnung vorkommt, folgender anschaulichen Methode bedienen: Ich schreibe statt „p“, „q“, „r“ etc. „W p F“, „W q F“, „W r F“ etc. Die Wahrheitskombinationen drücke ich durch Klammern aus, z. B.:

und die Zuordnung der Wahr- oder Falschheit des ganzen Satzes und der Wahrheitskombinationen der Wahrheitsargumente durch Striche auf folgende Weise: Dies Zeichen würde also z. B. den Satz p⊃q darstellen. Nun will ich z. B. den Satz ~(p.~p) (Gesetz des Widerspruchs) daraufhin untersuchen, ob er eine Tautologie ist. Die Form „~ξ“ wird in unserer Notation geschrieben; die Form „ξ.η“ so: Daher lautet der Satz ~(p.~q) so: Setzen wir statt „q“ „p“ ein und untersuchen die Verbindung der äußersten W und F mit den innersten, so ergibt sich, dass die Wahrheit des ganzen Satzes allen Wahrheitskombinationen seines Argumentes, seine Falschheit keiner der Wahrheitskombinationen zugeordnet ist.