Jede Wahrheitsfunktion ist ein Resultat der sukzessiven Anwendung der Operation   (- - - - -W) (,....)  auf Elementarsätze.

Diese Operation verneint sämtliche Sätze in der rechten Klammer, und ich nenne sie die Negation dieser Sätze.

5.501 - 5.503

5.51 (5)   Hat nur einen Wert, so ist N() = ~p (nicht p), hat es zwei Werte, so ist N() = ~p.~q (weder p, noch q).

5.52 (6)   Sind die Werte von sämtliche Werte einer Funktion fx für alle Werte von x, so wird N() = ~(x).fx.

5.53 (03+5)   Gleichheit des Gegenstandes drücke ich durch Gleichheit des Zeichens aus, und nicht mit Hilfe eines Gleichheitszeichens. Verschiedenheit der Gegenstände durch Verschiedenheit der Zeichen.

5.54 (2)   In der allgemeinen Satzform kommt der Satz im Satze nur als Basis der Wahrheitsoperationen vor.

5.55 (7)   Wir müssen nun die Frage nach allen möglichen Formen der Elementarsätze a priori beantworten.