5.2341 El sentido de una función de verdad de p es una función del sentido de p.

Negación, adición lógica, multiplicación lógica, etc., etc. son operaciones.

(La negación invierte el sentido de la proposición).