4. Leyes de Equivalencia Lógica: Guía Completa con Ejemplos

En esta ocasión aprenderás a simplificar expresiones lógicas complejas usando ciertas reglas establecidas. En esta guía usarás las leyes de equivalencia lógica, herramientas fundamentales para transformar y simplificar proposiciones sin cambiar su valor de verdad.

¿Qué es una Equivalencia Lógica?

Dos proposiciones son lógicamente equivalentes cuando tienen exactamente los mismos valores de verdad (desde ahora simplemente la llamaremos Valores) para todas las combinaciones posibles de sus variables.

Definición Formal

Decimos que p ≡ q (p es equivalente a q) si y solo si p ↔ q es una tautología.

En otras palabras, p y q son equivalentes cuando el bicondicional entre ellas es siempre verdadero.

Símbolos de Equivalencia

Símbolo	Uso
≡	Equivalencia lógica (el más común)
⇔	Otros textos
⟺	Notación alternativa

¿Para qué sirven las equivalencias?

Las leyes de equivalencia permiten:

1. Simplificar expresiones lógicas complejas
2. Demostrar que dos expresiones son iguales sin usar tablas de verdad
3. Transformar una expresión en otra más conveniente
4. Verificar argumentos lógicos

Leyes Fundamentales de Equivalencia

Las leyes de equivalencia lógica son reglas establecidas que permiten transformar una expresión lógica en otra expresión con el mismo valor de verdad para todas las combinaciones posibles de sus variables.

1. Ley de Identidad

Una proposición combinada con sus valores constantes mantiene su identidad:

Ley	Fórmula	Explicación
Identidad con V	p ∧ V ≡ p	«p Y verdadero» es simplemente p
Identidad con F	p ∨ F ≡ p	«p O falso» es simplemente p

Ejemplo:

• «Hoy es lunes Y es verdad que 2+2=4» ≡ «Hoy es lunes»
• «Llueve O es falso que los cerdos vuelen» ≡ «Llueve»

2. Ley de Dominación (Elemento Absorbente)

Ciertos valores constantes dominan o absorben la proposición, haciendo que el resultado sea únicamente ese valor constante (basicamente la proposición «desaparece»)

Ley	Fórmula	Explicación
Dominación con V	p ∨ V ≡ V	«p O verdadero» siempre es verdadero
Dominación con F	p ∧ F ≡ F	«p Y falso» siempre es falso

Ejemplo:

• «Soy millonario O 2+2=4» ≡ V (siempre verdadero)
• «Soy millonario Y 2+2=5» ≡ F (siempre falso)

3. Ley de Idempotencia

Una proposición repetida con el mismo conectivo da la misma proposición:

Ley	Fórmula
Idempotencia de ∧	p ∧ p ≡ p
Idempotencia de ∨	p ∨ p ≡ p

Ejemplo:

• «Llueve Y llueve» ≡ «Llueve»
• «Hace frío O hace frío» ≡ «Hace frío»

4. Ley de Doble Negación

Negar dos veces una proposición la devuelve a su estado original:

Ley	Fórmula
Doble Negación	¬(¬p) ≡ p

Ejemplo:

• «No es falso que llueve» ≡ «Llueve»
• «No es cierto que no aprobé» ≡ «Aprobé»

5. Ley de Complemento (Tercero Excluido y Contradicción)

Ley	Fórmula	Nombre
p ∨ ¬p ≡ V	Tercero Excluido	Una proposición o su negación es verdadera
p ∧ ¬p ≡ F	Contradicción	Una proposición no puede ser V y F a la vez

Ejemplo:

• «Hoy es lunes O hoy no es lunes» ≡ V (siempre verdadero)
• «Hoy es lunes Y hoy no es lunes» ≡ F (siempre falso)

Leyes de Operaciones entre Proposiciones

6. Ley Conmutativa

El orden de las proposiciones no afecta el resultado:

Ley	Fórmula
Conmutatividad de ∧	p ∧ q ≡ q ∧ p
Conmutatividad de ∨	p ∨ q ≡ q ∨ p
Conmutatividad de ↔	p ↔ q ≡ q ↔ p

Ejemplo:

• «Llueve Y hace frío» ≡ «Hace frío Y llueve»
• «Juan es alto O Pedro es bajo» ≡ «Pedro es bajo O Juan es alto»

Nota: El condicional (→) NO es conmutativo. «Si llueve, me mojo» NO equivale a «Si me mojo, llueve».

7. Ley Asociativa

El agrupamiento de las proposiciones no afecta el resultado:

Ley	Fórmula
Asociatividad de ∧	(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
Asociatividad de ∨	(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

Ejemplo:

• «(A Y B) Y C» ≡ «A Y (B Y C)»
• Podemos escribir simplemente: A ∧ B ∧ C

8. Ley Distributiva

Un conectivo puede «distribuirse» sobre otro:

Ley	Fórmula
∧ distribuye sobre ∨	p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
∨ distribuye sobre ∧	p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)

Ejemplo:

• «Estudio Y (apruebo O repruebo)» ≡ «(Estudio Y apruebo) O (Estudio Y repruebo)»

Analogía con álgebra: Similar a «a × (b + c) = ab + ac»

9. Ley de Absorción

Una proposición «absorbe» a otra cuando están conectadas de cierta forma:

Ley	Fórmula
Absorción 1	p ∧ (p ∨ q) ≡ p
Absorción 2	p ∨ (p ∧ q) ≡ p

Ejemplo:

• «Llueve Y (llueve O hace sol)» ≡ «Llueve»
• «Juan aprueba O (Juan aprueba Y estudia)» ≡ «Juan aprueba»

Explicación

• En la primera: si p es V, toda la expresión es V (por p). Si p es F, (p ∨ q) podría ser V, pero p ∧ (algo) sería F.
• En ambos casos, el resultado coincide con p.

Las Leyes de De Morgan

Las Leyes de De Morgan (Augustus De Morgan, por si tenias dudas de la escritura de su apellido de este matematico) son quizás las más importantes y útiles en lógica. Permiten «pasar» una negación a través de una conjunción o disyunción.

Formulación

Ley	Fórmula	En palabras
De Morgan 1	¬(p ∧ q) ≡ ¬p ∨ ¬q	«No (p Y q)» equivale a «No p O No q»
De Morgan 2	¬(p ∨ q) ≡ ¬p ∧ ¬q	«No (p O q)» equivale a «No p Y No q»

Regla Mnemotécnica

Al negar una expresión: cambia ∧ por ∨ (y viceversa) y niega cada componente.

Ejemplos Detallados

Ejemplo 1: Negar «Llueve Y hace frío»

• ¬(Llueve ∧ Hace frío)
• ≡ ¬Llueve ∨ ¬Hace frío
• = «No llueve O no hace frío»

Ejemplo 2: Negar «Juan es estudiante O es trabajador»

• ¬(Estudiante ∨ Trabajador)
• ≡ ¬Estudiante ∧ ¬Trabajador
• = «Juan no es estudiante Y no es trabajador»

Ejemplo 3: En programación

// Estas condiciones son equivalentes:
if (!(x > 5 && y < 10)) { ... }
if (x <= 5 || y >= 10) { ... }

Explicación:

• ! es la negación.
• !(x > 5) se convierte en x <= 5 (negar «mayor que» es «menor o igual»)
• !(y < 10) se convierte en y >= 10 (negar «menor que» es «mayor o igual»)
• El && (y) se convierte en || (o)

Aplicación Extendida

De Morgan también aplica a múltiples proposiciones:

Expresión	Equivalente
¬(p ∧ q ∧ r)	¬p ∨ ¬q ∨ ¬r
¬(p ∨ q ∨ r)	¬p ∧ ¬q ∧ ¬r

Equivalencias del Condicional

El condicional (→) tiene varias formas equivalentes muy importantes.

10. Implicación Material

El condicional puede expresarse usando solo negación y disyunción:

Ley	Fórmula
Implicación Material	p → q ≡ ¬p ∨ q

Interpretación: «Si p entonces q» es lo mismo que «No p, O q»

Ejemplo:

• «Si llueve, me mojo» ≡ «No llueve O me mojo»
• «Si estudias, apruebas» ≡ «No estudias O apruebas»

11. Ley de Contraposición (Contrarrecíproca)

El condicional es equivalente a su contrapositiva:

Ley	Fórmula
Contraposición	p → q ≡ ¬q → ¬p

Ejemplo:

• «Si llueve, la calle se moja» ≡ «Si la calle NO se moja, NO llueve»
• «Si eres mamífero, eres vertebrado» ≡ «Si NO eres vertebrado, NO eres mamífero»

Importante: La contrapositiva siempre tiene el mismo valor de verdad que la proposición original. Esto es muy útil en demostraciones matemáticas.

12. Negación del Condicional

Para negar un condicional, se afirma el antecedente y se niega el consecuente:

Ley	Fórmula
Negación del Condicional	¬(p → q) ≡ p ∧ ¬q

Ejemplo:

• Negar «Si estudias, apruebas»
• ≡ «Estudias Y NO apruebas»

13. Otras Equivalencias del Condicional

Equivalencia	Fórmula
Usando negación	p → q ≡ ¬(p ∧ ¬q)
Transposición múltiple	p → q ≡ ¬q → ¬p ≡ ¬(p ∧ ¬q) ≡ ¬p ∨ q

Equivalencias del Bicondicional

14. Definición como Doble Condicional

El bicondicional es la conjunción de dos condicionales opuestos:

Ley	Fórmula
Bicondicional	p ↔ q ≡ (p → q) ∧ (q → p)

Interpretación: «p si y solo si q» significa «Si p entonces q» Y «Si q entonces p»

15. Forma Alternativa

El bicondicional también puede expresarse así:

Ley	Fórmula
Bicondicional (alt)	p ↔ q ≡ (p ∧ q) ∨ (¬p ∧ ¬q)

Interpretación: «p ↔ q» es verdadero cuando «ambas son verdaderas O ambas son falsas»

16. Negación del Bicondicional

Ley	Fórmula
Negación ↔	¬(p ↔ q) ≡ p ⊻ q

La negación del bicondicional es la disyunción exclusiva (XOR).

17. Equivalencia de Negaciones

Ley	Fórmula
Negaciones equivalentes	p ↔ q ≡ ¬p ↔ ¬q

Ejemplo: «Apruebas si y solo si sacas 60%» ≡ «No apruebas si y solo si no sacas 60%»

18. Ley de Exportación

Esta ley relaciona conjunciones anidadas con condicionales:

Ley	Fórmula
Exportación	(p ∧ q) → r ≡ p → (q → r)

Ejemplo:

• «Si (estudias Y practicas), apruebas» ≡ «Si estudias, entonces (si practicas, apruebas)»

Tabla Resumen de Equivalencias

#	Nombre	Fórmula
1	Identidad	p ∧ V ≡ p / p ∨ F ≡ p
2	Dominación	p ∨ V ≡ V / p ∧ F ≡ F
3	Idempotencia	p ∧ p ≡ p / p ∨ p ≡ p
4	Doble Negación	¬(¬p) ≡ p
5	Complemento	p ∨ ¬p ≡ V / p ∧ ¬p ≡ F
6	Conmutatividad	p ∧ q ≡ q ∧ p / p ∨ q ≡ q ∨ p
7	Asociatividad	(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
8	Distributividad	p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
9	Absorción	p ∧ (p ∨ q) ≡ p / p ∨ (p ∧ q) ≡ p
10	De Morgan	¬(p ∧ q) ≡ ¬p ∨ ¬q / ¬(p ∨ q) ≡ ¬p ∧ ¬q
11	Implicación Material	p → q ≡ ¬p ∨ q
12	Contraposición	p → q ≡ ¬q → ¬p
13	Negación Condicional	¬(p → q) ≡ p ∧ ¬q
14	Bicondicional	p ↔ q ≡ (p → q) ∧ (q → p)
15	Bicondicional (alt)	p ↔ q ≡ (p ∧ q) ∨ (¬p ∧ ¬q)
16	Negación Bicondicional	¬(p ↔ q) ≡ p ⊻ q
17	Equivalencia Negaciones	p ↔ q ≡ ¬p ↔ ¬q
18	Exportación	(p ∧ q) → r ≡ p → (q → r)

Aplicaciones: Simplificación de Expresiones

Ejemplo 1: Simplificar ¬(p ∨ ¬q)

1. Aplicamos De Morgan: ¬p ∧ ¬(¬q)
2. Aplicamos Doble Negación: ¬p ∧ q

Resultado: ¬(p ∨ ¬q) ≡ ¬p ∧ q

Ejemplo 2: Simplificar (p ∧ q) ∨ (p ∧ ¬q)

1. Extraemos factor común (Distributiva inversa): p ∧ (q ∨ ¬q)
2. Aplicamos Tercero Excluido: p ∧ V
3. Aplicamos Identidad: p

Resultado: (p ∧ q) ∨ (p ∧ ¬q) ≡ p

Ejemplo 3: Demostrar que p → q ≡ ¬q → ¬p

Paso	Expresión	Ley aplicada
1	p → q	Expresión inicial
2	¬p ∨ q	Implicación Material
3	q ∨ ¬p	Conmutatividad
4	¬(¬q) ∨ ¬p	Doble Negación
5	¬q → ¬p	Implicación Material (inversa)

Ejercicios Prácticos

Ejercicio 1: Simplificación

Simplifica las siguientes expresiones usando las leyes de equivalencia:

1. p ∧ (p ∨ q)
2. ¬(¬p ∧ ¬q)
3. (p → q) ∧ (p → ¬q)
4. p ∨ (¬p ∧ q)

Ejercicio 2: Demostración

Demuestra las siguientes equivalencias paso a paso:

1. ¬(p → q) ≡ p ∧ ¬q
2. p → (q → r) ≡ (p ∧ q) → r
3. p ↔ q ≡ (p ∧ q) ∨ (¬p ∧ ¬q)

Ejercicio 3: Negación

Niega las siguientes proposiciones y simplifica:

1. «Si llueve, entonces hace frío Y hay nubes»
2. «Apruebas si y solo si estudias»
3. «No es cierto que (p O q)»

Respuestas

Respuestas Ejercicio 1

1. p ∧ (p ∨ q) ≡ p (Absorción)
2. ¬(¬p ∧ ¬q) ≡ p ∨ q (De Morgan)
3. (p → q) ∧ (p → ¬q):
   • ≡ (¬p ∨ q) ∧ (¬p ∨ ¬q) (Implicación Material)
   • ≡ ¬p ∨ (q ∧ ¬q) (Distributiva)
   • ≡ ¬p ∨ F (Contradicción)
   • ≡ ¬p (Identidad)
4. p ∨ (¬p ∧ q):
   • ≡ (p ∨ ¬p) ∧ (p ∨ q) (Distributiva)
   • ≡ V ∧ (p ∨ q) (Tercero Excluido)
   • ≡ p ∨ q (Identidad)

Respuestas Ejercicio 2

1. ¬(p → q) ≡ p ∧ ¬q:
   • ¬(p → q)
   • ≡ ¬(¬p ∨ q) (Implicación Material)
   • ≡ ¬(¬p) ∧ ¬q (De Morgan)
   • ≡ p ∧ ¬q (Doble Negación) ✓
2. p → (q → r) ≡ (p ∧ q) → r:
   • p → (q → r)
   • ≡ p → (¬q ∨ r) (Implicación Material)
   • ≡ ¬p ∨ (¬q ∨ r) (Implicación Material)
   • ≡ (¬p ∨ ¬q) ∨ r (Asociatividad)
   • ≡ ¬(p ∧ q) ∨ r (De Morgan)
   • ≡ (p ∧ q) → r (Implicación Material) ✓
3. p ↔ q ≡ (p ∧ q) ∨ (¬p ∧ ¬q):
   • p ↔ q
   • ≡ (p → q) ∧ (q → p) (Definición del Bicondicional)
   • ≡ (¬p ∨ q) ∧ (¬q ∨ p) (Implicación Material, dos veces)
   • ≡ [(¬p ∨ q) ∧ ¬q] ∨ [(¬p ∨ q) ∧ p] (Distributiva)
   • ≡ [(¬p ∧ ¬q) ∨ (q ∧ ¬q)] ∨ [(¬p ∧ p) ∨ (q ∧ p)] (Distributiva)
   • ≡ [(¬p ∧ ¬q) ∨ F] ∨ [F ∨ (p ∧ q)] (Contradicción)
   • ≡ (¬p ∧ ¬q) ∨ (p ∧ q) (Identidad)
   • ≡ (p ∧ q) ∨ (¬p ∧ ¬q) (Conmutatividad) ✓

Respuestas Ejercicio 3

1. Negar «Si llueve, entonces (hace frío Y hay nubes)»:
   • ¬(Llueve → (Frío ∧ Nubes))
   • ≡ Llueve ∧ ¬(Frío ∧ Nubes)
   • ≡ Llueve ∧ (¬Frío ∨ ¬Nubes)
   • = «Llueve Y (no hace frío O no hay nubes)»
2. Negar «Apruebas si y solo si estudias»:
   • ¬(Apruebas ↔ Estudias)
   • ≡ Apruebas ⊻ Estudias
   • = «Apruebas O estudias, pero no ambos» (O exclusivo)
3. Negar «No es cierto que (p O q)»:
   • ¬(¬(p ∨ q))
   • ≡ p ∨ q (Doble Negación)

---

¿Qué viene después?

La siguiente publicación estudiaremos que es la inferencia lógica, sus leyes notables y el método abreviado.

¿Te resultó útil esta publicación? ¡Déjame un comentario con tus dudas o sugerencias! Y no olvides revisar la próxima entrega de esta serie sobre lógica matemática.