O que é uma contradição em lógica proposicional?

Contradição: uma fórmula que é sempre falsa para todas as valorações.

Exemplo:
Considere \( (p \land q) \land \lnot p \).
p = V, q = V: \( (V \land V) \land F = V \land F = F \)
p = V, q = F: \( (V \land F) \land F = F \land F = F \)
p = F, q = V: \( (F \land V) \land T = F \land T = F \)
p = F, q = F: \( (F \land F) \land T = F \land T = F \)
Como todas as linhas são F, a fórmula é uma contradição.