Nur einen Satz kann man verneinen, – wenn man also ein Zeichen mit den gleichen formellen Regeln, wie das der Verneinung in Verbindung mit Gleichungen verwendet, so wird zwar die Versuchung naheliegen es Verneinung zu nennen, aber von Verneinung im ersten Sinn ist hier keine Rede.