5.2341 Der Sinn einer Wahrheitsfunktion von p ist eine Funktion des Sinnes von p.

Verneinung, logische Addition, logische Multiplikation, etc., etc. sind Operationen.

(Die Verneinung verkehrt den Sinn des Satzes.)