5˙5
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.