Proposição composta que será sempre verdadeira, independentemente dos valores lógicos das proposições simples que a compõem. É uma fórmula ou afirmação que é verdadeira em todas as circunstâncias possíveis. No que se refere a esse conceito, assinale a alternativa correta.