// leyes y reglas · Equivalencia lógica
Implicación material_
La ley de implicación material dice que el condicional p ⇒ q equivale a la disyunción ¬p ∨ q: «si p entonces q» es lo mismo que «no p, o q». Esta equivalencia, una tautología, permite eliminar el operador ⇒ de cualquier fórmula y explica por qué una implicación con antecedente falso es verdadera.
Ejemplo
(p ⇒ q) ⇔ (¬p ∨ q)
Significado de las variables
- ▸ p: «Pides el menú»
- ▸ q: «El postre va incluido»
En palabras
«Si pides el menú, el postre va incluido» equivale a «o no pides el menú, o el postre va incluido».
Tabla de verdad
| p | q | p ⇒ q | ¬p | ¬p ∨ q | (p ⇒ q) ⇔ (¬p ∨ q)★ |
|---|---|---|---|---|---|
| V | V | V | F | V | V |
| V | F | F | F | F | V |
| F | V | V | V | V | V |
| F | F | V | V | V | V |
Clasificación: Tautología · 4 filas
Enunciado
(p ⇒ q) ⇔ (¬p ∨ q). El condicional solo promete algo cuando p es verdadera; si p es falsa, la promesa no se rompe. Eso es exactamente lo que dice ¬p ∨ q: o bien p no ocurre, o bien q se cumple.
Se llama «material» porque el condicional de la lógica clásica solo atiende a los valores de verdad, no a una relación de causa o relevancia entre p y q.
Por qué es una tautología: lectura de la tabla
Fila p = V, q = F: p ⇒ q es F (la promesa se rompe). ¬p es F y q es F, así que ¬p ∨ q es F. Coinciden.
En las otras tres filas p ⇒ q es V. Si p = F, entonces ¬p = V y la disyunción es V; si p = V y q = V, la disyunción es V gracias a q. Las dos columnas son idénticas.
Cómo se usa en demostraciones
Es el paso estándar para convertir fórmulas a forma normal: cada ⇒ se reemplaza por ¬… ∨ …, y después se aplican De Morgan y distributividad.
También sirve para demostrar la contrapositiva y para ver el modus ponens como un silogismo disyuntivo.
Ejemplos
Programación: la condición «si el usuario es administrador debe tener 2FA» se valida con `!esAdmin || tiene2FA`. Muchos lenguajes no tienen operador de implicación, y esta es la forma de escribirla.
Cotidiano: la regla «si hay clase, hay asistencia» se cumple trivialmente en vacaciones: no hay clase, así que ¬p es verdadera y nadie incumple la regla.
Relación con otras leyes
Negando ambos lados y aplicando De Morgan se obtiene ¬(p ⇒ q) ⇔ (p ∧ ¬q): la negación de un condicional es «p y no q», que es exactamente el operador ⇏.
Junto a la definición del bicondicional permite expresar cualquier fórmula usando solo ¬, ∧ y ∨.
Pruébalo tú mismo
Modifica la expresión en la calculadora y observa cómo cambia cada paso de la tabla.
Abrir en la calculadora →Operadores relacionados
Preguntas frecuentes
¿Por qué una implicación con antecedente falso es verdadera? ▼
Porque p ⇒ q equivale a ¬p ∨ q, y si p es falsa, ¬p es verdadera, lo que hace verdadera la disyunción. La regla no se incumple si nunca se activa.
¿La implicación material es lo mismo que causalidad? ▼
No. Solo relaciona valores de verdad. «Si 2 + 2 = 5, entonces la Luna es de queso» es verdadera en lógica clásica porque el antecedente es falso.
¿Cómo escribo p ⇒ q en un lenguaje de programación? ▼
Como `!p || q`. Es la traducción directa de esta ley.