Cálculo de regiones exclusivas en dos conjuntos
Calcular la cardinalidad de la región exclusiva de un conjunto en un diagrama de Venn de dos conjuntos, aplicando la fórmula |A\B| = |A| - |A∩B| y su análoga para B.
Introducción
En un diagrama de Venn de dos conjuntos A y B, la región «solo A» contiene los
elementos que pertenecen a A pero no a B. Su cardinalidad se obtiene restando de
|A| los elementos que A comparte con B, es decir, |A∩B|. Esta operación es
fundamental para distribuir correctamente los elementos en cada región del diagrama
antes de calcular totales o resolver problemas de conteo.
Explicación
El conjunto A se descompone en dos partes disjuntas:
A = (A\B) ∪ (A∩B)
Como las dos partes son disjuntas, sus cardinalidades suman:
|A| = |A\B| + |A∩B|
Despejando la región exclusiva:
|A\B| = |A| - |A∩B|
El razonamiento es simétrico para B:
|B| = |B\A| + |A∩B| → |B\A| = |B| - |A∩B|
Es importante que |A∩B| ≤ |A| y |A∩B| ≤ |B| para que las cardinalidades sean
no negativas. Si los datos del problema violan esta condición, hay un error en
los datos.
Cómo hacerlo paso a paso
- P
- a
- r
- a
- c
- a
- l
- c
- u
- l
- a
- r
- l
- a
- c
- a
- r
- d
- i
- n
- a
- l
- i
- d
- a
- d
- d
- e
- l
- a
- r
- e
- g
- i
- ó
- n
- e
- x
- c
- l
- u
- s
- i
- v
- a
- d
- e
- A
- (
- o
- B
- )
- :
- P
- a
- s
- o
- 1
- .
- I
- d
- e
- n
- t
- i
- f
- i
- c
- a
- r
- l
- o
- s
- d
- a
- t
- o
- s
- :
- |
- A
- |
- ,
- |
- B
- |
- y
- |
- A
- ∩
- B
- |
- .
- P
- a
- s
- o
- 2
- .
- V
- e
- r
- i
- f
- i
- c
- a
- r
- q
- u
- e
- |
- A
- ∩
- B
- |
- ≤
- |
- A
- |
- (
- y
- ≤
- |
- B
- |
- s
- i
- s
- e
- n
- e
- c
- e
- s
- i
- t
- a
- |
- B
- \
- A
- |
- )
- .
- P
- a
- s
- o
- 3
- .
- A
- p
- l
- i
- c
- a
- r
- l
- a
- f
- ó
- r
- m
- u
- l
- a
- :
- |
- A
- \
- B
- |
- =
- |
- A
- |
- -
- |
- A
- ∩
- B
- |
- |
- B
- \
- A
- |
- =
- |
- B
- |
- -
- |
- A
- ∩
- B
- |
- P
- a
- s
- o
- 4
- .
- V
- e
- r
- i
- f
- i
- c
- a
- r
- :
- |
- A
- \
- B
- |
- +
- |
- A
- ∩
- B
- |
- d
- e
- b
- e
- s
- e
- r
- i
- g
- u
- a
- l
- a
- |
- A
- |
- ;
- |
- B
- \
- A
- |
- +
- |
- A
- ∩
- B
- |
- d
- e
- b
- e
- s
- e
- r
- i
- g
- u
- a
- l
- a
- |
- B
- |
- .
Ejemplos
1 Dados |A| = 15, |B| = 10 y |A∩B| = 4, calcula |A\B| y |B\A|.
- {'paso': 1, 'descripcion': 'Identificamos los datos: |A| = 15, |B| = 10, |A∩B| = 4.\n'}
- {'paso': 2, 'descripcion': 'Verificamos: |A∩B| = 4 ≤ 15 = |A| ✓ y 4 ≤ 10 = |B| ✓.\n'}
- {'paso': 3, 'descripcion': 'Calculamos la región «solo A»:\n|A\\B| = |A| - |A∩B| = 15 - 4 = 11.\n'}
- {'paso': 4, 'descripcion': 'Calculamos la región «solo B»:\n|B\\A| = |B| - |A∩B| = 10 - 4 = 6.\n'}
- {'paso': 5, 'descripcion': 'Verificación: 11 + 4 = 15 = |A| ✓ y 6 + 4 = 10 = |B| ✓.\nResultado: |A\\B| = 11, |B\\A| = 6.\n'}
2 Dados |A| = 20, |B| = 12 y |A∩B| = 7, calcula |A\B|.
- {'paso': 1, 'descripcion': 'Identificamos los datos: |A| = 20, |A∩B| = 7.\n'}
- {'paso': 2, 'descripcion': 'Verificamos: |A∩B| = 7 ≤ 20 = |A| ✓.\n'}
- {'paso': 3, 'descripcion': 'Aplicamos la fórmula:\n|A\\B| = |A| - |A∩B| = 20 - 7 = 13.\n'}
- {'paso': 4, 'descripcion': 'Verificación: 13 + 7 = 20 = |A| ✓.\nResultado: |A\\B| = 13.\n'}
3 ¿Se cumple que $|A \setminus B| = |A| - |A \cap B|$ para todo par de conjuntos $A$ y $B$ con $A \cap B \subseteq A$?
- {'paso': 1, 'descripcion': 'Por definición, A se descompone en dos partes disjuntas:\nA = (A\\B) ∪ (A∩B).\n'}
- {'paso': 2, 'descripcion': 'Como las partes son disjuntas: |A| = |A\\B| + |A∩B|.\n'}
- {'paso': 3, 'descripcion': 'Despejando: |A\\B| = |A| - |A∩B|. Esto es válido siempre que A∩B ⊆ A,\nlo que es siempre cierto por definición de intersección.\n'}
- {'paso': 4, 'descripcion': 'Conclusión: Sí, la fórmula se cumple para cualquier par de conjuntos A y B. ✓\n'}
4 ¿Puede $|A \setminus B|$ ser mayor que $|A|$?
- {'paso': 1, 'descripcion': '$A \\setminus B \\subseteq A$ por definición (la diferencia es un subconjunto de A).\n'}
- {'paso': 2, 'descripcion': 'Si un conjunto es subconjunto de otro, su cardinalidad no puede superar\nla del conjunto mayor: |A\\B| ≤ |A|.\n'}
- {'paso': 3, 'descripcion': 'Formalmente: |A\\B| = |A| - |A∩B|. Como |A∩B| ≥ 0, se tiene |A\\B| ≤ |A|.\n'}
- {'paso': 4, 'descripcion': 'Conclusión: No, $|A \\setminus B|$ nunca puede superar $|A|$. ✓\n'}
Ejemplos Verdadero/Falso
"{'error': 'Restar |B| en lugar de |A∩B|: calcular |A\\B| = |A| - |B|.', 'correccion': 'Lo que se resta es la intersección, no el conjunto completo B. La fórmula\ncorrecta es |A\\B| = |A| - |A∩B|.\n'}"
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"{'error': 'Calcular |A\\B| = |A| + |B| - |A∩B|, aplicando la fórmula de la unión.', 'correccion': 'La fórmula de la unión es |A∪B| = |A| + |B| - |A∩B|. Para la región exclusiva\nse usa solo |A\\B| = |A| - |A∩B|.\n'}"
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"{'error': 'No verificar que |A∩B| ≤ |A|, obteniendo una cardinalidad negativa.', 'correccion': 'Si |A∩B| > |A|, los datos del problema son inconsistentes. Siempre verificar\nla condición antes de calcular.\n'}"
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"{'error': 'Confundir |A\\B| con |B\\A|, invirtiendo cuál conjunto es el minuendo.', 'correccion': '|A\\B| = |A| - |A∩B| (se parte de A). |B\\A| = |B| - |A∩B| (se parte de B).\nEl resultado suele ser distinto si |A| ≠ |B|.\n'}"
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"{'error': 'Incluir la intersección en el conteo de la región exclusiva, sumando |A\\B| + |A∩B|\ny llamando al resultado «solo A».\n', 'correccion': 'La región «solo A» excluye la intersección. El conteo correcto para la región\nexclusiva es únicamente |A\\B| = |A| - |A∩B|, sin sumar |A∩B|.\n'}"
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
Fórmulas para las regiones exclusivas en un diagrama de dos conjuntos: - Región «solo A»: |A\B| = |A| - |A∩B| - Región «solo B»: |B\A| = |B| - |A∩B| Estas fórmulas garantizan que la intersección no se cuente dos veces al sumar las regiones del diagrama.