Template:Individual-TLP-paragraph-pt-br-5.5
5.5 Cada função de verdade resulta da aplicação sucessiva da operação (– – – – –V)(ξ, . . . .) sôbre proposições elementares.
Esta operação nega tôdas as proposições no interior dos parênteses da direita, e a chamo negação dessas proposições.