Se nota que estamos en Lunes

En lógica, una tautología (del griego ταυτολογία, "decir lo mismo") es una fórmula bien formada de un sistema de lógica proposicional 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. La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o no.

En la retórica, una tautología (del griego ταυτολογία, decir lo mismo) es una afirmación obvia, vacía o redundante. Por ejemplo, como "explicaban" los pseudo-maestros a Monsieur Jourdain en El burgués gentilhombre de Molière: "El calor es producido por una substancia llamada calóricum."

En teoría de la información, la redundancia es una propiedad de los mensajes destinados a la comunicación consistente en tener partes predictibles a partir del resto del mensaje y que por tanto en sí mismo no aportan nueva información o "repiten" parte de la información.

En numerosas aplicaciones, así como en las lenguas naturales la redundancia es una estrategia ampliamente usada para evitar malentendidos o errores de decodificación. Descriptivamente, la redundancia constituye factor comunicativo estratégico que consiste en intensificar, subrayar y repetir la información contenida en el mensaje a fin de que el factor de la comunicación ruido no provoque una pérdida fundamental de información. También tiene como significado exceso.

Ejemplos:

• "Sube arriba". Siempre se sube hacia arriba.
• "Baja abajo". Siempre se baja hacia abajo.

En la retórica española, la redundancia suele entenderse como una falta de estilo, aunque a veces se utiliza intencionadamente para dar énfasis, por ejemplo "lo vi con mis propios ojos". En este sentido, también se puede llamar pleonasmo. Cuando la tautología retórica pretende ser una explicación, y esa explicación es evidentemente redundante sin aportar más conocimiento, se denomina perogrullada: "el ser es lo que es". En ocasiones, el pleonasmo tiene, como la rima, una función instructiva para reforzar la memoria de un tema.