Le funzioni di verità delle proposizioni elementari sono risultati d'operazioni che hanno le proposizioni elementari quali basi. (Io chiamo queste operazioni operazioni di verità.)

5.2341    Il senso d'una funzione di verità di p è una funzione del senso di p.

Negazione, addizione logica, moltiplicazione logica, etc. etc., sono operazioni.