Na lógica proposicional, uma tautologia é uma fórmula proposicional que