29. Implicaciones y equivalencias notables

29.1 Introducción

En los temas anteriores estudiamos operadores, tablas de verdad y leyes de equivalencia. Ahora reuniremos algunas transformaciones especialmente importantes para trabajar con implicaciones y equivalencias.

Estas formas aparecen en demostraciones, reglas de inferencia, validaciones de programas y simplificación de expresiones booleanas.

29.2 Implicación material

La equivalencia más importante para la implicación es:

Esto permite reemplazar una implicación por una disyunción. En programación, esta forma es útil para validar reglas del tipo "si ocurre p, debe ocurrir q".

29.3 Tabla de p → q y ¬p ∨ q

Las columnas finales coinciden en todas las filas.

29.4 Contrarrecíproca

Una implicación es equivalente a su contrarrecíproca.

Ejemplo:

29.5 Recíproca e inversa

La recíproca y la inversa no son necesariamente equivalentes a la implicación original.

29.6 Negación de una implicación

Negar una implicación produce una conjunción:

Esto expresa exactamente el único caso en que una implicación falla: p es verdadera y q es falsa.

29.7 Ejemplo de negación de implicación

Consideremos la regla:

La regla falla cuando:

En símbolos:

29.8 Bicondicional como doble implicación

El bicondicional puede expresarse como dos implicaciones simultáneas.

Esto significa que p implica q y q implica p.

29.9 Bicondicional con AND, OR y NOT

Otra forma notable del bicondicional es:

Esto expresa que ambas proposiciones tienen el mismo valor de verdad: ambas verdaderas o ambas falsas.

29.10 XOR y bicondicional

El XOR y el bicondicional son opuestos en el caso de dos proposiciones.

XOR es verdadero cuando los valores son distintos. El bicondicional es verdadero cuando los valores son iguales.

29.11 Equivalencias notables en JavaScript

Algunas equivalencias pueden escribirse directamente con booleanos.

const p = true;
const q = false;

const implicacion = !p || q;
const fallaImplicacion = p && !q;
const bicondicional = p === q;
const xor = p !== q;

console.log({ implicacion, fallaImplicacion, bicondicional, xor });

29.12 Validar una regla condicional

Supongamos la regla: si un usuario es menor de edad, entonces debe tener autorización.

const edad = 16;
const tieneAutorizacion = false;

const esMenor = edad < 18;
const reglaCumplida = !esMenor || tieneAutorizacion;
const reglaFallida = esMenor && !tieneAutorizacion;

console.log(reglaCumplida);
console.log(reglaFallida);

La regla se cumple con ¬p ∨ q y falla con p ∧ ¬q.

29.13 Tabla resumen

29.14 Errores comunes

• Confundir una implicación con su recíproca.
• Olvidar que p → q equivale a ¬p ∨ q.
• Negar una implicación como ¬p → ¬q, lo cual no es correcto.
• Usar bicondicional cuando solo se necesita una implicación.
• Confundir XOR con OR inclusivo.

29.15 Qué debes recordar de este tema

• p → q ≡ ¬p ∨ q.
• p → q ≡ ¬q → ¬p.
• ¬(p → q) ≡ p ∧ ¬q.
• p ↔ q equivale a dos implicaciones en ambos sentidos.
• Estas equivalencias ayudan a analizar reglas y preparar argumentos lógicos.

29.16 Conclusión

Las implicaciones y equivalencias notables permiten transformar reglas condicionales, detectar fallos lógicos y comparar expresiones. Son una base importante para estudiar argumentos y reglas de inferencia.

En el próximo tema estudiaremos los argumentos lógicos.