5.32

Tôdas as funções de verdade resultam da aplicação sucessiva de um número finito de operações-verdades sôbre proposições elementares.