5.234 As funções de verdade das proposições elementares resultam de operações que têm como bases as proposições elementares. (A essa operação chamo de operação-verdade.)