Leyes de DeMorgan

Leyes de DeMorgan

Demostración de las Leyes de Morgan utilizando diagramas de Venn

Resumen de la sección: En esta sección, se muestra una demostración de las leyes de Morgan utilizando diagramas de Venn para representar conjuntos.

Representación de conjuntos mediante diagramas de Venn

  • Los conjuntos se representan mediante líneas cerradas en un plano.
  • Utilizamos líneas verticales para representar el conjunto A y su complemento.
  • Utilizamos rayado para señalar el conjunto B y su complemento.

Operaciones con conjuntos

  • La unión de dos conjuntos (A y B) se representa rayando ambos conjuntos.
  • La intersección de dos conjuntos (A y B) se representa rayando solo la región donde ambos conjuntos se superponen.

Historia y utilidad de las Leyes de Morgan

Resumen de la sección: Se explica la historia y utilidad de las Leyes de Morgan en matemáticas, cálculo de probabilidades, electrónica y programación.

Origen e importancia

  • Las Leyes de Morgan fueron establecidas por Augusto De Morgan, presidente fundador del London Mathematical Society.
  • Estas leyes son utilizadas en diversas disciplinas como matemáticas, cálculo probabilístico, electrónica y programación.

Primera ley de Morgan: Complemento de la unión

Resumen del subtema: Se explica la primera ley de Morgan que establece que el complemento (negación) del resultado obtenido al unir dos conjuntos es igual a la intersección de los complementos de dichos conjuntos.

  • Representamos el complemento de la unión rayando el conjunto A y el conjunto B.
  • El resultado es todo aquello que no ha sido rayado, utilizando un patrón distinto.
  • Borramos lo correspondiente a la unión original para obtener el complemento de la unión.

Segunda ley de Morgan: Complemento de la intersección

Resumen del subtema: Se explica la segunda ley de Morgan que establece que el complemento (negación) del resultado obtenido al intersectar dos conjuntos es igual a la unión de los complementos de dichos conjuntos.

  • Representamos el complemento de la intersección rayando el conjunto A y el conjunto B con diferentes patrones.
  • El resultado es todo aquello que no ha sido rayado, utilizando un patrón distinto.
  • Borramos lo correspondiente a la intersección original para obtener el complemento de la intersección.

Oración por la unión de los complementos

Resumen de la sección: En esta sección, se explica cómo orar por la unión de los complementos utilizando el patrón de señalar todo lo que no pertenece al conjunto A. Luego, se muestra cómo obtener la unión de los complementos utilizando el mismo patrón para señalar lo que no pertenece al conjunto B.

Obtención de la unión de los complementos

  • Se utiliza el mismo patrón para señalar lo que no pertenece al conjunto A y al conjunto B.
  • Las regiones sombreadas en ambos conjuntos son las mismas, demostrando así la segunda ley de Morgan.

Comprobación de la segunda ley de Morgan

Resumen de la sección: En esta sección, se realiza un ejercicio para verificar la primera ley de Morgan utilizando los conjuntos mostrados.

Verificación de la primera ley de Morgan

  • Se muestran los conjuntos A, B y sus complementos.
  • La unión de los conjuntos A y B está formada por elementos y vocales.
  • El complemento de esta unión son las letras F, J y H.
  • La intersección entre los complementos son las letras F, G y H.
  • Los conjuntos son iguales, demostrando así que se cumple la primera ley de Morgan.

Verificación de la segunda ley de Morgan

Resumen de la sección: En esta sección, se verifica la segunda ley de Morgan utilizando los mismos conjuntos.

Verificación de la segunda ley

  • La intersección entre los conjuntos A y D son las letras A y V.
  • El complemento de esta intersección son las letras B, C, D, H y las vocales.
  • La unión de los complementos incluye los elementos B, C, D y H del complemento de A, así como las letras Y y Ñ del complemento de B.
  • Los conjuntos son iguales, demostrando así que también se cumple la segunda ley de Morgan.
Video description

Demostración de las leyes de DeMorgan en conjuntos, usando diagramas de Venn