Uma tautologia é uma proposição que é sempre

Gabarito

B

Comentário do professor

Tautologia é uma proposição composta que é sempre verdadeira, isto é, seu valor lógico é verdadeiro para todas as combinações possíveis dos valores das proposições que a compõem.

Uma forma simples de verificar se uma expressão é tautologia é construir a tabela-verdade ou usar equivalências lógicas. Exemplo clássico: \(p \lor \neg p\).
Se \(p\) for verdadeira, \(p \lor \neg p\) é verdadeira; se \(p\) for falsa, \(\neg p\) é verdadeira, logo \(p \lor \neg p\) também é verdadeira em ambos os casos.

Portanto, expressões como \(p \lor \neg p\) são tautologias porque não existem valores das proposições componentes que tornem a expressão falsa. Esse caráter universal é o que define uma tautologia.