La proposition est une fonction de vérité des propositions élémentaires.

(La proposition élémentaire est une fonction de vérité d'elle-même.)

5.01 - 5.02

5.1 (01+5)    Les fonctions de vérité peuvent être ordonnées en séries.

Tel est le fondement de la théorie des probabilités.

5.2 (5)    Les structures des propositions ont entre elles des relations internes.

5.3 (2)    Toutes les propositions sont les résultats d'opérations de vérité sur des propositions élémentaires.

L'opération de vérité est la manière dont, a partir des propositions élémentaires, nait la fonction de vérité.

De par de nature de l’opération de vérité, de même que nait des propositions élémentaires leur fonction de vérité, de même naitra des fonctions de vérité une fonction de vérité nouvelle. Chaque opération de vérité engendre, à partir de fonction de vérité de propositions élémentaires, une nouvelle fonction de vérité de propositions élémentaires, une proposition. Le résultat de chaque opération de vérité sur les résultats d’opérations de vérité sur des propositions élémentaires est à nouveau le résultat d’une opération de vérité sur des propositions élémentaires.

Chaque proposition est le résultat d’opérations de vérité sur des propositions élémentaires.

5.4 (7)    Il se montre ici qu’il n’y a pas d’ " objets logiques ", de " constantes logiques " (au sens de Frege et de Russell).

5.5 (03+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.