17. Tautologías

Una tautología es una expresión lógica que siempre resulta verdadera, sin importar los valores de verdad de sus proposiciones simples.

17.1 Introducción

Al evaluar una expresión lógica mediante una tabla de verdad, podemos observar su columna final. Si esa columna contiene solo valores verdaderos, la expresión es una tautología.

Las tautologías son importantes porque representan verdades lógicas: expresiones que son verdaderas por su estructura, no por el valor particular de sus variables.

17.2 Definición

Una tautología es una proposición compuesta que resulta verdadera para todas las combinaciones posibles de valores de sus proposiciones simples.

Si la última columna de la tabla de verdad contiene solo V, la expresión es una tautología.

17.3 Ejemplo clásico: p ∨ ¬p

La expresión p ∨ ¬p afirma que p es verdadera o p no es verdadera. En lógica clásica, esto siempre se cumple.

p ¬p p ∨ ¬p
V F V
F V V

Como la columna final siempre es verdadera, p ∨ ¬p es una tautología.

17.4 Principio del tercero excluido

La tautología p ∨ ¬p se relaciona con el principio del tercero excluido: una proposición es verdadera o falsa, sin una tercera posibilidad dentro de la lógica clásica.

"El usuario está activo o el usuario no está activo" siempre es verdadero si la proposición está bien definida.

17.5 Tautología con implicación

La expresión p → p también es una tautología. Afirma que si p ocurre, entonces p ocurre.

p p → p
V V
F V

17.6 Tautología con dos proposiciones

Veamos la expresión:

(p ∧ q) → p

Si se cumplen p y q, entonces necesariamente se cumple p.

p q p ∧ q (p ∧ q) → p
V V V V
V F F V
F V F V
F F F V

La columna final contiene solo valores verdaderos, por lo tanto es una tautología.

17.7 Cómo reconocer una tautología

Para reconocer una tautología mediante tablas de verdad:

  1. Construye la tabla con todas las combinaciones posibles.
  2. Evalúa las subexpresiones necesarias.
  3. Observa la columna final.
  4. Si todos los valores son verdaderos, la expresión es una tautología.

17.8 Tautología y validez de argumentos

Las tautologías se relacionan con la validez de los argumentos lógicos. Muchas formas válidas de razonamiento pueden expresarse como tautologías.

Si una forma argumental siempre conduce de premisas verdaderas a una conclusión verdadera, su estructura puede representarse mediante una tautología.

Más adelante veremos esto al estudiar reglas de inferencia como Modus Ponens y Modus Tollens.

17.9 Tautología en JavaScript

Podemos comprobar una tautología evaluando todas las combinaciones posibles.

const valores = [true, false];

for (const p of valores) {
  const expresion = p || !p;
  console.log({ p, expresion });
}

La expresión p || !p devuelve true para ambos valores posibles de p.

17.10 Tautologías y condiciones inútiles

En programación, una condición tautológica puede ser una señal de código innecesario.

const activo = false;

if (activo || !activo) {
  console.log("Esto siempre se ejecuta");
}

La condición siempre es verdadera, por lo que el if no está tomando una decisión real.

17.11 Ejemplo con permisos

Una expresión tautológica puede aparecer accidentalmente al combinar permisos.

const esAdmin = false;

if (esAdmin || !esAdmin) {
  console.log("Acceso permitido");
}

Esta condición permitiría el acceso siempre. Si la intención era proteger una acción, la regla está mal formulada.

17.12 Tautología no significa utilidad

Que una expresión sea siempre verdadera no significa que sea útil como condición en un programa. En lógica puede servir para demostrar una ley; en código, puede indicar una condición redundante.

Contexto Uso de una tautología
Lógica matemática Demostrar leyes y formas válidas
Programación Detectar condiciones redundantes o errores de diseño
Pruebas Evitar verificaciones que siempre pasan

17.13 Tautología y equivalencia lógica

Dos expresiones A y B son equivalentes si el bicondicional A ↔ B es una tautología.

Por ejemplo, para comprobar que p → q equivale a ¬p ∨ q, podemos verificar que:

(p → q) ↔ (¬p ∨ q)

sea verdadera en todas las filas de su tabla de verdad.

17.14 Errores comunes

  • Creer que una expresión es tautología por verla verdadera en un solo caso.
  • No revisar todas las filas de la tabla de verdad.
  • Confundir tautología con una expresión simplemente verdadera en cierto contexto.
  • Usar condiciones tautológicas en código sin darse cuenta.
  • Olvidar que una tautología depende de la forma lógica de la expresión.

17.15 Qué debes recordar de este tema

  • Una tautología siempre es verdadera.
  • Se reconoce porque la columna final de su tabla de verdad contiene solo valores verdaderos.
  • p ∨ ¬p es una tautología clásica.
  • Las tautologías ayudan a demostrar leyes lógicas y validez de razonamientos.
  • En programación, una condición tautológica puede indicar código redundante o una regla mal formulada.

17.16 Conclusión

Las tautologías muestran expresiones que siempre resultan verdaderas por su estructura lógica. Son fundamentales para estudiar equivalencias, leyes lógicas y argumentos válidos.

En el próximo tema estudiaremos las contradicciones.

Volver al índice