O que é uma tautologia em lógica proposicional?

Uma fórmula que é verdadeira para todas as atribuições possíveis de valores às suas proposições atômicas.

Explicação: Uma expressão é tautologia quando, independentemente de cada proposição atômica ser verdadeira (V) ou falsa (F), o valor final da fórmula é sempre V.
Considere a fórmula \( (p\land q)\to p \).

Exemplo:
Avaliação por atribuições:
- \(p=V,q=V:\ (p\land q)=V,\ (p\land q)\to p = V\)
- \(p=V,q=F:\ (p\land q)=F,\ (p\land q)\to p = V\)
- \(p=F,q=V:\ (p\land q)=F,\ (p\land q)\to p = V\)
- \(p=F,q=F:\ (p\land q)=F,\ (p\land q)\to p = V\)
Como a fórmula vale V em todas as atribuições, ela é uma tautologia.