Día 21 Leyes de Morgan || 22 de junio

El día de ayer falté a clase, por lo mismo andaba un tanto perdida, pero me indicaron que vieron el tema de las tablas de verdad. 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)