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.