// referencia · NIFF
⇎ Negación del bicondicional_
La negación del bicondicional, escrita p ⇎ q, afirma que p y q no son equivalentes: tienen valores de verdad distintos. Su tabla es idéntica a la de la disyunción exclusiva ⊕, de modo que p ⇎ q ≡ ¬(p ⇔ q) ≡ p ⊕ q. Es la herramienta natural para detectar en qué filas dos fórmulas difieren.
Tabla de verdad: p ⇎ q
| p | q | p ⇎ q★ |
|---|---|---|
| V | V | F |
| V | F | V |
| F | V | V |
| F | F | F |
Clasificación: Contingencia · 4 filas
Definición
p ⇎ q es verdadera cuando p y q tienen valores distintos y falsa cuando coinciden. Es la tabla de p ⇔ q con todos los valores invertidos y, a la vez, la misma tabla que p ⊕ q.
En los textos suele escribirse ¬(p ⇔ q), ¬(p ↔ q) o p ≢ q. La calculadora incluye el símbolo ⇎ para que la negación aparezca como un único paso.
Cómo se lee
p ⇎ q se lee «p no es equivalente a q», «p no si y solo si q» o «p y q difieren». Describe la situación en que exactamente una de las dos proposiciones es verdadera.
Cuándo es verdadera
La tabla tiene cuatro filas. Con p = V y q = V, p ⇎ q = F. Con p = V y q = F, p ⇎ q = V. Con p = F y q = V, p ⇎ q = V. Con p = F y q = F, p ⇎ q = F.
Dos filas verdaderas y dos falsas: una contingencia con exactamente la tabla de XOR.
Ejemplo cotidiano
Para comprobar si dos fórmulas A y B son equivalentes, construye la tabla de A ⇎ B. Si aparece algún V, esa fila es un contraejemplo: allí las fórmulas difieren. Si toda la columna es F, las fórmulas son equivalentes. Es el método que usa la calculadora para comparar expresiones.
Propiedades y equivalencias
Definición: p ⇎ q ≡ ¬(p ⇔ q). Equivalencia con XOR: p ⇎ q ≡ p ⊕ q. Forma normal: p ⇎ q ≡ (p ∧ ¬q) ∨ (¬p ∧ q).
Hereda las propiedades de XOR: es conmutativa y asociativa, p ⇎ p es una contradicción y p ⇎ ¬p es una tautología.
Errores comunes
Creer que negar «p si y solo si q» produce «p si y solo si no q» y que eso es algo distinto. En realidad ¬(p ⇔ q) ≡ p ⇔ ¬q ≡ p ⊕ q: las tres expresiones tienen la misma tabla.
Confundir ⇎ con ⇏. La primera niega la equivalencia (dos filas verdaderas); la segunda niega la implicación en un solo sentido (una fila verdadera).
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
Preguntas frecuentes
¿p ⇎ q es lo mismo que XOR? ▼
Sí. Tienen exactamente la misma tabla de verdad: verdadero cuando p y q difieren, falso cuando coinciden. p ⇎ q ≡ p ⊕ q.
¿Para qué sirve la negación del bicondicional? ▼
Para comparar fórmulas: A ⇎ B es verdadera justo en las filas donde A y B dan resultados distintos. Si su columna es toda falsa, A y B son equivalentes.
¿Cuál es la diferencia entre ⇎ y ⇏? ▼
⇎ niega la equivalencia en ambos sentidos y tiene dos filas verdaderas. ⇏ niega la implicación en un solo sentido y tiene una sola fila verdadera (p = V, q = F).