// referencia · IF
⇒ Condicional_
El condicional, también llamado implicación material, expresa «si p, entonces q». La expresión p ⇒ q solo es falsa en un caso: cuando el antecedente p es verdadero y el consecuente q es falso. Es el operador que más confusión genera entre estudiantes, precisamente porque es verdadero siempre que p es falso.
Tabla de verdad: p ⇒ q
| p | q | p ⇒ q★ |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Clasificación: Contingencia · 4 filas
Definición
En p ⇒ q, la proposición p se llama antecedente (o hipótesis) y q se llama consecuente (o conclusión). El condicional afirma que no puede darse el antecedente sin el consecuente; no afirma que p sea la causa de q ni que p ocurra realmente.
En los libros verás p → q, p ⊃ q (notación de Russell) o p ⇒ q. La calculadora usa ⇒ como símbolo canónico y también acepta →. No confundas este operador con el «entonces» de una demostración: aquí es solo una función de verdad.
Cómo se lee
p ⇒ q se lee «si p, entonces q», «p implica q», «p es suficiente para q», «q es necesario para p», «q si p» o «p solo si q». Todas estas formulaciones tienen la misma tabla de verdad.
Ten cuidado con «p solo si q»: significa p ⇒ q, no q ⇒ p. Y «p si q» significa q ⇒ p. Identificar bien cuál es el antecedente es el paso clave al formalizar.
Cuándo es verdadera
La tabla tiene cuatro filas. Con p = V y q = V, p ⇒ q = V (la promesa se cumple). Con p = V y q = F, p ⇒ q = F (el único caso falso: antecedente verdadero y consecuente falso). Con p = F y q = V, p ⇒ q = V. Con p = F y q = F, p ⇒ q = V.
Las dos últimas filas se conocen como verdad vacua o por vacuidad: si el antecedente no se cumple, el condicional no queda refutado y por convención se considera verdadero. Piensa en una promesa: «si apruebas, te invito a cenar». Si no apruebas, no rompí la promesa hagas lo que hagas.
Ejemplo cotidiano
«Si llueve, la calle se moja». Si llueve y la calle está mojada, el enunciado es verdadero. Si llueve y la calle está seca, es falso. Si no llueve, el enunciado no se pone a prueba: puede que la calle esté mojada por otra razón (un camión de riego) o seca, y en ambos casos el condicional sigue siendo verdadero.
En programación, la garantía «si el usuario está autenticado, entonces tiene sesión» solo se viola cuando encuentras un usuario autenticado sin sesión.
Propiedades y equivalencias
Implicación material: p ⇒ q ≡ ¬p ∨ q. Esta equivalencia permite eliminar los condicionales de cualquier fórmula y es la base de muchas simplificaciones.
Contrapositiva: p ⇒ q ≡ ¬q ⇒ ¬p. Son lógicamente idénticas, y por eso demostrar la contrapositiva es una técnica válida de demostración.
Negación: ¬(p ⇒ q) ≡ p ∧ ¬q. La única forma de que un condicional sea falso es que ocurra el antecedente sin el consecuente. También: p ⇒ q ≡ ¬(p ∧ ¬q) y p ⇒ q ≡ q ￩ p (condicional inverso con los operandos intercambiados).
El condicional NO es conmutativo ni asociativo: p ⇒ q no equivale a q ⇒ p (su recíproca) ni a ¬p ⇒ ¬q (su inversa). Sin embargo, es transitivo: de p ⇒ q y q ⇒ r se sigue p ⇒ r (silogismo hipotético).
Errores comunes
Confundir el condicional con su recíproca. Que «si llueve, la calle se moja» sea verdadero no implica que «si la calle está mojada, llueve» lo sea. Esta falacia se llama afirmación del consecuente.
Creer que p ⇒ q es falso cuando p es falso. En lógica clásica es verdadero por vacuidad. Si este comportamiento te resulta extraño, recuerda que la tabla del condicional es la de ¬p ∨ q.
Interpretar la implicación como causalidad. «Si 2 + 2 = 5, entonces la Luna es de queso» es un condicional verdadero (antecedente falso), aunque no haya ninguna relación real entre las proposiciones.
Expresiones equivalentes
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 →Leyes y reglas relacionadas
Regla de inferencia
Modus ponens
(p ∧ (p ⇒ q)) ⇒ q
Regla de inferencia
Modus tollens
((p ⇒ q) ∧ ¬q) ⇒ ¬p
Regla de inferencia
Silogismo hipotético
((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r)
Equivalencia lógica
Ley de la contrapositiva
(p ⇒ q) ⇔ (¬q ⇒ ¬p)
Equivalencia lógica
Implicación material
(p ⇒ q) ⇔ (¬p ∨ q)
Equivalencia lógica
Ley de exportación
((p ∧ q) ⇒ r) ⇔ (p ⇒ (q ⇒ r))
Falacia
Falacia de afirmación del consecuente
((p ⇒ q) ∧ q) ⇒ p
Falacia
Falacia de negación del antecedente
((p ⇒ q) ∧ ¬p) ⇒ ¬q
Ley fundamental
Ley de Peirce
((p ⇒ q) ⇒ p) ⇒ p
Preguntas frecuentes
¿Por qué p ⇒ q es verdadero cuando p es falso? ▼
Porque el condicional solo promete algo cuando el antecedente ocurre. Si p no ocurre, la promesa no se pone a prueba y no puede ser falsa; se dice que es verdadera por vacuidad. Equivale a ¬p ∨ q, que es verdadera siempre que ¬p lo sea.
¿p ⇒ q es lo mismo que q ⇒ p? ▼
No. q ⇒ p es la recíproca y tiene una tabla distinta: difieren en las filas (V, F) y (F, V). Solo la contrapositiva ¬q ⇒ ¬p es equivalente a p ⇒ q.
¿Cuál es la única fila falsa del condicional? ▼
Cuando el antecedente es verdadero y el consecuente falso: p = V, q = F. Por eso ¬(p ⇒ q) ≡ p ∧ ¬q.
¿Qué diferencia hay entre → y ⇒? ▼
Ninguna en lógica proposicional básica: ambos denotan el condicional material. Algunos textos reservan ⇒ para la implicación lógica entre fórmulas, pero en la calculadora son intercambiables.