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

Gabarito

A

Comentário do professor

A alternativa correta é tautologia. Em lógica proposicional, chama-se tautologia uma fórmula que é sempre verdadeira para qualquer combinação de valores das proposições simples que a compõem.

Isso significa que, ao construir a tabela-verdade da expressão, todas as linhas resultam em verdadeiro. Em termos técnicos, a fórmula é verdadeira sob toda valuation (atribuição de verdade). Essa propriedade a distingue como uma validade lógica universal.

Um exemplo clássico é \(p \lor \neg p\). Se \(p\) for verdadeira, a disjunção é verdadeira; se \(p\) for falsa, \(\neg p\) é verdadeira, então a disjunção também é verdadeira. Assim, a tabela-verdade mostra apenas valores verdadeiros, confirmando que se trata de uma tautologia.