// leyes y reglas · Equivalencia lógica
Definición del bicondicional_
El bicondicional p ⇔ q («p si y solo si q») se define como la conjunción de las dos implicaciones p ⇒ q y q ⇒ p. La fórmula (p ⇔ q) ⇔ ((p ⇒ q) ∧ (q ⇒ p)) es una tautología y explica por qué las demostraciones de «si y solo si» siempre tienen dos partes.
Ejemplo
(p ⇔ q) ⇔ ((p ⇒ q) ∧ (q ⇒ p))
Significado de las variables
- ▸ p: «Un número es divisible entre 2»
- ▸ q: «Un número es par»
En palabras
«Un número es divisible entre 2 si y solo si es par» significa: si es divisible entre 2 es par, y si es par es divisible entre 2.
Tabla de verdad
| p | q | p ⇔ q | p ⇒ q | q ⇒ p | (p ⇒ q) ∧ (q ⇒ p) | (p ⇔ q) ⇔ ((p ⇒ q) ∧ (q ⇒ p))★ |
|---|---|---|---|---|---|---|
| V | V | V | V | V | V | V |
| V | F | F | F | V | F | V |
| F | V | F | V | F | F | V |
| F | F | V | V | V | V | V |
Clasificación: Tautología · 4 filas
Enunciado
(p ⇔ q) ⇔ ((p ⇒ q) ∧ (q ⇒ p)). El bicondicional es verdadero cuando p y q tienen el mismo valor de verdad; la doble implicación exige que ninguna de las dos direcciones se rompa.
Por eso se lee «si y solo si» (abreviado «sii» o «iff»): el «si» cubre q ⇒ p y el «solo si» cubre p ⇒ q.
Por qué es una tautología: lectura de la tabla
Filas p = V, q = V y p = F, q = F: p ⇔ q es V. Ambas implicaciones son V (antecedente y consecuente iguales), así que la conjunción es V. Coinciden.
Fila p = V, q = F: p ⇔ q es F; p ⇒ q es F, así que la conjunción es F. Fila p = F, q = V: p ⇔ q es F; q ⇒ p es F y la conjunción es F. Las columnas son idénticas en las cuatro filas.
Cómo se usa en demostraciones
Todo teorema de la forma «A si y solo si B» se demuestra en dos pasos: (⇒) suponer A y deducir B, y (⇐) suponer B y deducir A. Esta ley es la justificación de ese esquema.
En sistemas donde ⇔ no es primitivo, esta equivalencia es directamente su definición.
Ejemplos
Matemáticas: «Un triángulo es equilátero si y solo si sus tres ángulos son iguales» requiere probar las dos direcciones por separado.
Programación: la igualdad de booleanos `a == b` es el bicondicional. Es verdadera cuando `a` y `b` valen lo mismo, es decir, cuando `(!a || b) && (!b || a)`.
Relación con otras leyes
Sustituyendo cada implicación por implicación material se obtiene p ⇔ q equivale a (¬p ∨ q) ∧ (¬q ∨ p), y distribuyendo, a (p ∧ q) ∨ (¬p ∧ ¬q).
Su negación es el «o exclusivo»: ¬(p ⇔ q) equivale a p ⊕ q, que es verdadero cuando los valores difieren.
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é las demostraciones «si y solo si» tienen dos partes? ▼
Porque el bicondicional es la conjunción de dos implicaciones, y hay que probar cada una.
¿Qué diferencia hay entre ⇒ y ⇔? ▼
⇒ solo exige que q sea verdadera cuando p lo es; ⇔ además exige que p sea verdadera cuando q lo es. El bicondicional es más fuerte.
¿El bicondicional es lo mismo que la igualdad? ▼
Para valores de verdad, sí: p ⇔ q es V exactamente cuando p y q coinciden.