// referencia · IFF
⇔ Bicondicional_
El bicondicional, o doble implicación, expresa «p si y solo si q». La expresión p ⇔ q es verdadera cuando p y q tienen el mismo valor de verdad (ambas verdaderas o ambas falsas) y falsa cuando difieren. Es el operador de la equivalencia.
Tabla de verdad: p ⇔ q
| p | q | p ⇔ q★ |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |
Clasificación: Contingencia · 4 filas
Definición
El bicondicional p ⇔ q es la conjunción de dos condicionales: (p ⇒ q) ∧ (q ⇒ p). De ahí su nombre: la implicación va en ambas direcciones. Es verdadero exactamente cuando p y q coinciden en su valor de verdad.
Símbolos alternativos: p ↔ q, p ≡ q (habitual en textos de álgebra y para indicar equivalencia lógica) y «p iff q» en inglés, abreviatura de if and only if. La calculadora usa ⇔ y también acepta ↔.
Cómo se lee
p ⇔ q se lee «p si y solo si q», «p es equivalente a q», «p es condición necesaria y suficiente para q» o «p exactamente cuando q».
La expresión «si y solo si» condensa dos frases: «p si q» (q ⇒ p) y «p solo si q» (p ⇒ q). Cuando ambas se cumplen, tenemos el bicondicional.
Cuándo es verdadera
La tabla tiene cuatro filas. Con p = V y q = V, p ⇔ q = V. Con p = V y q = F, p ⇔ q = F. Con p = F y q = V, p ⇔ q = F. Con p = F y q = F, p ⇔ q = V.
Dos filas verdaderas (cuando los valores coinciden) y dos falsas (cuando difieren). Es una contingencia y su tabla es exactamente la opuesta a la de la disyunción exclusiva ⊕.
Ejemplo cotidiano
«Apruebas si y solo si obtienes al menos 60 puntos». Con 60 o más apruebas; con menos no apruebas. No hay forma de aprobar con menos de 60 ni de reprobar con 60 o más: las dos condiciones van siempre juntas.
En matemáticas las definiciones son bicondicionales: «un número es par si y solo si es divisible entre 2». Por eso, para demostrar una equivalencia hay que probar las dos implicaciones por separado.
Propiedades y equivalencias
Definición: p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p). Forma normal: p ⇔ q ≡ (p ∧ q) ∨ (¬p ∧ ¬q). Relación con XOR: p ⇔ q ≡ ¬(p ⊕ q).
Es conmutativo (p ⇔ q ≡ q ⇔ p) y asociativo. Es reflexivo (p ⇔ p es tautología) y se conserva bajo negación de ambos lados: p ⇔ q ≡ ¬p ⇔ ¬q.
Cuando p ⇔ q es una tautología, decimos que p y q son lógicamente equivalentes y escribimos p ≡ q. Comprobar la equivalencia de dos fórmulas es exactamente construir la tabla de su bicondicional y verificar que salga todo verdadero.
Errores comunes
Confundir ⇔ con ⇒. «Si llueve, la calle se moja» (⇒) no dice que la calle se moje solo cuando llueve. «La calle se moja si y solo si llueve» (⇔) sí lo afirma, y es un enunciado mucho más fuerte.
Confundir ⇔ con ⊕: son opuestos. El bicondicional es verdadero cuando los valores coinciden; XOR cuando difieren. Sus tablas son la negación una de la otra.
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
Equivalencia lógica
Definición del bicondicional
(p ⇔ q) ⇔ ((p ⇒ q) ∧ (q ⇒ p))
Equivalencia lógica
Definición de XOR
(p ⊕ q) ⇔ ((p ∨ q) ∧ ¬(p ∧ q))
Equivalencia lógica
Ley de De Morgan (conjunción)
¬(p ∧ q) ⇔ (¬p ∨ ¬q)
Equivalencia lógica
Ley de De Morgan (disyunción)
¬(p ∨ q) ⇔ (¬p ∧ ¬q)
Equivalencia lógica
Ley de la contrapositiva
(p ⇒ q) ⇔ (¬q ⇒ ¬p)
Preguntas frecuentes
¿Qué significa «si y solo si»? ▼
Que las dos proposiciones son equivalentes: cada una implica a la otra. «p si y solo si q» es verdadero cuando p y q tienen el mismo valor de verdad, ambas verdaderas o ambas falsas.
¿Cuál es la diferencia entre ⇒ y ⇔? ▼
El condicional ⇒ va en una sola dirección y solo es falso con p verdadero y q falso. El bicondicional ⇔ va en ambas direcciones y es falso siempre que p y q difieren.
¿Cómo se relaciona el bicondicional con XOR? ▼
Son opuestos: p ⇔ q ≡ ¬(p ⊕ q). El bicondicional es verdadero cuando los valores coinciden y XOR cuando son distintos.