Sempre que uma proposição composta recebe todos os seus possíveis valores lógicos verdadeiros, independentemente dos valores lógicos das proposições simples componentes, dizemos que a proposição em questão é uma: