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