Template:Individual-TLP-paragraph-fr-5.5

5.5 Chaque fonction de vérité est le résultat d'applications successives de l'opération : (– – – – – V) (ξ,....) à des propositions élémentaires.

Cette opération nie l'ensemble des propositions comprises dans les parenthèses de droite, et je la nomme négation de ces propositions.