Negación de una proposición condicional

La negación de una proposición condicional (p → q) es equivalente a una conjunción formada por el antecedente original y la negación del consecuente: ¬(p → q) ≡ p ∧ ¬q. En palabras, el procedimiento consiste en conservar el antecedente tal como está, cambiar el condicional por una conjunción («y») y negar el consecuente.

Comprender esta equivalencia no requiere memorizar fórmulas, sino analizar cuándo una afirmación condicional resulta falsa. Negar una proposición consiste en señalar que su contenido no se cumple; en una implicación de la forma «si ocurre p, entonces ocurre q», el único escenario que la invalida sucede cuando la condición inicial se verifica plenamente pero la consecuencia prometida no ocurre. Por este motivo, afirmar que un condicional es falso equivale a comprobar que se da el antecedente y, al mismo tiempo, no se da el consecuente.

Un error frecuente consiste en creer que negar un condicional genera otro condicional, como «si p, entonces no q» (p → ¬q) o «si no p, entonces no q» (¬p → ¬q). La negación de un compromiso no establece una nueva condición bajo hipótesis futuras, sino que denota un hecho concreto del presente: la hipótesis se cumplió y el resultado falló.

Ejemplos

Para observar cómo opera la regla de mantener el antecedente y negar el consecuente, analizamos los siguientes enunciados en lenguaje natural y formal:

1. La negación de «si llueve, entonces uso paraguas» (p → q) es «llueve y no uso paraguas» (p ∧ ¬q).
2. La negación de «si estudio para el examen, entonces apruebo» (p → q) es «estudio para el examen y no apruebo» (p ∧ ¬q).
3. La negación de «si un número termina en cero, entonces es divisible por 5» (p → q) es «el número termina en cero y no es divisible por 5» (p ∧ ¬q).
4. La negación de «si un polígono es un cuadrado, entonces tiene cuatro lados» (p → q) es «el polígono es un cuadrado y no tiene cuatro lados» (p ∧ ¬q).
5. La negación de «si x = 3, entonces 2x + 1 = 7» (p → q) es «x = 3 y 2x + 1 ≠ 7» (p ∧ ¬q).
6. La negación de «si x > 4, entonces x² > 16» (p → q) es «x > 4 y x² ≤ 16» (p ∧ ¬q).

Demostración formal

Para comprobar que la equivalencia ¬(p → q) ≡ p ∧ ¬q es válida en todos los casos posibles, podemos recurrir a dos métodos estándar de la lógica proposicional: la simplificación mediante leyes de equivalencia lógica y la construcción de una tabla de verdad.

Demostración mediante leyes de equivalencia lógica

Para desarrollar la prueba algebraica, partimos de la definición clásica del condicional expresado en términos de disyunción y negación:

1. Escribimos la equivalencia del condicional: p → q ≡ ¬p ∨ q.
2. Aplicamos la negación en ambos lados de la relación: ¬(p → q) ≡ ¬(¬p ∨ q).
3. Utilizamos las leyes de De Morgan para distribuir la negación sobre la disyunción, transformándola en una conjunción: ¬(¬p ∨ q) ≡ ¬(¬p) ∧ ¬q.
4. Aplicamos la ley de doble negación sobre el primer término (¬(¬p) ≡ p) para obtener la expresión final: p ∧ ¬q.

Con este procedimiento comprobamos algebraicamente que ¬(p → q) ≡ p ∧ ¬q sin depender de interpretaciones semánticas.

Demostración mediante tabla de verdad

Para verificar la equivalencia comparando cada combinación de valores de verdad, construimos la tabla para las proposiciones simples p y q, evaluando paso a paso el condicional original, su negación y la conjunción resultante:

Al comparar la quinta columna (¬(p → q)) con la última (p ∧ ¬q), observamos que ambas arrojan exactamente los mismos valores de verdad para cada una de las filas (F, V, F, F). Esta coincidencia demuestra que ambas fórmulas son lógicamente equivalentes.