Tautologías y Contradicciones: Verdades y Falsedades Absolutas

Clasificación de proposiciones por su valor de verdad

Toda proposición compuesta puede clasificarse en una de tres categorías mutuamente excluyentes según su tabla de verdad.

Tautología

Una tautología es una proposición compuesta que es verdadera en todas las filas de su tabla de verdad, sin importar los valores de verdad de sus proposiciones componentes.

Símbolo: Se indica con ⊤ (verum) o simplemente se dice que la proposición "es una tautología".

Contradicción

Una contradicción (también llamada antinomia o falsedad lógica) es una proposición compuesta que es falsa en todas las filas de su tabla de verdad.

Símbolo: Se indica con ⊥ (falsum) o se dice que la proposición "es una contradicción".

Contingencia

Una contingencia es una proposición compuesta que es verdadera en algunas filas y falsa en otras. La mayoría de las proposiciones que encontramos son contingencias.

Tautologías fundamentales

Ley del tercero excluido

p ∨ ¬p siempre es verdadera.

Si p es V: V ∨ F = V

Si p es F: F ∨ V = V

Ejemplo: "Llueve o no llueve" es siempre verdadero.

Ley de identidad para el condicional

p → p siempre es verdadera.

"Si llueve, entonces llueve" es trivialmente verdadero.

Modus ponens

((p → q) ∧ p) → q es una tautología.

Esta es la forma de argumento más básica: si "p implica q" y "p es verdadero", entonces "q debe ser verdadero".

Modus tollens

((p → q) ∧ ¬q) → ¬p es una tautología.

Si "p implica q" y "q es falso", entonces "p debe ser falso".

Ley de contraposición

(p → q) ↔ (¬q → ¬p) es una tautología.

El condicional es equivalente a su contrarrecíproca.

Leyes de De Morgan

¬(p ∧ q) ↔ (¬p ∨ ¬q) es una tautología.

¬(p ∨ q) ↔ (¬p ∧ ¬q) es una tautología.

Ley de absorción

p ∨ (p ∧ q) ↔ p es una tautología.

p ∧ (p ∨ q) ↔ p es una tautología.

Contradicciones fundamentales

Ley de no contradicción

p ∧ ¬p siempre es falsa.

Si p es V: V ∧ F = F

Si p es F: F ∧ V = F

Ejemplo: "Llueve y no llueve" es siempre falso.

Otras contradicciones

¬(p ∨ ¬p) es siempre falsa (la negación de una tautología es una contradicción).

(p → q) ∧ (p ∧ ¬q) es siempre falsa (afirmar que p implica q mientras p es verdadero y q falso).

Cómo identificar tautologías y contradicciones

Método de la tabla de verdad

El método más directo: construir la tabla completa y verificar:

• Si todas las filas dan V → Tautología

• Si todas las filas dan F → Contradicción

• Si hay mezcla de V y F → Contingencia

Ejemplo: verificar que p → (q → p) es tautología

Construimos la tabla con 4 filas (2 variables):

p=V, q=V: V → (V → V) = V → V = V

p=V, q=F: V → (F → V) = V → V = V

p=F, q=V: F → (V → F) = F → F = V

p=F, q=F: F → (F → F) = F → V = V

Todas las filas dan V, por lo tanto es una tautología.

Método de reducción al absurdo

Para verificar si una proposición es tautología:

• Suponer que es falsa

• Derivar las consecuencias de esa suposición

• Si llegamos a una contradicción, la proposición original es tautología

Relaciones entre categorías

Negación de tautologías y contradicciones

• La negación de una tautología es una contradicción

• La negación de una contradicción es una tautología

• La negación de una contingencia sigue siendo una contingencia

Equivalencia lógica y tautologías

Dos proposiciones P y Q son lógicamente equivalentes (P ≡ Q) si y solo si P ↔ Q es una tautología.

Por ejemplo, para demostrar que p → q ≡ ¬p ∨ q, verificamos que (p → q) ↔ (¬p ∨ q) es tautología.

Aplicaciones de tautologías y contradicciones

Validación de argumentos

Un argumento es válido si la conjunción de sus premisas implicando la conclusión es una tautología.

Argumento: "Si estudias apruebas. Estudias. Por lo tanto, apruebas."

Forma: ((p → q) ∧ p) → q

Esta es la tautología del modus ponens, por lo tanto el argumento es válido.

Simplificación de circuitos

En diseño digital, las tautologías permiten simplificar circuitos:

Si una expresión lógica es equivalente a otra más simple (verificado porque su bicondicional es tautología), podemos usar la más simple.

Pruebas matemáticas

Las leyes lógicas que son tautologías se usan constantemente en demostraciones:

• Prueba por contraposición: usar que (p → q) ≡ (¬q → ¬p)

• Prueba por contradicción: si asumir ¬p lleva a una contradicción, entonces p es verdadero

• Prueba por casos: usar que (p ∨ q) → r ≡ (p → r) ∧ (q → r)

Detección de errores lógicos

Si un razonamiento llega a una contradicción, algo está mal en las premisas o en el proceso. Esto es la base de la prueba por contradicción.

Leyes lógicas importantes (todas son tautologías)

Leyes de idempotencia

p ∧ p ≡ p

p ∨ p ≡ p

Leyes conmutativas

p ∧ q ≡ q ∧ p

p ∨ q ≡ q ∨ p

Leyes asociativas

(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

Leyes distributivas

p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)

Leyes de identidad

p ∧ V ≡ p

p ∨ F ≡ p

Leyes de dominación

p ∧ F ≡ F

p ∨ V ≡ V

Ejercicios resueltos

Ejercicio 1: Clasificar proposiciones

Clasifica (p → q) ∨ (q → p)

Construimos la tabla:

p=V, q=V: (V→V) ∨ (V→V) = V ∨ V = V

p=V, q=F: (V→F) ∨ (F→V) = F ∨ V = V

p=F, q=V: (F→V) ∨ (V→F) = V ∨ F = V

p=F, q=F: (F→F) ∨ (F→F) = V ∨ V = V

Resultado: Es una tautología. Siempre existe una implicación entre dos proposiciones cualesquiera en al menos una dirección.

Ejercicio 2: Demostrar equivalencia

Demuestra que ¬(p → q) ≡ p ∧ ¬q

Verificamos que ¬(p → q) ↔ (p ∧ ¬q) es tautología:

Ambas expresiones dan V solo cuando p=V y q=F, y F en todos los demás casos.

Por lo tanto, son equivalentes y su bicondicional es tautología.

Conclusión

Las tautologías y contradicciones representan los extremos del espectro lógico: verdades absolutas y falsedades absolutas. Las tautologías son especialmente importantes porque representan las leyes del pensamiento válido, aquellas reglas que siempre funcionan independientemente de los valores de verdad específicos. Dominar estas leyes es esencial para construir argumentos sólidos, simplificar expresiones lógicas y fundamentar el razonamiento matemático.