Leyes De La Logica Proposicional Ejercicios Resueltos

¿Qué son las Leyes de la Lógica Proposicional? Son reglas que nos ayudan a simplificar y demostrar argumentos lógicos. Imagina que son atajos para resolver problemas de lógica. En esta guía, veremos ejercicios resueltos para entenderlas mejor.

Leyes Importantes: Un Vistazo Rápido

Antes de los ejercicios, recordemos algunas leyes clave:

• Doble Negación: ¬(¬p) ≡ p (Si niegas una negación, vuelves al original). Ejemplo: "No es cierto que no llovió" es lo mismo que "Llovió".
• Conmutativa: p ∧ q ≡ q ∧ p y p ∨ q ≡ q ∨ p (El orden no importa en "y" e "o").
• Asociativa: (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) y (p ∨ q) ∨ r ≡ p ∨ (q ∨ r) (Cómo agrupas no cambia el resultado).
• Distributiva: p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) y p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) (Distribuyes como en álgebra).
• De Morgan: ¬(p ∧ q) ≡ ¬p ∨ ¬q y ¬(p ∨ q) ≡ ¬p ∧ ¬q (Niega todo y cambia "y" por "o" y viceversa).
• Idempotencia: p ∧ p ≡ p y p ∨ p ≡ p (Repetir no añade información).
• Identidad: p ∧ Verdadero ≡ p y p ∨ Falso ≡ p (Verdadero y Falso actúan como "uno" y "cero").

Ejercicio Resuelto 1: Simplificación con De Morgan

Simplifiquemos: ¬(p ∧ ¬q)

1. Aplicamos De Morgan: ¬(p ∧ ¬q) ≡ ¬p ∨ ¬(¬q)
2. Aplicamos Doble Negación: ¬p ∨ ¬(¬q) ≡ ¬p ∨ q
3. Resultado: ¬(p ∧ ¬q) es equivalente a ¬p ∨ q.

Explicación: De Morgan nos permitió "romper" la negación del paréntesis, y la doble negación simplificó el resultado.

Ejercicio Resuelto 2: Usando la Ley Distributiva

Simplifiquemos: p ∨ (q ∧ p)

1. Aplicamos la Ley Distributiva (al revés para factorizar): p ∨ (q ∧ p) ≡ (p ∨ q) ∧ (p ∨ p)
2. Aplicamos Idempotencia: (p ∨ q) ∧ (p ∨ p) ≡ (p ∨ q) ∧ p
3. Aplicamos Conmutativa (para facilitar la siguiente visualización): (p ∨ q) ∧ p ≡ p ∧ (p ∨ q)
4. Aplicamos la Ley de Absorción (p ∧ (p ∨ q) ≡ p) p ∧ (p ∨ q) ≡ p
5. Resultado: p ∨ (q ∧ p) es equivalente a p.

Explicación: La distributiva, junto con idempotencia, nos ayudó a reducir la expresión a algo mucho más simple. Observa cómo la absorción es muy útil.

Ejercicio Resuelto 3: Combinando Leyes

Simplifiquemos: (p ∧ q) ∨ (p ∧ ¬q)

1. Aplicamos Distributiva (al revés): (p ∧ q) ∨ (p ∧ ¬q) ≡ p ∧ (q ∨ ¬q)
2. Aplicamos el Principio del Tercero Excluido (q ∨ ¬q ≡ Verdadero): p ∧ (q ∨ ¬q) ≡ p ∧ Verdadero
3. Aplicamos la Ley de Identidad: p ∧ Verdadero ≡ p
4. Resultado: (p ∧ q) ∨ (p ∧ ¬q) es equivalente a p.

Explicación: Combinamos la distributiva con el principio del tercero excluido (algo siempre es verdadero o su negación) y la identidad para llegar a la forma más simple.

Consejos Finales

Practica con muchos ejercicios. Identifica qué ley se aplica en cada paso. No tengas miedo de equivocarte; así es como aprendemos. ¡Mucha suerte con la lógica proposicional!