5.2341 O sentido de uma função de verdade de p é função do sentido de p.

Negação, soma lógica, multiplicação lógica, etc., etc., são operações.

(A negação inverte o sentido da proposição.)