O que é uma tautologia em lógica proposicional?

Resposta

Uma tautologia é uma proposição composta que é sempre verdadeira para todas as combinações possíveis dos valores das proposições que a compõem.

Pode ser verificada por tabela-verdade ou por equivalências lógicas, por exemplo, \(p \lor \neg p\) é verdadeira em todas as interpretações.