En lógica proposicional, una tautología (del griego ταυτολογία) es una fórmula proposicional que siempre es verdadera, y a veces se denota con el símbolo
⊤
{\displaystyle \top }
(símbolo también reservado para el valor de verdad «verdadero»). En otras palabras, una tautología no puede ser errónea. Por ejemplo, las fórmulas matemáticas son tautológicas porque siempre son verdaderas para cualquier valor. El filósofo Ludwig Wittgenstein aplicó por primera vez el término a la lógica proposicional en 1921.
En lógica, un enunciado se considera contingente si no es ni tautológico ni falso.
Algunos ejemplos de tautologías en el lenguaje natural son:
Estas tautologías son oraciones de la siguiente forma:
En efecto, si A no es verdadero, entonces A no es verdadero, por lo que la tautología sigue siendo verdadera.