Uma proposição lógica composta cujo valor lógico é sempre verdadeiro, quaisquer que sejam os valores lógicos das proposições que a compõem, é chamada de