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 ...

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: