5˙2341
Der Sinn einer Wahrheitsfunktion von p ist eine Funktion des Sinnes von p.
(Die Verneinung verkehrt den Sinn des Satzes.) Verneinung, logische Addition, logische Multiplikation, etc., etc. sind Operationen.