O que é uma tautologia em lógica proposicional?

Uma fórmula que é verdadeira para todas as atribuições de valores de verdade às suas proposições simples.

Uma tautologia é uma fórmula sempre verdadeira, independentemente dos valores de verdade das suas proposições componentes, ela indica validade lógica universal e é útil para reconhecer argumentos que não podem ser falsificados.

Exemplo: Considere a fórmula \( (P \land Q) \to P \).
Analise as valorações:
• P = V, Q = V: antecedente V, consequente V, fórmula V
• P = V, Q = F: antecedente F, fórmula V
• P = F, Q = V: antecedente F, fórmula V
• P = F, Q = F: antecedente F, fórmula V
Como a fórmula é verdadeira em todas as combinações, \( (P \land Q) \to P \) é uma tautologia.