5.3

Home
Su
1.
2.
3.
4.
6.

 

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.31    Gli schemi di 4.31 hanno un significato anche se "p", "q", "r", etc. non sono proposizioni elementari.

Ed è facile vedere che il segno proposizionale in 4.442 esprime, anche se "p" e "q" sono funzioni di verità di proposizioni elementari, un'unica funzione di verità di proposizioni elementari.

5.32    Tutte le funzioni di verità sono risultati dell'applicazione successiva di un numero finito d'operazioni di verità alle proposizioni elementari.