5.5 Cada función de verdad es un resultado de la aplicación sucesiva de la operación (‒ ‒ ‒ ‒ ‒V)(ξ, . . . .) a las proposiciones elementales.

Esta operación niega todas las proposiciones entre los paréntesis de la derecha y yo la llamo la negación de estas proposiciones.