Na lógica proposicional, uma tautologia é uma fórmula proposicional que é verdadeira para todas as possíveis valorações de suas variáveis proposicionais. Por exemplo, a fórmula proposicional é uma tautologia, porque é verdadeira para todas as valorações de A.