Ley de De Morgan para el complemento de una intersección
Aplicar la ley de De Morgan para el complemento de una intersección para simplificar y resolver operaciones de complementación en conjuntos.
Introducción
Imagina que en un restaurante hay platos que son saludables ($A$) y baratos ($B$). Si un cliente dice: "No quiero un plato que sea saludable Y barato a la vez", esto equivale a decir: "Quiero un plato que no sea saludable ($A^c$) O que no sea barato ($B^c$)". En matemáticas, esta equivalencia entre "no (A y B)" y "no A o no B" se conoce como la segunda Ley de De Morgan para el complemento de una intersección. Esta ley nos permite transformar un complemento de intersección en una unión de complementos.
Explicación
Las leyes de De Morgan relacionan los operadores de unión, intersección y complemento. La segunda de estas leyes nos indica cómo calcular de manera alternativa el complemento de una intersección.
Definición Formal
Sean $A$ y $B$ dos conjuntos en un universo $U$. El complemento de su intersección, denotado por $(A \cap B)^c$ o $(A \cap B)'$, se cumple que:
$$(A \cap B)^c = A^c \cup B^c$$
Demostración
Esta propiedad se deduce de las leyes de De Morgan de la lógica formal, donde la negación de una conjunción es equivalente a la disyunción de las negaciones individuales: $\neg(p \land q) \equiv \neg p \lor \neg q$.
Por definición de las operaciones de conjuntos:
$$(A \cap B)^c = \{x \in U \mid x \notin (A \cap B)\}$$
$$= \{x \in U \mid \neg(x \in A \land x \in B)\}$$
Aplicando la equivalencia lógica de De Morgan:
$$= \{x \in U \mid x \notin A \lor x \notin B\}$$
$$= \{x \in U \mid x \in A^c \lor x \in B^c\} = A^c \cup B^c$$
Por lo tanto, se demuestra la equivalencia.
Representación Gráfica (Diagrama de Venn)
En un diagrama de Venn, la intersección $A \cap B$ corresponde únicamente a la zona común donde los círculos de $A$ y $B$ se cruzan. El complemento $(A \cap B)^c$ incluye todo el universo excepto esa pequeña zona central. La unión de los complementos $A^c \cup B^c$ toma todo lo que está fuera de $A$ y todo lo que está fuera de $B$, cubriendo exactamente el mismo espacio (todo menos el centro), lo que valida gráficamente la propiedad.
Cómo hacerlo paso a paso
- Paso 1: Identifica los conjuntos $A$ y $B$, el conjunto universal $U$, y calcula los complementos individuales $A^c$ y $B^c$.
- Paso 2: Para calcular el lado izquierdo $(A \cap B)^c$, primero obtén la intersección $A \cap B$ y luego determina todos los elementos de $U$ que no pertenecen a dicha intersección.
- Paso 3: Para calcular el lado derecho $A^c \cup B^c$, toma los conjuntos $A^c$ y $B^c$ previamente calculados y realiza su unión.
- Paso 4: Compara ambos resultados para comprobar que contienen los mismos elementos.
Ejemplos
1 Dado el universo $U = \{1, 2, 3, 4, 5\}$ y los conjuntos $A = \{1, 2, 3\}$ y $B = \{3, 4, 5\}$, comprueba la ley de De Morgan calculando $(A \cap B)^c$ y $A^c \cup B^c$.
- Paso a: Calculamos el lado izquierdo. Primero hallamos la intersección: $A \cap B = \{3\}$.
- Paso b: Determinamos el complemento de esta intersección respecto al universo $U$: $(A \cap B)^c = \{1, 2, 4, 5\}$.
- Paso c: Calculamos el lado derecho. Primero hallamos los complementos individuales: $A^c = \{4, 5\}$ y $B^c = \{1, 2\}$.
- Paso d: Unimos ambos complementos: $A^c \cup B^c = \{1, 2, 4, 5\}$.
- Paso e: Comparamos ambos resultados y vemos que $\{1, 2, 4, 5\} = \{1, 2, 4, 5\}$, lo que comprueba la ley de De Morgan.
2 Si el universo es $U = \{a, b, c\}$, el conjunto $X = \{a, b\}$ e $Y = \{c\}$, comprueba la ley de De Morgan para el complemento de la intersección.
- Paso a: Para el miembro izquierdo, calculamos $X \cap Y = \varnothing$ (son disjuntos). Por lo tanto, el complemento de la intersección es $(X \cap Y)^c = \varnothing^c = U = \{a, b, c\}$.
- Paso b: Para el miembro derecho, calculamos los complementos individuales: $X^c = \{c\}$ y $Y^c = \{a, b\}$. Su unión es $X^c \cup Y^c = \{a, b, c\}$.
- Paso c: Ambos lados resultan en el conjunto universal $U = \{a, b, c\}$, confirmando la equivalencia.
3 ¿Es el complemento de la intersección $(A \cap B)^c$ equivalente a $A^c \cup B^c$ para cualquier par de conjuntos?
- La Ley de De Morgan para la intersección es una regla matemática universal.
- Se cumple sin excepciones para cualquier definición de conjuntos y universo.
4 ¿Si los conjuntos $A$ y $B$ no tienen elementos en común, el complemento de su intersección es igual al conjunto vacío?
- Si $A$ y $B$ son disjuntos, su intersección es $A \cap B = \varnothing$.
- El complemento de la intersección es el complemento del conjunto vacío, es decir, $(A \cap B)^c = \varnothing^c = U$.
- Por lo tanto, el resultado es el conjunto universal $U$, no el conjunto vacío.
Ejemplos Verdadero/Falso
"Distribuir el complemento de forma errónea escribiendo $(A \cap B)^c = A^c \cap B^c$, olvidando cambiar el símbolo de intersección ($\cap$) por unión ($\cup$)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"No definir o ignorar el conjunto universal al calcular los complementos individuales."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Pensar que si los conjuntos son disjuntos, el complemento de la intersección no existe o no se puede calcular."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir las leyes de De Morgan con las propiedades distributivas o asociativas."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Aplicar el complemento al símbolo de operación pero olvidar aplicarlo a los conjuntos individuales (escribir $A \cup B$ en lugar de $A^c \cup B^c$)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
La Ley de De Morgan para el complemento de una intersección establece que el complemento de la intersección de dos conjuntos es igual a la unión de los complementos de cada conjunto. Formalmente: $(A \cap B)^c = A^c \cup B^c$.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
La Ley de De Morgan para la intersección se basa lógicamente en cuál regla de equivalencia lógica proposicional?
La intersección corresponde a la conjunción ($\land$). La negación de una conjunción es equivalente a la disyunción de las negaciones de cada proposición.
Respuesta: $\neg(p \land q) \equiv \neg p \lor \neg q$
-
En un diagrama de Venn de dos conjuntos $A$ y $B$, el complemento de la intersección $(A \cap B)^c$ abarca gráficamente a:
El complemento de la intersección excluye únicamente a los elementos comunes, abarcando el resto del diagrama.
Respuesta: Todo el universo excepto la región común donde se cruzan $A$ y $B$
-
¿Cuál de las siguientes igualdades algebraicas define la Ley de De Morgan para el complemento de una intersección?
La Ley de De Morgan para la intersección establece que el complemento de la intersección es igual a la unión de los complementos: $(A \cap B)^c = A^c \cup B^c$.
Respuesta: $(A \cap B)^c = A^c \cup B^c$
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Si se sabe que la intersección de dos conjuntos es vacía ($X \cap Y = \varnothing$), ¿cuál es el resultado de evaluar $X^c \cup Y^c$ según las leyes de De Morgan?
Por De Morgan, $X^c \cup Y^c = (X \cap Y)^c$. Como $X \cap Y = \varnothing$, entonces el complemento es $\varnothing^c = U$ (el conjunto universal).
Respuesta: El conjunto universal $U$
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
Si el universo es $U = \{1, 2, 3, 4\}$, $A = \{1, 2\}$ y $B = \{2, 3\}$, ¿se cumple que $(A \cap B)^c = A^c \cup B^c = \{1, 3, 4\}$?
Sí, $A \cap B = \{2\}$, su complemento es $\{1, 3, 4\}$. Por otro lado, $A^c = \{3, 4\}$, $B^c = \{1, 4\}$. Su unión es $\{1, 3, 4\}$. Ambos coinciden.
Respuesta: Verdadero
-
La ley de De Morgan para la intersección establece que $(A \cap B)^c = A^c \cap B^c$.
Falso. El complemento de la intersección es igual a la UNIÓN de los complementos: $A^c \cup B^c$. El símbolo de operación debe invertirse.
Respuesta: Falso
-
El complemento de la intersección $(A \cap B)^c$ y la unión de los complementos $A^c \cup B^c$ representan exactamente al mismo conjunto para cualquier universo $U$.
Sí, la Ley de De Morgan para la intersección es una igualdad matemática de carácter universal, por lo que los conjuntos representados son idénticos.
Respuesta: Verdadero
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Considere los conjuntos de números reales $A = ]-\infty, 6[$ y $B = ]3, +\infty[$ en el universo $\mathbb{R}$. ¿Cuál de los siguientes conjuntos representa de manera correcta a $A^c \cup B^c$?
Por la ley de De Morgan, $A^c \cup B^c = (A \cap B)^c$. La intersección de los conjuntos es $A \cap B = ]3, 6[$. El complemento de este intervalo respecto a $\mathbb{R}$ es $]-\infty, 3] \cup [6, +\infty[$.
Respuesta: $]-\infty, 3] \cup [6, +\infty[$
-
Un banco detecta transacciones sospechosas. El conjunto $G$ representa a las transacciones de grandes montos y $I$ a las transacciones internacionales. El departamento de seguridad requiere la lista de transacciones que NO cumplan con ambas condiciones a la vez (que no sean grandes montos internacionales). ¿Qué ley de conjuntos garantiza que esta lista equivale a las transacciones que no son de gran monto más las que no son internacionales?
La condición 'no cumplan ambas a la vez' es $(G \cap I)^c$. Por De Morgan, esto equivale a $G^c \cup I^c$ (no de gran monto o no internacional), lo cual representa la unión de dichos grupos.
Respuesta: La Ley de De Morgan para el complemento de una intersección.
-
En un control de calidad, el universo $U$ son los productos de una fábrica. El conjunto $E$ representa a los productos con fallas estéticas y $F$ a los que tienen fallas de funcionamiento. Se decide clasificar como 'apto' al producto que NO tenga ambas fallas simultáneamente. Expresado en conjuntos, esto es $(E \cap F)^c$. ¿Cómo puede un auditor obtener la lista de aptos si el sistema solo clasifica por 'sin falla estética' ($E^c$) y 'sin falla de funcionamiento' ($F^c$)?
Por la Ley de De Morgan, $(E \cap F)^c = E^c \cup F^c$. De este modo, al unir las dos listas de productos sin fallas individuales se obtiene la lista de aptos.
Respuesta: Buscando los productos que estén en la unión de los sin falla estética y los sin falla de funcionamiento: $E^c \cup F^c$.