5.5 Ogni funzione di verità è un risultato dell'applicazione successiva dell'operazione (– – – – –V)(ξ, ....) a proposizioni elementari.

Questa operazione nega tutte le proposizioni nella parentesi di destra e io la chiamo la negazione di queste proposizioni.