Jede Wahrheitsfunktion ist ein Resultat der successiven 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.