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.
¿Qué aprendió del tema?
Aprendimos a utilizar de manera correcta estas leyes y su utilidad en el día a día, y sobre todo para negar proposiciones compuestas.
Ejemplos:
"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 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)
¿Cómo mejorar la comprensión del tema?
La comprensión de este tema se puede mejorar, poniendo en práctica y practicando las leyes de De Morgan.
Comments
Post a Comment