5.2341 Le sens d'une fonction de vérité de p est une fonction du sens de p.

La négation, l'addition logique, la multiplication logique, etc., etc., sont des opérations.

(La négation inverse le sens de la proposition.)