É uma proposição composta que será sempre verdadeira, independentemente dos valores lógicos das proposições simples que a compõem. Acerca dessas informações, assinale a alternativa que apresenta esse conceito.