La proposizione è una funzione di verità delle proposizioni elementari.

(La proposizione elementare è una funzione di verità di se stessa.)

5.01 - 5.02

5.1 (01+5)    Le funzioni di verità possono ordinarsi in delle serie.

Ecco il fondamento della teoria della probabilità.

5.2 (5)    Le strutture delle proposizioni stanno in relazioni interne l'una all'altra.

5.3 (2)    Tutte le proposizioni sono risultati d'operazioni di verità con le proposizioni elementari.

L'operazione di verità è il modo nel quale dalle proposizioni elementari nasce  la funzione di verità.

Secondo l'essenza dell'operazione di verità, da funzioni di verità ne nasce una nuova, come, dalle proposizioni elementari, nasce la loro funzione di verità. Ogni operazione di verità riproduce, da funzioni di verità di proposizioni elementari, un'ulteriore funzione di verità di proposizioni elementari, una proposizione. Il risultato d'ogni operazione di verità con i risultati d'operazioni di verità con proposizioni elementari è di nuovo il risultato d'un'unica operazione di verità con proposizioni elementari.

Ogni proposizione è il risultato d'operazioni di verità con proposizioni elementari.

5.4 (7)    Qui si mostra che non vi sono "oggetti logici", "costanti logiche" (nel senso di Frege e di Russell).

5.5 (03+5)    Ogni funzione di verità è un risultato dell'applicazione successiva dell'operazione  (- - - - -V) (,....)  a proposizioni elementari.

Quest'operazione nega tutte le proposizioni nella parentesi di destra, ed io la chiamo la negazione di queste proposizioni.