Día 18 - Leyes de Morgan

El día de ayer falté a clase pero me indicaron que vieron el tema de las Leyes de Morgan. No le encuentro mucha aplicación a este tema, y mucho menos le encuentro lógica. Sin embargo estas leyes son una parte importante de la lógica proposicional y muy útiles cuando se quieren encontrar equivalentes para proposiciones que se obtienen por negación de las proposiciones compuestas.

LEYES DE MORGAN:

"La negación de una conjunción equivale a la disyunción de las negaciones."
¬(P ^ Q) ≡ (¬P v ¬Q)

"La negación de una disyunción equivale a la conjunción de las negaciones."
¬(P v Q) ≡ (¬P ^ ¬Q)

NEGACIÓN DE LA CONDICIONAL Y BICONDICIONAL
La negación de P→Q equivale a:
¬(P → Q) ≡ (P ^ ¬Q)

La negación de P↔Q equivale a:
¬(P ↔ Q) ≡ (P ^ ¬Q) v (Q ^ ¬P)