En lógica proposicional, una tautología (del griego "ταυτολογία", "decir lo mismo") es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.