Ley de De Morgan para el complemento de una intersección
Resumen inicial
Demostración lógica, propiedades, diagramas de Venn y aplicación de la Segunda Ley de De Morgan: $(A \cap B)^c = A^c \cup B^c$.
Explicación en palabras simples
La Segunda Ley de De Morgan establece que el complemento de una intersección es igual a la unión de los complementos:
$$(A \cap B)^c = A^c \cup B^c$$
En palabras simples: no estar en la intersección de $A$ y $B$ significa no estar en $A$ O no estar en $B$ (basta con estar fuera de al menos uno de ellos). La regla práctica para distribuir el complemento es: se niega cada conjunto ($A^c$ y $B^c$) y el símbolo de intersección $\cap$ se da vuelta para transformarse en unión $\cup$. En un diagrama de Venn, representa todo el universo excepto la pequeña zona central donde se cruzan los círculos.
Explicación formal
Definición formal
En la teoría de conjuntos y el álgebra booleana, la Segunda Ley de De Morgan establece la dualidad de la intersección bajo la complementación:
$$\forall A, B \subseteq \mathcal{U}, \quad (A \cap B)^c = A^c \cup B^c$$
Demostración formal basada en la negación lógica de la conjunción:
$$x \in (A \cap B)^c \iff \neg(x \in (A \cap B)) \iff \neg(x \in A \land x \in B) \iff (\neg(x \in A) \lor \neg(x \in B)) \iff (x \in A^c \lor x \in B^c) \iff x \in (A^c \cup B^c)$$
Por el axioma de extensionalidad, se concluye formalmente que $(A \cap B)^c = A^c \cup B^c$.
Desglose simbólico
- Ley lógica subyacente: $\neg(P \land Q) \equiv \neg P \lor \neg Q$.
- Generalización a familias indexadas:
$$\left(\bigcap_{i \in I} A_i\right)^c = \bigcup_{i \in I} A_i^c$$ - En diagramas de Venn: Representa todo el rectángulo $\mathcal{U}$ excluyendo exclusivamente la lenteja central $A \cap B$.
Síntesis didáctica
La Segunda Ley de De Morgan convierte la negación de una membresía conjunta en una disyunción de exclusiones individuales.
La alternativa correcta es 'Se complementa cada conjunto y la intersección se transforma en unión ($A^c \cup B^c$)'. El operador $\cap$ se transforma en $\cup$.
Definiciones clave
- Segunda Ley de De Morgan: Teorema fundamental que establece $(A \cap B)^c = A^c \cup B^c$.
- Dualidad de conjunción y disyunción: Principio por el cual la negación permuta los roles de $\land$ y $\lor$.
- Negación de la conjunción: Equivalencia lógica $\neg(P \land Q) \equiv \neg P \lor \neg Q$.
Propiedades y relaciones importantes
- Cardinalidad del complemento de la intersección: $|(A \cap B)^c| = |\mathcal{U}| - |A \cap B|$.
- Diferencia relativa en De Morgan: Permite reescribir $(A \setminus B)^c = (A \cap B^c)^c = A^c \cup B$.
Ejemplo guiado
Dado el universo $\mathcal{U} = \{1, 2, 3, 4, 5, 6\}$ y los subconjuntos $A = \{1, 2, 3\}$ y $B = \{2, 3, 4\}$, demuestra la Segunda Ley de De Morgan calculando $(A \cap B)^c$ y $A^c \cup B^c$.
- Paso 1: Resolver el lado izquierdo $(A \cap B)^c$: - Calcular la intersección: $A \cap B = \{1, 2, 3\} \cap \{2, 3, 4\} = \{2, 3\}$. - Calcular el complemento respecto a $\mathcal{U}$: $(A \cap B)^c = \mathcal{U} \setminus \{2, 3\} = \{1, 4, 5, 6\}$.
- Paso 2: Resolver el lado derecho $A^c \cup B^c$: - Calcular $A^c = \mathcal{U} \setminus \{1, 2, 3\} = \{4, 5, 6\}$. - Calcular $B^c = \mathcal{U} \setminus \{2, 3, 4\} = \{1, 5, 6\}$. - Unir ambos complementos: $A^c \cup B^c = \{4, 5, 6\} \cup \{1, 5, 6\} = \{1, 4, 5, 6\}$.
- Paso 3: Comparar ambos resultados: $\{1, 4, 5, 6\} = \{1, 4, 5, 6\}$.
- Paso 4: Concluir formalmente que $(A \cap B)^c = A^c \cup B^c$.
La alternativa correcta es '$45$ elementos ($60 - 15$)'. Por De Morgan, $|A^c \cup B^c| = |(A \cap B)^c| = 60 - 15 = 45$.
Procedimiento
- Paso 1: Identificar una expresión con el complemento de una intersección: $(A \cap B)^c$.
- Paso 2: Distribuir el complemento a cada conjunto operando: $A \mapsto A^c$ y $B \mapsto B^c$.
- Paso 3: Transformar el operador de intersección $\cap$ en operador de unión $\cup$.
- Paso 4: Escribir la expresión resultante como $A^c \cup B^c$.
- Paso 5: En el diagrama de Venn, sombrear todo el rectángulo universal excepto la región central compartida $A \cap B$.
Errores frecuentes y cómo corregirlos
- Error 1: Distribuir el complemento manteniendo el operador de intersección (ej. escribir $(A \cap B)^c = A^c \cap B^c$). Cómo corregirlo: La ley de De Morgan exige invertir el operador: la intersección $\cap$ se convierte obligatoriamente en unión $\cup$.
- Error 2: Creer que $(A \cap B)^c = \emptyset$ cuando los conjuntos son disjuntos. Cómo corregirlo: Si $A \cap B = \emptyset$, entonces $(A \cap B)^c = \emptyset^c = \mathcal{U}$ (abarca todo el universo).
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- $(A \cap B)^c = \emptyset^c = \mathcal{U}$.
- Por De Morgan, $A^c \cup B^c = \mathcal{U}$.
- Se niega cada conjunto y las intersecciones pasan a ser uniones.
- $(A \setminus B)^c = (A \cap B^c)^c = A^c \cup (B^c)^c = A^c \cup B$.
- Cubre solo A, solo B y la región exterior.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Enunciar, demostrar y aplicar la Segunda Ley de De Morgan ($(A \cap B)^c = A^c \cup B^c$).
Transformar el complemento de una intersección en la unión de complementos aplicando la ley lógica $\neg(P \land Q) \equiv \neg P \lor \neg Q$ e interpretarlo en diagramas de Venn.
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$.