Leyes de De Morgan
El día 19 de Junio vimos las Leyes de De Morgan
Son dos reglas fundamentales en la lógica que nos permiten expresar la negación de una conjunción o una disyunción en términos más simples. Estas leyes son muy útiles para simplificar expresiones lógicas y facilitar su análisis.
- Primera Ley de De Morgan: La negación de una conjunción es equivalente a la disyunción de las negaciones individuales. En términos simples, esto significa que si tienes una afirmación que dice "A y B son verdaderos" y quieres negarla, puedes transformarla en "A no es verdadero o B no es verdadero". En símbolos, se expresa de la siguiente manera: ¬(A ∧ B) ≡ (¬A ∨ ¬B).
- Segunda Ley de De Morgan: La negación de una disyunción es equivalente a la conjunción de las negaciones individuales. En términos sencillos, esto significa que si tienes una afirmación que dice "A o B es verdadero" y deseas negarla, puedes transformarla en "A no es verdadero y B no es verdadero". En símbolos, se expresa así: ¬(A ∨ B) ≡ (¬A ∧ ¬B). Un ejemplo de esto sería:
Las leyes de De Morgan nos ayudan para poder comprender como son las negaciones de las proposiciones en las conjunciones y disyunciones, creo que en este blog se puede aprender estas dos leyes de manera fácil y rápida ya que su explicación sobre este tema es muy claro, creo que con este blog pude terminar de comprender cómo funcionan estas leyes.
ResponderEliminar