Cálculo Diferencial

Universidad Nacional de Ingenierı́a

Los Profesores

2020-1
Teorı́a de Conjuntos

Definición
ES una colección de objetos bien definidos, llamados elementos. Si la
colección no posee elementos diremos que el conjunto es vaı́o.
Teorı́a de Conjuntos

Definición
ES una colección de objetos bien definidos, llamados elementos. Si la
colección no posee elementos diremos que el conjunto es vaı́o.

Ejemplo
1 Las soluciones de la inecuación x 2 − 2x + 3 ≤ 0.
2 Los números primos.
3 Las vocales del alfabeto.
4 Las estudiantes de la UNI.
5 1, 2, 3, 4, 5, ....
6 {x ∈ R/1 ≤ x 2 ≤ 39}.
Teorı́a de Conjuntos

Generalmente un conjunto es representado por una letra mayúscula

A, B, ...
Teorı́a de Conjuntos

Generalmente un conjunto es representado por una letra mayúscula

A, B, ...
Definición
Diremos que x pertence al conjunto A si x es un elemento de A, y lo
escribimos x ∈ A. Cuando no lo es ∼ (x ∈ A) o x ∈/ A.
Teorı́a de Conjuntos

Generalmente un conjunto es representado por una letra mayúscula

A, B, ...
Definición
Diremos que x pertence al conjunto A si x es un elemento de A, y lo
escribimos x ∈ A. Cuando no lo es ∼ (x ∈ A) o x ∈/ A.

Ejemplo
Determinar cual de las siguientes proposiciones son verdaderas:

{1} ∈ A, {3, 4} ∈ A, {4} ∈ A, 4 ∈ A.

donde A = {1, {2}, {3, 4}, {5}, {4}}.

Teorı́a de Conjuntos

Generalmente un conjunto es representado por una letra mayúscula

A, B, ...
Definición
Diremos que x pertence al conjunto A si x es un elemento de A, y lo
escribimos x ∈ A. Cuando no lo es ∼ (x ∈ A) o x ∈/ A.

Ejemplo
Determinar cual de las siguientes proposiciones son verdaderas:

{1} ∈ A, {3, 4} ∈ A, {4} ∈ A, 4 ∈ A.

donde A = {1, {2}, {3, 4}, {5}, {4}}.

Un conjunto es llamado conjunto universal, si es un conjunto

formado por todos los objetos de estudio en un contexto dado.
Teorı́a de Conjuntos

Ejemplo
Sea el conjunto universal U = [0, 2], determine aquellos elementos que no
están en A = h0, 1i.
Teorı́a de Conjuntos

Ejemplo
Sea el conjunto universal U = [0, 2], determine aquellos elementos que no
están en A = h0, 1i.A0 = {0} ∪ [1, 2].
Teorı́a de Conjuntos

Ejemplo
Sea el conjunto universal U = [0, 2], determine aquellos elementos que no
están en A = h0, 1i.A0 = {0} ∪ [1, 2].
Determine los elementos del conjunto formado por los elementos de N
tales que 0 ≤ x 2 − 3x + 2 ≤ 6
Teorı́a de Conjuntos

Ejemplo
Sea el conjunto universal U = [0, 2], determine aquellos elementos que no
están en A = h0, 1i.A0 = {0} ∪ [1, 2].
Determine los elementos del conjunto formado por los elementos de N
tales que 0 ≤ x 2 − 3x + 2 ≤ 6, estos son 1, 3, 4.
Teorı́a de Conjuntos

Ejemplo
Sea el conjunto universal U = [0, 2], determine aquellos elementos que no
están en A = h0, 1i.A0 = {0} ∪ [1, 2].
Determine los elementos del conjunto formado por los elementos de N
tales que 0 ≤ x 2 − 3x + 2 ≤ 6, estos son 1, 3, 4.

Una variable es un sı́mbolo que representa un elemento no especificado de

un conjunto dado, denotado por lo general x.
Teorı́a de Conjuntos

Ejemplo
Sea el conjunto universal U = [0, 2], determine aquellos elementos que no
están en A = h0, 1i.A0 = {0} ∪ [1, 2].
Determine los elementos del conjunto formado por los elementos de N
tales que 0 ≤ x 2 − 3x + 2 ≤ 6, estos son 1, 3, 4.

Una variable es un sı́mbolo que representa un elemento no especificado de

un conjunto dado, denotado por lo general x.
Definimanos que a partir de una variable nosotros podemos dar una propiedad,
es decir, para cada valor de la variable ella toma un valor verdadero.
Teorı́a de Conjuntos

Ejemplo
Sea el conjunto universal U = [0, 2], determine aquellos elementos que no
están en A = h0, 1i.A0 = {0} ∪ [1, 2].
Determine los elementos del conjunto formado por los elementos de N
tales que 0 ≤ x 2 − 3x + 2 ≤ 6, estos son 1, 3, 4.

Una variable es un sı́mbolo que representa un elemento no especificado de

un conjunto dado, denotado por lo general x.
Definimanos que a partir de una variable nosotros podemos dar una propiedad,
es decir, para cada valor de la variable ella toma un valor verdadero.
Sea A un conjunto no vacı́o. Definimos una función lógica sobre el conjunto A
a la expresión p que depende de la variable x ∈ A, tal que
Teorı́a de Conjuntos

Ejemplo
Sea el conjunto universal U = [0, 2], determine aquellos elementos que no
están en A = h0, 1i.A0 = {0} ∪ [1, 2].
Determine los elementos del conjunto formado por los elementos de N
tales que 0 ≤ x 2 − 3x + 2 ≤ 6, estos son 1, 3, 4.

Una variable es un sı́mbolo que representa un elemento no especificado de

un conjunto dado, denotado por lo general x.
Definimanos que a partir de una variable nosotros podemos dar una propiedad,
es decir, para cada valor de la variable ella toma un valor verdadero.
Sea A un conjunto no vacı́o. Definimos una función lógica sobre el conjunto A
a la expresión p que depende de la variable x ∈ A, tal que

p : A → {V , F }
x → p(x)
Teorı́a de Conjuntos

Ejemplo
Sea el conjunto universal U = [0, 2], determine aquellos elementos que no
están en A = h0, 1i.A0 = {0} ∪ [1, 2].
Determine los elementos del conjunto formado por los elementos de N
tales que 0 ≤ x 2 − 3x + 2 ≤ 6, estos son 1, 3, 4.

Una variable es un sı́mbolo que representa un elemento no especificado de

un conjunto dado, denotado por lo general x.
Definimanos que a partir de una variable nosotros podemos dar una propiedad,
es decir, para cada valor de la variable ella toma un valor verdadero.
Sea A un conjunto no vacı́o. Definimos una función lógica sobre el conjunto A
a la expresión p que depende de la variable x ∈ A, tal que

p : A → {V , F }
x → p(x)

Cuando p siempre toma valor verdadero diremos que es una propiedad.

Teorı́a de Conjuntos

Definición
Un conjunto es por comprensión, si se puede escribir como,
{x ∈ U : p(x)}, donde U es un conjunto llamado universal y p es una
propiedad que depende de x y se lee “el conjunto formado por los
elementos que cumplen la propiedad p”.
Teorı́a de Conjuntos

Definición
Un conjunto es por comprensión, si se puede escribir como,
{x ∈ U : p(x)}, donde U es un conjunto llamado universal y p es una
propiedad que depende de x y se lee “el conjunto formado por los
elementos que cumplen la propiedad p”.

Ejemplo
Sea A el conjunto de las funciones continuas. Determine por comprensión
el conjunto A.
Cuantificadores

Ejemplo
Sea A = R, p(x) : “x > 000 , p es la proposición aquella de un número real
mayor que cero. Que valor de verdad toma cuando x = 1 y x = 0
Cuantificadores

Ejemplo
Sea A = R, p(x) : “x > 000 , p es la proposición aquella de un número real
mayor que cero. Que valor de verdad toma cuando x = 1 y x = 0
Si x = 1, p(1) = V .
Si x = 0, p(0) = F .
Cuantificadores

Ejemplo
Sea A = R, p(x) : “x > 000 , p es la proposición aquella de un número real
mayor que cero. Que valor de verdad toma cuando x = 1 y x = 0
Si x = 1, p(1) = V .
Si x = 0, p(0) = F .

Sea A un conjunto no vacı́o y p(x) una propiedad, definimos

Cuantificadores

Ejemplo
Sea A = R, p(x) : “x > 000 , p es la proposición aquella de un número real
mayor que cero. Que valor de verdad toma cuando x = 1 y x = 0
Si x = 1, p(1) = V .
Si x = 0, p(0) = F .

Sea A un conjunto no vacı́o y p(x) una propiedad, definimos

V = {x ∈ A | p(x)}
Cuantificadores

Ejemplo
Sea A = R, p(x) : “x > 000 , p es la proposición aquella de un número real
mayor que cero. Que valor de verdad toma cuando x = 1 y x = 0
Si x = 1, p(1) = V .
Si x = 0, p(0) = F .

Sea A un conjunto no vacı́o y p(x) una propiedad, definimos

V = {x ∈ A | p(x)}

• Cuantificador Universal: En el caso que V = A, es decir,

Cuantificadores

Ejemplo
Sea A = R, p(x) : “x > 000 , p es la proposición aquella de un número real
mayor que cero. Que valor de verdad toma cuando x = 1 y x = 0
Si x = 1, p(1) = V .
Si x = 0, p(0) = F .

Sea A un conjunto no vacı́o y p(x) una propiedad, definimos

V = {x ∈ A | p(x)}

• Cuantificador Universal: En el caso que V = A, es decir,

{x ∈ A | p(x) = V } = A
Cuantificadores

Ejemplo
Sea A = R, p(x) : “x > 000 , p es la proposición aquella de un número real
mayor que cero. Que valor de verdad toma cuando x = 1 y x = 0
Si x = 1, p(1) = V .
Si x = 0, p(0) = F .

Sea A un conjunto no vacı́o y p(x) una propiedad, definimos

V = {x ∈ A | p(x)}

• Cuantificador Universal: En el caso que V = A, es decir,

{x ∈ A | p(x) = V } = A

V1 = {x ∈ N | x ≥ 1} = N.
Cuantificadores

Ejemplo
Sea A = R, p(x) : “x > 000 , p es la proposición aquella de un número real
mayor que cero. Que valor de verdad toma cuando x = 1 y x = 0
Si x = 1, p(1) = V .
Si x = 0, p(0) = F .

Sea A un conjunto no vacı́o y p(x) una propiedad, definimos

V = {x ∈ A | p(x)}

• Cuantificador Universal: En el caso que V = A, es decir,

{x ∈ A | p(x) = V } = A

V1 = {x ∈ N | x ≥ 1} = N.
V2 = {x ∈ R | x ≥ 1} ⊂ R.
Cuantificadores
Para el conjunto V la propiedad p se cumple para todo x ∈ A, lo cual lo
podemos representar de manera simbólica como
Cuantificadores
Para el conjunto V la propiedad p se cumple para todo x ∈ A, lo cual lo
podemos representar de manera simbólica como

∀x ∈ A, P(x) ≡ Para todo x que pertenece a A cumple p(x)

Cuantificadores
Para el conjunto V la propiedad p se cumple para todo x ∈ A, lo cual lo
podemos representar de manera simbólica como

∀x ∈ A, P(x) ≡ Para todo x que pertenece a A cumple p(x)

≡ p(x) para todo x ∈ A.
Cuantificadores
Para el conjunto V la propiedad p se cumple para todo x ∈ A, lo cual lo
podemos representar de manera simbólica como

∀x ∈ A, P(x) ≡ Para todo x que pertenece a A cumple p(x)

≡ p(x) para todo x ∈ A.

Donde el sı́mbolo ∀ es llamado cuantificador universal.

Cuantificadores
Para el conjunto V la propiedad p se cumple para todo x ∈ A, lo cual lo
podemos representar de manera simbólica como

∀x ∈ A, P(x) ≡ Para todo x que pertenece a A cumple p(x)

≡ p(x) para todo x ∈ A.

Donde el sı́mbolo ∀ es llamado cuantificador universal.

• Cuantificador Existencial: En el caso que

∅ 6= V =
6 A
Cuantificadores
Para el conjunto V la propiedad p se cumple para todo x ∈ A, lo cual lo
podemos representar de manera simbólica como

∀x ∈ A, P(x) ≡ Para todo x que pertenece a A cumple p(x)

≡ p(x) para todo x ∈ A.

Donde el sı́mbolo ∀ es llamado cuantificador universal.

• Cuantificador Existencial: En el caso que

∅ 6= V =
6 A

entonces podemos decir V tiene al menos un elemento tal que p(x) es una
propiedad,
Cuantificadores
Para el conjunto V la propiedad p se cumple para todo x ∈ A, lo cual lo
podemos representar de manera simbólica como

∀x ∈ A, P(x) ≡ Para todo x que pertenece a A cumple p(x)

≡ p(x) para todo x ∈ A.

Donde el sı́mbolo ∀ es llamado cuantificador universal.

• Cuantificador Existencial: En el caso que

∅ 6= V =
6 A

entonces podemos decir V tiene al menos un elemento tal que p(x) es una
propiedad, de manera simbólica serı́a,
Cuantificadores
Para el conjunto V la propiedad p se cumple para todo x ∈ A, lo cual lo
podemos representar de manera simbólica como

∀x ∈ A, P(x) ≡ Para todo x que pertenece a A cumple p(x)

≡ p(x) para todo x ∈ A.

Donde el sı́mbolo ∀ es llamado cuantificador universal.

• Cuantificador Existencial: En el caso que

∅ 6= V =
6 A

entonces podemos decir V tiene al menos un elemento tal que p(x) es una
propiedad, de manera simbólica serı́a,

∃x ∈ A, [p(x)] ≡ Existe un x que pertenece a A tal que cumple p(x)

Cuantificadores
Para el conjunto V la propiedad p se cumple para todo x ∈ A, lo cual lo
podemos representar de manera simbólica como

∀x ∈ A, P(x) ≡ Para todo x que pertenece a A cumple p(x)

≡ p(x) para todo x ∈ A.

Donde el sı́mbolo ∀ es llamado cuantificador universal.

• Cuantificador Existencial: En el caso que

∅ 6= V =
6 A

entonces podemos decir V tiene al menos un elemento tal que p(x) es una
propiedad, de manera simbólica serı́a,

∃x ∈ A, [p(x)] ≡ Existe un x que pertenece a A tal que cumple p(x)

Donde el sı́mbolo ∃ es llamado cuantificador existencial.

Cuantificadores
Para el conjunto V la propiedad p se cumple para todo x ∈ A, lo cual lo
podemos representar de manera simbólica como

∀x ∈ A, P(x) ≡ Para todo x que pertenece a A cumple p(x)

≡ p(x) para todo x ∈ A.

Donde el sı́mbolo ∀ es llamado cuantificador universal.

• Cuantificador Existencial: En el caso que

∅ 6= V =
6 A

entonces podemos decir V tiene al menos un elemento tal que p(x) es una
propiedad, de manera simbólica serı́a,

∃x ∈ A, [p(x)] ≡ Existe un x que pertenece a A tal que cumple p(x)

Donde el sı́mbolo ∃ es llamado cuantificador existencial. Otras formas de

enunciarla es
Cuantificadores
Para el conjunto V la propiedad p se cumple para todo x ∈ A, lo cual lo
podemos representar de manera simbólica como

∀x ∈ A, P(x) ≡ Para todo x que pertenece a A cumple p(x)

≡ p(x) para todo x ∈ A.

Donde el sı́mbolo ∀ es llamado cuantificador universal.

• Cuantificador Existencial: En el caso que

∅ 6= V =
6 A

entonces podemos decir V tiene al menos un elemento tal que p(x) es una
propiedad, de manera simbólica serı́a,

∃x ∈ A, [p(x)] ≡ Existe un x que pertenece a A tal que cumple p(x)

Donde el sı́mbolo ∃ es llamado cuantificador existencial. Otras formas de

enunciarla es

“Existe un x ∈ A tal que p(x)” o

“Para algún x ∈ A, p(x)”, o
“Para al menos un x ∈ A, p(x)”.
Cuantificadores
Negación de Cuantificador

∼ (∀x ∈ A, p(x)) ≡ ∃x ∈ A/ ∼ p(x).

Cuantificadores
Negación de Cuantificador

∼ (∀x ∈ A, p(x)) ≡ ∃x ∈ A/ ∼ p(x).

(∃x ∈ A/p(x)) ≡ ∀x ∈ A, ∼ p(x).

Cuantificadores
Negación de Cuantificador

∼ (∀x ∈ A, p(x)) ≡ ∃x ∈ A/ ∼ p(x).

(∃x ∈ A/p(x)) ≡ ∀x ∈ A, ∼ p(x).

Ejemplo
∀ > 0, ∃δ > 0/∀x ∈ Df , 0 < |x − a| < δ ⇒ |f (x) − L| < 
Cuantificadores
Negación de Cuantificador

∼ (∀x ∈ A, p(x)) ≡ ∃x ∈ A/ ∼ p(x).

(∃x ∈ A/p(x)) ≡ ∀x ∈ A, ∼ p(x).

Ejemplo
∀ > 0, ∃δ > 0/∀x ∈ Df , 0 < |x − a| < δ ⇒ |f (x) − L| < 

⇒ ∃ > 0, δ > 0, ∃x ∈ Df , 0 < |x − a| < δ ∧ |f (x) − L| ≥ 

Cuantificadores
Negación de Cuantificador

∼ (∀x ∈ A, p(x)) ≡ ∃x ∈ A/ ∼ p(x).

(∃x ∈ A/p(x)) ≡ ∀x ∈ A, ∼ p(x).

Ejemplo
∀ > 0, ∃δ > 0/∀x ∈ Df , 0 < |x − a| < δ ⇒ |f (x) − L| < 

⇒ ∃ > 0, δ > 0, ∃x ∈ Df , 0 < |x − a| < δ ∧ |f (x) − L| ≥ 

Ejemplo
Todos los alumnos del curso de Cálculo Diferencial, tendrá un promedio
mayor de 11.
Cuantificadores

Sea A : Los alumnos del curso de Cálculo Diferencial, p la propiedad sacar nota
más de 11. p(x) : “x > 11”,
Cuantificadores

Sea A : Los alumnos del curso de Cálculo Diferencial, p la propiedad sacar nota
más de 11. p(x) : “x > 11”, escribir en el lenguaje coloquial la negación de la
proposición ∀x ∈ A, p(x)
Cuantificadores

Sea A : Los alumnos del curso de Cálculo Diferencial, p la propiedad sacar nota
más de 11. p(x) : “x > 11”, escribir en el lenguaje coloquial la negación de la
proposición ∀x ∈ A, p(x)
∃x ∈ A | ∼ p(x)
Cuantificadores

Sea A : Los alumnos del curso de Cálculo Diferencial, p la propiedad sacar nota
más de 11. p(x) : “x > 11”, escribir en el lenguaje coloquial la negación de la
proposición ∀x ∈ A, p(x)
∃x ∈ A | ∼ p(x)
Existen alumnos o al menos un alumno de Cálculo Diferencial que tendrá
promedio menor o igual a 11 (≤ 11.)
Cuantificadores

Sea A : Los alumnos del curso de Cálculo Diferencial, p la propiedad sacar nota
más de 11. p(x) : “x > 11”, escribir en el lenguaje coloquial la negación de la
proposición ∀x ∈ A, p(x)
∃x ∈ A | ∼ p(x)
Existen alumnos o al menos un alumno de Cálculo Diferencial que tendrá
promedio menor o igual a 11 (≤ 11.)

Ejemplo
Negar las siguientes proposiciones

∀x ∈ A, ∃x ∈ A/p(x, y )

∃x ∈ A/∀y ∈ A, p(x, y )

∃x ∈ A/∀y ∈ A, ∼ p(x, y )
Cuantificadores

Sea A : Los alumnos del curso de Cálculo Diferencial, p la propiedad sacar nota
más de 11. p(x) : “x > 11”, escribir en el lenguaje coloquial la negación de la
proposición ∀x ∈ A, p(x)
∃x ∈ A | ∼ p(x)
Existen alumnos o al menos un alumno de Cálculo Diferencial que tendrá
promedio menor o igual a 11 (≤ 11.)

Ejemplo
Negar las siguientes proposiciones

∀x ∈ A, ∃x ∈ A/p(x, y )

∃x ∈ A/∀y ∈ A, p(x, y )

∃x ∈ A/∀y ∈ A, ∼ p(x, y )

∀x ∈ A, ∃y ∈ A/ ∼ p(x, y )
Cuantificadores
Sea H = {(x, y ) ∈ R × R/x > 0, y > 0} definimos la función lógica sobre H por

p(x, y ) : “y < x”
Cuantificadores
Sea H = {(x, y ) ∈ R × R/x > 0, y > 0} definimos la función lógica sobre H por

p(x, y ) : “y < x”

Veamos el valor de verdad de,

∀y ∈ R+ , ∃x ∈ R+ , p(x, y ) : “y < x”
Cuantificadores
Sea H = {(x, y ) ∈ R × R/x > 0, y > 0} definimos la función lógica sobre H por

p(x, y ) : “y < x”

Veamos el valor de verdad de,

∀y ∈ R+ , ∃x ∈ R+ , p(x, y ) : “y < x”

∃y ∈ R+ /∀x ∈ R+ , p(x, y ) : “y < x”

Cuantificadores
Sea H = {(x, y ) ∈ R × R/x > 0, y > 0} definimos la función lógica sobre H por

p(x, y ) : “y < x”

Veamos el valor de verdad de,

∀y ∈ R+ , ∃x ∈ R+ , p(x, y ) : “y < x”

∃y ∈ R+ /∀x ∈ R+ , p(x, y ) : “y < x”

Sea y0 ∈ R+ y tomemos x = 2y0 , entonces tenemos

Cuantificadores
Sea H = {(x, y ) ∈ R × R/x > 0, y > 0} definimos la función lógica sobre H por

p(x, y ) : “y < x”

Veamos el valor de verdad de,

∀y ∈ R+ , ∃x ∈ R+ , p(x, y ) : “y < x”

∃y ∈ R+ /∀x ∈ R+ , p(x, y ) : “y < x”

Sea y0 ∈ R+ y tomemos x = 2y0 , entonces tenemos

y0 < 2y0 ≡ V
Cuantificadores
Sea H = {(x, y ) ∈ R × R/x > 0, y > 0} definimos la función lógica sobre H por

p(x, y ) : “y < x”

Veamos el valor de verdad de,

∀y ∈ R+ , ∃x ∈ R+ , p(x, y ) : “y < x”

∃y ∈ R+ /∀x ∈ R+ , p(x, y ) : “y < x”

Sea y0 ∈ R+ y tomemos x = 2y0 , entonces tenemos

y0 < 2y0 ≡ V

Negando la proposición

∀x ∈ R+ , ∃y ∈ R+ , ∼ p(x, y ) = “y ≥ x”
Cuantificadores
Sea H = {(x, y ) ∈ R × R/x > 0, y > 0} definimos la función lógica sobre H por

p(x, y ) : “y < x”

Veamos el valor de verdad de,

∀y ∈ R+ , ∃x ∈ R+ , p(x, y ) : “y < x”

∃y ∈ R+ /∀x ∈ R+ , p(x, y ) : “y < x”

Sea y0 ∈ R+ y tomemos x = 2y0 , entonces tenemos

y0 < 2y0 ≡ V

Negando la proposición

∀x ∈ R+ , ∃y ∈ R+ , ∼ p(x, y ) = “y ≥ x”

Sea x0 ∈ R+ e y = 2x0 ,
Cuantificadores
Sea H = {(x, y ) ∈ R × R/x > 0, y > 0} definimos la función lógica sobre H por

p(x, y ) : “y < x”

Veamos el valor de verdad de,

∀y ∈ R+ , ∃x ∈ R+ , p(x, y ) : “y < x”

∃y ∈ R+ /∀x ∈ R+ , p(x, y ) : “y < x”

Sea y0 ∈ R+ y tomemos x = 2y0 , entonces tenemos

y0 < 2y0 ≡ V

Negando la proposición

∀x ∈ R+ , ∃y ∈ R+ , ∼ p(x, y ) = “y ≥ x”

Sea x0 ∈ R+ e y = 2x0 , entonces y = 2x0 ≥ x0 ,

Cuantificadores
Sea H = {(x, y ) ∈ R × R/x > 0, y > 0} definimos la función lógica sobre H por

p(x, y ) : “y < x”

Veamos el valor de verdad de,

∀y ∈ R+ , ∃x ∈ R+ , p(x, y ) : “y < x”

∃y ∈ R+ /∀x ∈ R+ , p(x, y ) : “y < x”

Sea y0 ∈ R+ y tomemos x = 2y0 , entonces tenemos

y0 < 2y0 ≡ V

Negando la proposición

∀x ∈ R+ , ∃y ∈ R+ , ∼ p(x, y ) = “y ≥ x”

Sea x0 ∈ R+ e y = 2x0 , entonces y = 2x0 ≥ x0 , luego la proposición es

falsa.
Álgebra de Conjuntos

Este ejemplo muestra que la posición del cuantificador es importante.

Álgebra de Conjuntos

Este ejemplo muestra que la posición del cuantificador es importante.

Definición (Inclusión de conjuntos)

Dados A y B dos conjuntos de elementos del conjunto Universal, diremos
que A está contenido en B, lo cual lo denotaremos A ⊂ B, si cada
elemento de A es un elemneto de B, es decir,

∀x ∈ U, [x ∈ A ⇒ x ∈ B]
Álgebra de Conjuntos

Este ejemplo muestra que la posición del cuantificador es importante.

Definición (Inclusión de conjuntos)

Dados A y B dos conjuntos de elementos del conjunto Universal, diremos
que A está contenido en B, lo cual lo denotaremos A ⊂ B, si cada
elemento de A es un elemneto de B, es decir,

∀x ∈ U, [x ∈ A ⇒ x ∈ B]

Ejemplo
Demostrar que si ∀x ∈ U, [x ∈
/A→x ∈
/ B] ⇒ B ⊂ A.
Álgebra de Conjuntos

Este ejemplo muestra que la posición del cuantificador es importante.

Definición (Inclusión de conjuntos)

Dados A y B dos conjuntos de elementos del conjunto Universal, diremos
que A está contenido en B, lo cual lo denotaremos A ⊂ B, si cada
elemento de A es un elemneto de B, es decir,

∀x ∈ U, [x ∈ A ⇒ x ∈ B]

Ejemplo
Demostrar que si ∀x ∈ U, [x ∈
/A→x ∈
/ B] ⇒ B ⊂ A.

∀x ∈ U, [∼ (x ∈
/ A) ∨ (x ∈
/ B)]
Álgebra de Conjuntos

Este ejemplo muestra que la posición del cuantificador es importante.

Definición (Inclusión de conjuntos)

Dados A y B dos conjuntos de elementos del conjunto Universal, diremos
que A está contenido en B, lo cual lo denotaremos A ⊂ B, si cada
elemento de A es un elemneto de B, es decir,

∀x ∈ U, [x ∈ A ⇒ x ∈ B]

Ejemplo
Demostrar que si ∀x ∈ U, [x ∈
/A→x ∈
/ B] ⇒ B ⊂ A.

∀x ∈ U, [∼ (x ∈
/ A) ∨ (x ∈
/ B)]
[x ∈ A ∨ x ∈
/ B]
Álgebra de Conjuntos

Este ejemplo muestra que la posición del cuantificador es importante.

Definición (Inclusión de conjuntos)

Dados A y B dos conjuntos de elementos del conjunto Universal, diremos
que A está contenido en B, lo cual lo denotaremos A ⊂ B, si cada
elemento de A es un elemneto de B, es decir,

∀x ∈ U, [x ∈ A ⇒ x ∈ B]

Ejemplo
Demostrar que si ∀x ∈ U, [x ∈
/A→x ∈
/ B] ⇒ B ⊂ A.

∀x ∈ U, [∼ (x ∈
/ A) ∨ (x ∈
/ B)]
[x ∈ A ∨ x ∈
/ B]
[x ∈ B → x ∈ A]
Álgebra de Conjuntos

Este ejemplo muestra que la posición del cuantificador es importante.

Definición (Inclusión de conjuntos)

Dados A y B dos conjuntos de elementos del conjunto Universal, diremos
que A está contenido en B, lo cual lo denotaremos A ⊂ B, si cada
elemento de A es un elemneto de B, es decir,

∀x ∈ U, [x ∈ A ⇒ x ∈ B]

Ejemplo
Demostrar que si ∀x ∈ U, [x ∈
/A→x ∈
/ B] ⇒ B ⊂ A.

∀x ∈ U, [∼ (x ∈
/ A) ∨ (x ∈
/ B)]
[x ∈ A ∨ x ∈
/ B]
[x ∈ B → x ∈ A] ⇒ B ⊂ A
Álgebra de Conjuntos

Definición
Sea U un conjunto universal y A, B sub conjuntos de U, definimos la
unión de A y B denotado por A ∪ B como el conjunto de elementos de U
que estan en A o estan en B, es decir

A ∪ B = {x ∈ U : (x ∈ A) ∨ (x ∈ B)}
Álgebra de Conjuntos

Definición
Sea U un conjunto universal y A, B sub conjuntos de U, definimos la
unión de A y B denotado por A ∪ B como el conjunto de elementos de U
que estan en A o estan en B, es decir

A ∪ B = {x ∈ U : (x ∈ A) ∨ (x ∈ B)}

Ejercicio
Demostrar que para cualquier par A y B conjuntos

A ⊂ A ∪ B ∧ B ⊂ A ∪ B.
Álgebra de Conjuntos

Definición
Sea U un conjunto universal y A, B sub conjuntos de U, definimos la
unión de A y B denotado por A ∪ B como el conjunto de elementos de U
que estan en A o estan en B, es decir

A ∪ B = {x ∈ U : (x ∈ A) ∨ (x ∈ B)}

Ejercicio
Demostrar que para cualquier par A y B conjuntos

A ⊂ A ∪ B ∧ B ⊂ A ∪ B.

Definición (Intersección)
Sea A, B dos conjuntos de elementos del conjunto universal U, conjunto
de elementos de U que estan en A y estan en B, es decir,

A ∩ B = {x ∈ U : (x ∈ A) ∧ (x ∈ B)}
Álgebra de Conjuntos

Ejemplo
Demostrar que A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C )
Álgebra de Conjuntos

Ejemplo
Demostrar que A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C )

A ∩ (B ∪ C )
Álgebra de Conjuntos

Ejemplo
Demostrar que A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C )

A ∩ (B ∪ C ) = {x ∈ U : (x ∈ A) ∧ (x ∈ B ∪ C )}
Álgebra de Conjuntos

Ejemplo
Demostrar que A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C )

A ∩ (B ∪ C ) = {x ∈ U : (x ∈ A) ∧ (x ∈ B ∪ C )}
= {x ∈ U : (x ∈ A) ∧ ((x ∈ B) ∨ (x ∈ C ))}
Álgebra de Conjuntos

Ejemplo
Demostrar que A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C )

A ∩ (B ∪ C ) = {x ∈ U : (x ∈ A) ∧ (x ∈ B ∪ C )}
= {x ∈ U : (x ∈ A) ∧ ((x ∈ B) ∨ (x ∈ C ))}
= {x ∈ U : ((x ∈ A) ∧ (x ∈ B)) ∨ ((x ∈ A) ∧ (x ∈ C ))}
Álgebra de Conjuntos

Ejemplo
Demostrar que A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C )

A ∩ (B ∪ C ) = {x ∈U : (x ∈ A) ∧ (x ∈ B ∪ C )}
= {x ∈U : (x ∈ A) ∧ ((x ∈ B) ∨ (x ∈ C ))}
= {x ∈U : ((x ∈ A) ∧ (x ∈ B)) ∨ ((x ∈ A) ∧ (x ∈ C ))}
= {x ∈U : (x ∈ (A ∩ B)) ∨ (x ∈ (A ∩ C ))}
Álgebra de Conjuntos

Ejemplo
Demostrar que A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C )

A ∩ (B ∪ C ) = {x ∈ U : (x ∈ A) ∧ (x ∈ B ∪ C )}
= {x ∈ U : (x ∈ A) ∧ ((x ∈ B) ∨ (x ∈ C ))}
= {x ∈ U : ((x ∈ A) ∧ (x ∈ B)) ∨ ((x ∈ A) ∧ (x ∈ C ))}
= {x ∈ U : (x ∈ (A ∩ B)) ∨ (x ∈ (A ∩ C ))}
= (A ∩ B) ∪ (A ∩ C )
Álgebra de Conjuntos

Ejemplo
Demostrar que A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C )

A ∩ (B ∪ C ) = {x ∈ U : (x ∈ A) ∧ (x ∈ B ∪ C )}
= {x ∈ U : (x ∈ A) ∧ ((x ∈ B) ∨ (x ∈ C ))}
= {x ∈ U : ((x ∈ A) ∧ (x ∈ B)) ∨ ((x ∈ A) ∧ (x ∈ C ))}
= {x ∈ U : (x ∈ (A ∩ B)) ∨ (x ∈ (A ∩ C ))}
= (A ∩ B) ∪ (A ∩ C )

Definición
Diremos que los conjuntos A y B son disjuntos cuando A ∩ B = ∅.
Complemento de un conjunto
Definición (Complemento de un conjunto)
Sea A un conjunto de elemento de U conjunto universal definimos el
complemento de A, denotado por A0 , como el conjunto de elementos de U que
no pertenecen a A, es decir

A0 = Ac = {x ∈ U : x ∈
/ A} = {x ∈ U :∼ (x ∈ A)}
Complemento de un conjunto
Definición (Complemento de un conjunto)
Sea A un conjunto de elemento de U conjunto universal definimos el
complemento de A, denotado por A0 , como el conjunto de elementos de U que
no pertenecen a A, es decir

A0 = Ac = {x ∈ U : x ∈
/ A} = {x ∈ U :∼ (x ∈ A)}

Ejemplo
Pruebe que si A y B son disjuntos entonces A ⊂ B 0
Complemento de un conjunto
Definición (Complemento de un conjunto)
Sea A un conjunto de elemento de U conjunto universal definimos el
complemento de A, denotado por A0 , como el conjunto de elementos de U que
no pertenecen a A, es decir

A0 = Ac = {x ∈ U : x ∈
/ A} = {x ∈ U :∼ (x ∈ A)}

Ejemplo
Pruebe que si A y B son disjuntos entonces A ⊂ B 0

Desde que A ∩ B = {x ∈ U : (x ∈ A) ∧ (x ∈ B)} = ∅,

Complemento de un conjunto
Definición (Complemento de un conjunto)
Sea A un conjunto de elemento de U conjunto universal definimos el
complemento de A, denotado por A0 , como el conjunto de elementos de U que
no pertenecen a A, es decir

A0 = Ac = {x ∈ U : x ∈
/ A} = {x ∈ U :∼ (x ∈ A)}

Ejemplo
Pruebe que si A y B son disjuntos entonces A ⊂ B 0

Desde que A ∩ B = {x ∈ U : (x ∈ A) ∧ (x ∈ B)} = ∅, entonces

(x ∈ A) ∧ (x ∈ B) ≡ F ,
Complemento de un conjunto
Definición (Complemento de un conjunto)
Sea A un conjunto de elemento de U conjunto universal definimos el
complemento de A, denotado por A0 , como el conjunto de elementos de U que
no pertenecen a A, es decir

A0 = Ac = {x ∈ U : x ∈
/ A} = {x ∈ U :∼ (x ∈ A)}

Ejemplo
Pruebe que si A y B son disjuntos entonces A ⊂ B 0

Desde que A ∩ B = {x ∈ U : (x ∈ A) ∧ (x ∈ B)} = ∅, entonces

(x ∈ A) ∧ (x ∈ B) ≡ F , lo que implica siempre es verdadera
Complemento de un conjunto
Definición (Complemento de un conjunto)
Sea A un conjunto de elemento de U conjunto universal definimos el
complemento de A, denotado por A0 , como el conjunto de elementos de U que
no pertenecen a A, es decir

A0 = Ac = {x ∈ U : x ∈
/ A} = {x ∈ U :∼ (x ∈ A)}

Ejemplo
Pruebe que si A y B son disjuntos entonces A ⊂ B 0

Desde que A ∩ B = {x ∈ U : (x ∈ A) ∧ (x ∈ B)} = ∅, entonces

(x ∈ A) ∧ (x ∈ B) ≡ F , lo que implica siempre es verdadera

∀x ∈ U, ∼ [(x ∈ A) ∧ (x ∈ B)]
Complemento de un conjunto
Definición (Complemento de un conjunto)
Sea A un conjunto de elemento de U conjunto universal definimos el
complemento de A, denotado por A0 , como el conjunto de elementos de U que
no pertenecen a A, es decir

A0 = Ac = {x ∈ U : x ∈
/ A} = {x ∈ U :∼ (x ∈ A)}

Ejemplo
Pruebe que si A y B son disjuntos entonces A ⊂ B 0

Desde que A ∩ B = {x ∈ U : (x ∈ A) ∧ (x ∈ B)} = ∅, entonces

(x ∈ A) ∧ (x ∈ B) ≡ F , lo que implica siempre es verdadera

∀x ∈ U, ∼ [(x ∈ A) ∧ (x ∈ B)]
∀x ∈ U, [x ∈
/ A∨x ∈
/ B]
Complemento de un conjunto
Definición (Complemento de un conjunto)
Sea A un conjunto de elemento de U conjunto universal definimos el
complemento de A, denotado por A0 , como el conjunto de elementos de U que
no pertenecen a A, es decir

A0 = Ac = {x ∈ U : x ∈
/ A} = {x ∈ U :∼ (x ∈ A)}

Ejemplo
Pruebe que si A y B son disjuntos entonces A ⊂ B 0

Desde que A ∩ B = {x ∈ U : (x ∈ A) ∧ (x ∈ B)} = ∅, entonces

(x ∈ A) ∧ (x ∈ B) ≡ F , lo que implica siempre es verdadera

∀x ∈ U, ∼ [(x ∈ A) ∧ (x ∈ B)]
∀x ∈ U, [x ∈
/ A∨x ∈
/ B]
[∼ (x ∈ A) ∨ x ∈
/ B]
Complemento de un conjunto
Definición (Complemento de un conjunto)
Sea A un conjunto de elemento de U conjunto universal definimos el
complemento de A, denotado por A0 , como el conjunto de elementos de U que
no pertenecen a A, es decir

A0 = Ac = {x ∈ U : x ∈
/ A} = {x ∈ U :∼ (x ∈ A)}

Ejemplo
Pruebe que si A y B son disjuntos entonces A ⊂ B 0

Desde que A ∩ B = {x ∈ U : (x ∈ A) ∧ (x ∈ B)} = ∅, entonces

(x ∈ A) ∧ (x ∈ B) ≡ F , lo que implica siempre es verdadera

∀x ∈ U, ∼ [(x ∈ A) ∧ (x ∈ B)]
∀x ∈ U, [x ∈
/ A∨x ∈
/ B]
[∼ (x ∈ A) ∨ x ∈
/ B]
[∼ (x ∈ A) ∨ x ∈ B 0 ]
Complemento de un conjunto
Definición (Complemento de un conjunto)
Sea A un conjunto de elemento de U conjunto universal definimos el
complemento de A, denotado por A0 , como el conjunto de elementos de U que
no pertenecen a A, es decir

A0 = Ac = {x ∈ U : x ∈
/ A} = {x ∈ U :∼ (x ∈ A)}

Ejemplo
Pruebe que si A y B son disjuntos entonces A ⊂ B 0

Desde que A ∩ B = {x ∈ U : (x ∈ A) ∧ (x ∈ B)} = ∅, entonces

(x ∈ A) ∧ (x ∈ B) ≡ F , lo que implica siempre es verdadera

∀x ∈ U, ∼ [(x ∈ A) ∧ (x ∈ B)]
∀x ∈ U, [x ∈
/ A∨x ∈
/ B]
[∼ (x ∈ A) ∨ x ∈
/ B]
[∼ (x ∈ A) ∨ x ∈ B 0 ]
[x ∈ A → x ∈ B 0 ]
Complemento de un conjunto
Definición (Complemento de un conjunto)
Sea A un conjunto de elemento de U conjunto universal definimos el
complemento de A, denotado por A0 , como el conjunto de elementos de U que
no pertenecen a A, es decir

A0 = Ac = {x ∈ U : x ∈
/ A} = {x ∈ U :∼ (x ∈ A)}

Ejemplo
Pruebe que si A y B son disjuntos entonces A ⊂ B 0

Desde que A ∩ B = {x ∈ U : (x ∈ A) ∧ (x ∈ B)} = ∅, entonces

(x ∈ A) ∧ (x ∈ B) ≡ F , lo que implica siempre es verdadera

∀x ∈ U, ∼ [(x ∈ A) ∧ (x ∈ B)]
∀x ∈ U, [x ∈
/ A∨x ∈
/ B]
[∼ (x ∈ A) ∨ x ∈
/ B]
[∼ (x ∈ A) ∨ x ∈ B 0 ]
[x ∈ A → x ∈ B 0 ] ⇒ A ⊂ B 0 .
Teorı́a de Conjuntos

Definición
Sean A y B conjuntos de elementos del conjunto universal U. Definimos
la diferencia, de A con B, denotado por A − B, como el conjunto de
elementos de U que estan en A pero no en B, es decir

A−B = {x ∈ U : (x ∈ A) ∧ (x ∈
/ B)}
Teorı́a de Conjuntos

Definición
Sean A y B conjuntos de elementos del conjunto universal U. Definimos
la diferencia, de A con B, denotado por A − B, como el conjunto de
elementos de U que estan en A pero no en B, es decir

A−B = {x ∈ U : (x ∈ A) ∧ (x ∈
/ B)}
= {x ∈ U : x ∈ A ∧ x ∈ B 0 }
Teorı́a de Conjuntos

Definición
Sean A y B conjuntos de elementos del conjunto universal U. Definimos
la diferencia, de A con B, denotado por A − B, como el conjunto de
elementos de U que estan en A pero no en B, es decir

A−B = {x ∈ U : (x ∈ A) ∧ (x ∈
/ B)}
= {x ∈ U : x ∈ A ∧ x ∈ B 0 }
= A ∩ B0
Teorı́a de Conjuntos

Definición
Sean A y B conjuntos de elementos del conjunto universal U. Definimos
la diferencia, de A con B, denotado por A − B, como el conjunto de
elementos de U que estan en A pero no en B, es decir

A−B = {x ∈ U : (x ∈ A) ∧ (x ∈
/ B)}
= {x ∈ U : x ∈ A ∧ x ∈ B 0 }
= A ∩ B0

Definición
Sea A y B dos conjuntos de elementos del conjunto universal, diremos
que A es igual a B si: A ⊂ B y B ⊂ A.
Teorı́a de Conjuntos

Ejemplo
Sea (A − B) ∪ (B − A) = ∅ ⇒ A = B
Teorı́a de Conjuntos

Ejemplo
Sea (A − B) ∪ (B − A) = ∅ ⇒ A = B

Como (A − B) ∪ (B − A) = ∅
Teorı́a de Conjuntos

Ejemplo
Sea (A − B) ∪ (B − A) = ∅ ⇒ A = B

Como (A − B) ∪ (B − A) = ∅ ⇔ X ∪ Y = {x ∈ U : x ∈ X ∨ y ∈ Y } = ∅
| {z } | {z }
F F
Teorı́a de Conjuntos

Ejemplo
Sea (A − B) ∪ (B − A) = ∅ ⇒ A = B

Como (A − B) ∪ (B − A) = ∅ ⇔ X ∪ Y = {x ∈ U : x ∈ X ∨ y ∈ Y } = ∅
| {z } | {z }
F F

⇒A−B =∅∨B −A=∅

Teorı́a de Conjuntos

Ejemplo
Sea (A − B) ∪ (B − A) = ∅ ⇒ A = B

Como (A − B) ∪ (B − A) = ∅ ⇔ X ∪ Y = {x ∈ U : x ∈ X ∨ y ∈ Y } = ∅
| {z } | {z }
F F

⇒A−B =∅∨B −A=∅

⇒ A ∩ B 0 = ∅ ∨ B ∩ A0 = ∅
Teorı́a de Conjuntos

Ejemplo
Sea (A − B) ∪ (B − A) = ∅ ⇒ A = B

Como (A − B) ∪ (B − A) = ∅ ⇔ X ∪ Y = {x ∈ U : x ∈ X ∨ y ∈ Y } = ∅
| {z } | {z }
F F

⇒A−B =∅∨B −A=∅

⇒ A ∩ B 0 = ∅ ∨ B ∩ A0 = ∅
⇒A⊂B ∨B ⊂A
Teorı́a de Conjuntos

Ejemplo
Sea (A − B) ∪ (B − A) = ∅ ⇒ A = B

Como (A − B) ∪ (B − A) = ∅ ⇔ X ∪ Y = {x ∈ U : x ∈ X ∨ y ∈ Y } = ∅
| {z } | {z }
F F

⇒A−B =∅∨B −A=∅

⇒ A ∩ B 0 = ∅ ∨ B ∩ A0 = ∅
⇒A⊂B ∨B ⊂A
⇒A=B
Teorı́a de Conjuntos

Ejemplo
Sea (A − B) ∪ (B − A) = ∅ ⇒ A = B

Como (A − B) ∪ (B − A) = ∅ ⇔ X ∪ Y = {x ∈ U : x ∈ X ∨ y ∈ Y } = ∅
| {z } | {z }
F F

⇒A−B =∅∨B −A=∅

⇒ A ∩ B 0 = ∅ ∨ B ∩ A0 = ∅
⇒A⊂B ∨B ⊂A
⇒A=B

Definición
Sea U un conjunto universal y sean A y B subconjuntos de U, definimos

A4B = (A ∪ B) ∩ (A ∩ B)0
Propiedades

Ejercicio
Demostrar que: A4B = (A − B) ∪ (B − A).
Propiedades

Ejercicio
Demostrar que: A4B = (A − B) ∪ (B − A).

Propiedades de conjuntos:
1 A ∪ A = A, A∩A=A
Propiedades

Ejercicio
Demostrar que: A4B = (A − B) ∪ (B − A).

Propiedades de conjuntos:
1 A ∪ A = A, A∩A=A
2 A ∪ B = B ∪ A, A∩B =B ∪A
Propiedades

Ejercicio
Demostrar que: A4B = (A − B) ∪ (B − A).

Propiedades de conjuntos:
1 A ∪ A = A, A∩A=A
2 A ∪ B = B ∪ A, A∩B =B ∪A
3 (A ∪ B) ∪ C = A ∪ (B ∪ C ), (A ∩ B) ∩ C = A ∩ (B ∩ C )
Propiedades

Ejercicio
Demostrar que: A4B = (A − B) ∪ (B − A).

Propiedades de conjuntos:
1 A ∪ A = A, A∩A=A
2 A ∪ B = B ∪ A, A∩B =B ∪A
3 (A ∪ B) ∪ C = A ∪ (B ∪ C ), (A ∩ B) ∩ C = A ∩ (B ∩ C )
4 A ∪ (B ∩ C ) = (A ∪ B) ∩ (A ∪ C ),
A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C ).
Propiedades

Ejercicio
Demostrar que: A4B = (A − B) ∪ (B − A).

Propiedades de conjuntos:
1 A ∪ A = A, A∩A=A
2 A ∪ B = B ∪ A, A∩B =B ∪A
3 (A ∪ B) ∪ C = A ∪ (B ∪ C ), (A ∩ B) ∩ C = A ∩ (B ∩ C )
4 A ∪ (B ∩ C ) = (A ∪ B) ∩ (A ∪ C ),
A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C ).A ∩ (A ∪ C ) = A; A0 ∩ (A ∪ C ) = A0 ∩ C
5 A ∪ ∅ = A, A ∪ ∅ = A, A∩U =A
A∪A0 = U, (A0 )0 = A, ∅0 = U.
Propiedades

Ejercicio
Demostrar que: A4B = (A − B) ∪ (B − A).

Propiedades de conjuntos:
1 A ∪ A = A, A∩A=A
2 A ∪ B = B ∪ A, A∩B =B ∪A
3 (A ∪ B) ∪ C = A ∪ (B ∪ C ), (A ∩ B) ∩ C = A ∩ (B ∩ C )
4 A ∪ (B ∩ C ) = (A ∪ B) ∩ (A ∪ C ),
A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C ).A ∩ (A ∪ C ) = A; A0 ∩ (A ∪ C ) = A0 ∩ C
5 A ∪ ∅ = A, A ∪ ∅ = A, A∩U =A
A∪A0 = U, (A0 )0 = A, ∅0 = U.A∩(A∪C ) = A; A0 ∩(A∪C ) = A0 ∩C
6 A ∪ (A ∩ C ) = A; A0 ∪ (A ∩ C ) = A0 ∪ C
A ∩ (A ∪ C ) = A; A0 ∩ (A ∪ C ) = A0 ∩ C
Propiedades

Ejercicio
Demostrar que: A4B = (A − B) ∪ (B − A).

Propiedades de conjuntos:
1 A ∪ A = A, A∩A=A
2 A ∪ B = B ∪ A, A∩B =B ∪A
3 (A ∪ B) ∪ C = A ∪ (B ∪ C ), (A ∩ B) ∩ C = A ∩ (B ∩ C )
4 A ∪ (B ∩ C ) = (A ∪ B) ∩ (A ∪ C ),
A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C ).A ∩ (A ∪ C ) = A; A0 ∩ (A ∪ C ) = A0 ∩ C
5 A ∪ ∅ = A, A ∪ ∅ = A, A∩U =A
A∪A0 = U, (A0 )0 = A, ∅0 = U.A∩(A∪C ) = A; A0 ∩(A∪C ) = A0 ∩C
6 A ∪ (A ∩ C ) = A; A0 ∪ (A ∩ C ) = A0 ∪ C
A ∩ (A ∪ C ) = A; A0 ∩ (A ∪ C ) = A0 ∩ C A ∩ (A ∪ C ) =
A; A0 ∩ (A ∪ C ) = A0 ∩ C
7 A ∩ (B ∩ C ) = (A ∩ B) ∩ C ; A ∪ (B ∪ C ) = (A ∪ B) ∪ C
EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅
EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A

EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A)

EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A) = ∅ ∪ ∅ = ∅.

EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A) = ∅ ∪ ∅ = ∅.

2 A4∅ = A
EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A) = ∅ ∪ ∅ = ∅.

2 A4∅ = A

Por definición, A4∅

EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A) = ∅ ∪ ∅ = ∅.

2 A4∅ = A

Por definición, A4∅ = (A − ∅) ∪ (∅ − A)

EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A) = ∅ ∪ ∅ = ∅.

2 A4∅ = A

Por definición, A4∅ = (A − ∅) ∪ (∅ − A) = A ∪ ∅ = A

EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A) = ∅ ∪ ∅ = ∅.

2 A4∅ = A

Por definición, A4∅ = (A − ∅) ∪ (∅ − A) = A ∪ ∅ = A

3 A4B = B4A
EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A) = ∅ ∪ ∅ = ∅.

2 A4∅ = A

Por definición, A4∅ = (A − ∅) ∪ (∅ − A) = A ∪ ∅ = A

3 A4B = B4A

Por definición, A4B = (A − B) ∪ (B − A) = (B − A) ∪ (A − B)

EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A) = ∅ ∪ ∅ = ∅.

2 A4∅ = A

Por definición, A4∅ = (A − ∅) ∪ (∅ − A) = A ∪ ∅ = A

3 A4B = B4A

Por definición, A4B = (A − B) ∪ (B − A) = (B − A) ∪ (A − B)

4 A4B = A4C ⇒ B = C
EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A) = ∅ ∪ ∅ = ∅.

2 A4∅ = A

Por definición, A4∅ = (A − ∅) ∪ (∅ − A) = A ∪ ∅ = A

3 A4B = B4A

Por definición, A4B = (A − B) ∪ (B − A) = (B − A) ∪ (A − B)

4 A4B = A4C ⇒ B = C
EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A) = ∅ ∪ ∅ = ∅.

2 A4∅ = A

Por definición, A4∅ = (A − ∅) ∪ (∅ − A) = A ∪ ∅ = A

3 A4B = B4A

Por definición, A4B = (A − B) ∪ (B − A) = (B − A) ∪ (A − B)

4 A4B = A4C ⇒ B = C

Considerando que: (A4B)4A

EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A) = ∅ ∪ ∅ = ∅.

2 A4∅ = A

Por definición, A4∅ = (A − ∅) ∪ (∅ − A) = A ∪ ∅ = A

3 A4B = B4A

Por definición, A4B = (A − B) ∪ (B − A) = (B − A) ∪ (A − B)

4 A4B = A4C ⇒ B = C

Considerando que: (A4B)4A = (A4C )4A

EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A) = ∅ ∪ ∅ = ∅.

2 A4∅ = A

Por definición, A4∅ = (A − ∅) ∪ (∅ − A) = A ∪ ∅ = A

3 A4B = B4A

Por definición, A4B = (A − B) ∪ (B − A) = (B − A) ∪ (A − B)

4 A4B = A4C ⇒ B = C

Considerando que: (A4B)4A = (A4C )4A

Luego (A4(A4B)
EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A) = ∅ ∪ ∅ = ∅.

2 A4∅ = A

Por definición, A4∅ = (A − ∅) ∪ (∅ − A) = A ∪ ∅ = A

3 A4B = B4A

Por definición, A4B = (A − B) ∪ (B − A) = (B − A) ∪ (A − B)

4 A4B = A4C ⇒ B = C

Considerando que: (A4B)4A = (A4C )4A

Luego (A4(A4B) = A4(A4C )
EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A) = ∅ ∪ ∅ = ∅.

2 A4∅ = A

Por definición, A4∅ = (A − ∅) ∪ (∅ − A) = A ∪ ∅ = A

3 A4B = B4A

Por definición, A4B = (A − B) ∪ (B − A) = (B − A) ∪ (A − B)

4 A4B = A4C ⇒ B = C

Considerando que: (A4B)4A = (A4C )4A

Luego (A4(A4B) = A4(A4C ) ⇒ (A4A)4B = (A4A)4C
EJERCICIO

Demostremos algunas propiedades

1 A4A = ∅

Por definición, A4A = (A − A) ∪ (A − A) = ∅ ∪ ∅ = ∅.

2 A4∅ = A

Por definición, A4∅ = (A − ∅) ∪ (∅ − A) = A ∪ ∅ = A

3 A4B = B4A

Por definición, A4B = (A − B) ∪ (B − A) = (B − A) ∪ (A − B)

4 A4B = A4C ⇒ B = C

Considerando que: (A4B)4A = (A4C )4A

Luego (A4(A4B) = A4(A4C ) ⇒ (A4A)4B = (A4A)4C

Por tanto: B = C .
EJERCICIO

Ejercicio
Sean A, B y C , demostrar que (A4B)4C = A4(B4C )
EJERCICIO

Ejercicio
Sean A, B y C , demostrar que (A4B)4C = A4(B4C )

(A4B)4C
EJERCICIO

Ejercicio
Sean A, B y C , demostrar que (A4B)4C = A4(B4C )

(A4B)4C = [((A ∩ B 0 ) ∪ (B ∩ A0 ))]4C

EJERCICIO

Ejercicio
Sean A, B y C , demostrar que (A4B)4C = A4(B4C )

(A4B)4C = [((A ∩ B 0 ) ∪ (B ∩ A0 ))]4C

= [((A ∩ B 0 ) ∪ (B ∩ A0 )) ∩ C 0 ] ∪ [C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))0 ]
EJERCICIO

Ejercicio
Sean A, B y C , demostrar que (A4B)4C = A4(B4C )

(A4B)4C = [((A ∩ B 0 ) ∪ (B ∩ A0 ))]4C

= [((A ∩ B 0 ) ∪ (B ∩ A0 )) ∩ C 0 ] ∪ [C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))0 ]
= [((A ∩ B 0 ) ∩ C 0 ) ∪ ((B ∩ A0 )) ∩ C 0 )] ∪ [C ∩ ((A0 ∪ B) ∩ (B 0 ∪ A))]
EJERCICIO

Ejercicio
Sean A, B y C , demostrar que (A4B)4C = A4(B4C )

(A4B)4C = [((A ∩ B 0 ) ∪ (B ∩ A0 ))]4C

= [((A ∩ B 0 ) ∪ (B ∩ A0 )) ∩ C 0 ] ∪ [C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))0 ]
= [((A ∩ B 0 ) ∩ C 0 ) ∪ ((B ∩ A0 )) ∩ C 0 )] ∪ [C ∩ ((A0 ∪ B) ∩ (B 0 ∪ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∪ B) ∩ B 0 ) ∪ ((A0 ∪ B) ∩ A))]
EJERCICIO

Ejercicio
Sean A, B y C , demostrar que (A4B)4C = A4(B4C )

(A4B)4C = [((A ∩ B 0 ) ∪ (B ∩ A0 ))]4C

= [((A ∩ B 0 ) ∪ (B ∩ A0 )) ∩ C 0 ] ∪ [C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))0 ]
= [((A ∩ B 0 ) ∩ C 0 ) ∪ ((B ∩ A0 )) ∩ C 0 )] ∪ [C ∩ ((A0 ∪ B) ∩ (B 0 ∪ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∪ B) ∩ B 0 ) ∪ ((A0 ∪ B) ∩ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∩ B 0 ) ∪ (A ∩ B))]
EJERCICIO

Ejercicio
Sean A, B y C , demostrar que (A4B)4C = A4(B4C )

(A4B)4C = [((A ∩ B 0 ) ∪ (B ∩ A0 ))]4C

= [((A ∩ B 0 ) ∪ (B ∩ A0 )) ∩ C 0 ] ∪ [C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))0 ]
= [((A ∩ B 0 ) ∩ C 0 ) ∪ ((B ∩ A0 )) ∩ C 0 )] ∪ [C ∩ ((A0 ∪ B) ∩ (B 0 ∪ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∪ B) ∩ B 0 ) ∪ ((A0 ∪ B) ∩ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∩ B 0 ) ∪ (A ∩ B))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [(C ∩ (A0 ∩ B 0 )) ∪ (C ∩ (A ∩ B))]
EJERCICIO

Ejercicio
Sean A, B y C , demostrar que (A4B)4C = A4(B4C )

(A4B)4C = [((A ∩ B 0 ) ∪ (B ∩ A0 ))]4C

= [((A ∩ B 0 ) ∪ (B ∩ A0 )) ∩ C 0 ] ∪ [C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))0 ]
= [((A ∩ B 0 ) ∩ C 0 ) ∪ ((B ∩ A0 )) ∩ C 0 )] ∪ [C ∩ ((A0 ∪ B) ∩ (B 0 ∪ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∪ B) ∩ B 0 ) ∪ ((A0 ∪ B) ∩ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∩ B 0 ) ∪ (A ∩ B))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [(C ∩ (A0 ∩ B 0 )) ∪ (C ∩ (A ∩ B))]
= [((B 0 ∩ C 0 ) ∩ A)] ∪ [((B ∩ C 0 ) ∩ A0 )] ∪ [((C ∩ B 0 ) ∩ A0 ) ∪ ((C ∩ B) ∩ A)]
EJERCICIO

Ejercicio
Sean A, B y C , demostrar que (A4B)4C = A4(B4C )

(A4B)4C = [((A ∩ B 0 ) ∪ (B ∩ A0 ))]4C

= [((A ∩ B 0 ) ∪ (B ∩ A0 )) ∩ C 0 ] ∪ [C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))0 ]
= [((A ∩ B 0 ) ∩ C 0 ) ∪ ((B ∩ A0 )) ∩ C 0 )] ∪ [C ∩ ((A0 ∪ B) ∩ (B 0 ∪ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∪ B) ∩ B 0 ) ∪ ((A0 ∪ B) ∩ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∩ B 0 ) ∪ (A ∩ B))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [(C ∩ (A0 ∩ B 0 )) ∪ (C ∩ (A ∩ B))]
= [((B 0 ∩ C 0 ) ∩ A)] ∪ [((B ∩ C 0 ) ∩ A0 )] ∪ [((C ∩ B 0 ) ∩ A0 ) ∪ ((C ∩ B) ∩ A)]
= [((B 0 ∩ C 0 ) ∩ A)] ∪ [((C ∩ B) ∩ A)] ∪ [((B ∩ C 0 ) ∩ A0 ) ∪ ((C ∩ B 0 ) ∩ A0 )]
EJERCICIO

Ejercicio
Sean A, B y C , demostrar que (A4B)4C = A4(B4C )

(A4B)4C = [((A ∩ B 0 ) ∪ (B ∩ A0 ))]4C

= [((A ∩ B 0 ) ∪ (B ∩ A0 )) ∩ C 0 ] ∪ [C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))0 ]
= [((A ∩ B 0 ) ∩ C 0 ) ∪ ((B ∩ A0 )) ∩ C 0 )] ∪ [C ∩ ((A0 ∪ B) ∩ (B 0 ∪ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∪ B) ∩ B 0 ) ∪ ((A0 ∪ B) ∩ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∩ B 0 ) ∪ (A ∩ B))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [(C ∩ (A0 ∩ B 0 )) ∪ (C ∩ (A ∩ B))]
= [((B 0 ∩ C 0 ) ∩ A)] ∪ [((B ∩ C 0 ) ∩ A0 )] ∪ [((C ∩ B 0 ) ∩ A0 ) ∪ ((C ∩ B) ∩ A)]
= [((B 0 ∩ C 0 ) ∩ A)] ∪ [((C ∩ B) ∩ A)] ∪ [((B ∩ C 0 ) ∩ A0 ) ∪ ((C ∩ B 0 ) ∩ A0 )]
= [[(B 0 ∩ C 0 ) ∪ (B ∩ C )] ∩ A)] ∪ [[(B ∩ C 0 ) ∪ (C ∩ B 0 )] ∩ A0 ]
EJERCICIO

Ejercicio
Sean A, B y C , demostrar que (A4B)4C = A4(B4C )

(A4B)4C = [((A ∩ B 0 ) ∪ (B ∩ A0 ))]4C

= [((A ∩ B 0 ) ∪ (B ∩ A0 )) ∩ C 0 ] ∪ [C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))0 ]
= [((A ∩ B 0 ) ∩ C 0 ) ∪ ((B ∩ A0 )) ∩ C 0 )] ∪ [C ∩ ((A0 ∪ B) ∩ (B 0 ∪ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∪ B) ∩ B 0 ) ∪ ((A0 ∪ B) ∩ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∩ B 0 ) ∪ (A ∩ B))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [(C ∩ (A0 ∩ B 0 )) ∪ (C ∩ (A ∩ B))]
= [((B 0 ∩ C 0 ) ∩ A)] ∪ [((B ∩ C 0 ) ∩ A0 )] ∪ [((C ∩ B 0 ) ∩ A0 ) ∪ ((C ∩ B) ∩ A)]
= [((B 0 ∩ C 0 ) ∩ A)] ∪ [((C ∩ B) ∩ A)] ∪ [((B ∩ C 0 ) ∩ A0 ) ∪ ((C ∩ B 0 ) ∩ A0 )]
= [[(B 0 ∩ C 0 ) ∪ (B ∩ C )] ∩ A)] ∪ [[(B ∩ C 0 ) ∪ (C ∩ B 0 )] ∩ A0 ]
= [A ∩ ((B ∪ C ) ∩ (B ∩ C )0 )0 ] ∪ [(B4C ) ∩ A0 ]
EJERCICIO

Ejercicio
Sean A, B y C , demostrar que (A4B)4C = A4(B4C )

(A4B)4C = [((A ∩ B 0 ) ∪ (B ∩ A0 ))]4C

= [((A ∩ B 0 ) ∪ (B ∩ A0 )) ∩ C 0 ] ∪ [C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))0 ]
= [((A ∩ B 0 ) ∩ C 0 ) ∪ ((B ∩ A0 )) ∩ C 0 )] ∪ [C ∩ ((A0 ∪ B) ∩ (B 0 ∪ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∪ B) ∩ B 0 ) ∪ ((A0 ∪ B) ∩ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∩ B 0 ) ∪ (A ∩ B))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [(C ∩ (A0 ∩ B 0 )) ∪ (C ∩ (A ∩ B))]
= [((B 0 ∩ C 0 ) ∩ A)] ∪ [((B ∩ C 0 ) ∩ A0 )] ∪ [((C ∩ B 0 ) ∩ A0 ) ∪ ((C ∩ B) ∩ A)]
= [((B 0 ∩ C 0 ) ∩ A)] ∪ [((C ∩ B) ∩ A)] ∪ [((B ∩ C 0 ) ∩ A0 ) ∪ ((C ∩ B 0 ) ∩ A0 )]
= [[(B 0 ∩ C 0 ) ∪ (B ∩ C )] ∩ A)] ∪ [[(B ∩ C 0 ) ∪ (C ∩ B 0 )] ∩ A0 ]
= [A ∩ ((B ∪ C ) ∩ (B ∩ C )0 )0 ] ∪ [(B4C ) ∩ A0 ]
= [A ∩ (B4C )0 ] ∪ [(B4C ) ∩ A0 ]
EJERCICIO

Ejercicio
Sean A, B y C , demostrar que (A4B)4C = A4(B4C )

(A4B)4C = [((A ∩ B 0 ) ∪ (B ∩ A0 ))]4C

= [((A ∩ B 0 ) ∪ (B ∩ A0 )) ∩ C 0 ] ∪ [C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))0 ]
= [((A ∩ B 0 ) ∩ C 0 ) ∪ ((B ∩ A0 )) ∩ C 0 )] ∪ [C ∩ ((A0 ∪ B) ∩ (B 0 ∪ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∪ B) ∩ B 0 ) ∪ ((A0 ∪ B) ∩ A))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [C ∩ ((A0 ∩ B 0 ) ∪ (A ∩ B))]
= [((B 0 ∩ C 0 ) ∩ A) ∪ ((B ∩ C 0 )) ∩ A0 )] ∪ [(C ∩ (A0 ∩ B 0 )) ∪ (C ∩ (A ∩ B))]
= [((B 0 ∩ C 0 ) ∩ A)] ∪ [((B ∩ C 0 ) ∩ A0 )] ∪ [((C ∩ B 0 ) ∩ A0 ) ∪ ((C ∩ B) ∩ A)]
= [((B 0 ∩ C 0 ) ∩ A)] ∪ [((C ∩ B) ∩ A)] ∪ [((B ∩ C 0 ) ∩ A0 ) ∪ ((C ∩ B 0 ) ∩ A0 )]
= [[(B 0 ∩ C 0 ) ∪ (B ∩ C )] ∩ A)] ∪ [[(B ∩ C 0 ) ∪ (C ∩ B 0 )] ∩ A0 ]
= [A ∩ ((B ∪ C ) ∩ (B ∩ C )0 )0 ] ∪ [(B4C ) ∩ A0 ]
= [A ∩ (B4C )0 ] ∪ [(B4C ) ∩ A0 ]
= A4(B4C )
EJERCICIO

Ejercicio
C ∩ (A4B) = (C ∩ A)4(C ∩ B)
EJERCICIO

Ejercicio
C ∩ (A4B) = (C ∩ A)4(C ∩ B)

C ∩ (A4B)
EJERCICIO

Ejercicio
C ∩ (A4B) = (C ∩ A)4(C ∩ B)

C ∩ (A4B) = C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))
EJERCICIO

Ejercicio
C ∩ (A4B) = (C ∩ A)4(C ∩ B)

C ∩ (A4B) = C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))
= {C ∩ (A ∩ B 0 )} ∪ {C ∩ (B ∩ A0 )}
EJERCICIO

Ejercicio
C ∩ (A4B) = (C ∩ A)4(C ∩ B)

C ∩ (A4B) = C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))
= {C ∩ (A ∩ B 0 )} ∪ {C ∩ (B ∩ A0 )}
= {(C ∩ A) ∩ B 0 } ∪ {(C ∩ B) ∩ A0 }
EJERCICIO

Ejercicio
C ∩ (A4B) = (C ∩ A)4(C ∩ B)

C ∩ (A4B) = C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))
= {C ∩ (A ∩ B 0 )} ∪ {C ∩ (B ∩ A0 )}
= {(C ∩ A) ∩ B 0 } ∪ {(C ∩ B) ∩ A0 }
= {(C ∩ B 0 ) ∩ A} ∪ {C ∩ (A0 ∪ C 0 ) ∩ B}
EJERCICIO

Ejercicio
C ∩ (A4B) = (C ∩ A)4(C ∩ B)

C ∩ (A4B) = C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))
= {C ∩ (A ∩ B 0 )} ∪ {C ∩ (B ∩ A0 )}
= {(C ∩ A) ∩ B 0 } ∪ {(C ∩ B) ∩ A0 }
= {(C ∩ B 0 ) ∩ A} ∪ {C ∩ (A0 ∪ C 0 ) ∩ B}
= {(C ∩ (C 0 ∪ B 0 )) ∩ A} ∪ {(C ∩ B) ∩ (A ∩ C )0 }
EJERCICIO

Ejercicio
C ∩ (A4B) = (C ∩ A)4(C ∩ B)

C ∩ (A4B) = C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))
= {C ∩ (A ∩ B 0 )} ∪ {C ∩ (B ∩ A0 )}
= {(C ∩ A) ∩ B 0 } ∪ {(C ∩ B) ∩ A0 }
= {(C ∩ B 0 ) ∩ A} ∪ {C ∩ (A0 ∪ C 0 ) ∩ B}
= {(C ∩ (C 0 ∪ B 0 )) ∩ A} ∪ {(C ∩ B) ∩ (A ∩ C )0 }
= {(C ∩ A) ∩ (C ∩ B)0 } ∪ {(C ∩ B) ∩ (A ∩ C )0 }
EJERCICIO

Ejercicio
C ∩ (A4B) = (C ∩ A)4(C ∩ B)

C ∩ (A4B) = C ∩ ((A ∩ B 0 ) ∪ (B ∩ A0 ))
= {C ∩ (A ∩ B 0 )} ∪ {C ∩ (B ∩ A0 )}
= {(C ∩ A) ∩ B 0 } ∪ {(C ∩ B) ∩ A0 }
= {(C ∩ B 0 ) ∩ A} ∪ {C ∩ (A0 ∪ C 0 ) ∩ B}
= {(C ∩ (C 0 ∪ B 0 )) ∩ A} ∪ {(C ∩ B) ∩ (A ∩ C )0 }
= {(C ∩ A) ∩ (C ∩ B)0 } ∪ {(C ∩ B) ∩ (A ∩ C )0 }
= (C ∩ A)4(C ∩ B).
EJERCICIO

Ejercicio
Demostrar que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C ).
 EJERCICIO

Ejercicio
Demostrar que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C ).

(A ∪ B ∪ C ) − (A ∩ B ∩ C )
 EJERCICIO

Ejercicio
Demostrar que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C ).

(A ∪ B ∪ C ) − (A ∩ B ∩ C ) = (A ∪ B ∪ C ) ∩ (A0 ∪ B 0 ∪ C )
 EJERCICIO

Ejercicio
Demostrar que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C ).

(A ∪ B ∪ C ) − (A ∩ B ∩ C ) = (A ∪ B ∪ C ) ∩ (A0 ∪ B 0 ∪ C )
{(A ∪ B ∪ C ) ∩ A0 } ∪ {(A ∪ B ∪ C ) ∩ B 0 } ∪ {(A ∪ B ∪ C ) ∩ C 0 }
 EJERCICIO

Ejercicio
Demostrar que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C ).

(A ∪ B ∪ C ) − (A ∩ B ∩ C ) = (A ∪ B ∪ C ) ∩ (A0 ∪ B 0 ∪ C )
{(A ∪ B ∪ C ) ∩ A0 } ∪ {(A ∪ B ∪ C ) ∩ B 0 } ∪ {(A ∪ B ∪ C ) ∩ C 0 }
{(B ∪ C ) ∩ A0 } ∪ {(A ∪ C ) ∩ B 0 } ∪ {(A ∪ B) ∩ C 0 }
 EJERCICIO

Ejercicio
Demostrar que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C ).

(A ∪ B ∪ C ) − (A ∩ B ∩ C ) = (A ∪ B ∪ C ) ∩ (A0 ∪ B 0 ∪ C )
{(A ∪ B ∪ C ) ∩ A0 } ∪ {(A ∪ B ∪ C ) ∩ B 0 } ∪ {(A ∪ B ∪ C ) ∩ C 0 }
{(B ∪ C ) ∩ A0 } ∪ {(A ∪ C ) ∩ B 0 } ∪ {(A ∪ B) ∩ C 0 }
((B − A) ∪ (C − A)) ∪ ((A − B) ∪ (C − B)) ∪ ((A − C ) ∪ (B − C ))
 EJERCICIO

Ejercicio
Demostrar que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C ).

(A ∪ B ∪ C ) − (A ∩ B ∩ C ) =
(A ∪ B ∪ C ) ∩ (A0 ∪ B 0 ∪ C )
{(A ∪ B ∪ C ) ∩ A0 } ∪ {(A ∪ B ∪ C ) ∩ B 0 } ∪ {(A ∪ B ∪ C ) ∩ C 0 }
{(B ∪ C ) ∩ A0 } ∪ {(A ∪ C ) ∩ B 0 } ∪ {(A ∪ B) ∩ C 0 }
((B − A) ∪ (C − A)) ∪ ((A − B) ∪ (C − B)) ∪ ((A − C ) ∪ (B − C ))
((B − A) ∪ (A − B)) ∪ ((C − A) ∪ (A − C )) ∪ ((C − B) ∪ (B − C ))
 EJERCICIO

Ejercicio
Demostrar que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C ).

(A ∪ B ∪ C ) − (A ∩ B ∩ C ) =
(A ∪ B ∪ C ) ∩ (A0 ∪ B 0 ∪ C )
{(A ∪ B ∪ C ) ∩ A0 } ∪ {(A ∪ B ∪ C ) ∩ B 0 } ∪ {(A ∪ B ∪ C ) ∩ C 0 }
{(B ∪ C ) ∩ A0 } ∪ {(A ∪ C ) ∩ B 0 } ∪ {(A ∪ B) ∩ C 0 }
((B − A) ∪ (C − A)) ∪ ((A − B) ∪ (C − B)) ∪ ((A − C ) ∪ (B − C ))
((B − A) ∪ (A − B)) ∪ ((C − A) ∪ (A − C )) ∪ ((C − B) ∪ (B − C ))

Observe que X = Z ⊆ (X − Y ) ∪ (Y − Z )
 EJERCICIO

Ejercicio
Demostrar que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C ).

(A ∪ B ∪ C ) − (A ∩ B ∩ C ) =
(A ∪ B ∪ C ) ∩ (A0 ∪ B 0 ∪ C )
{(A ∪ B ∪ C ) ∩ A0 } ∪ {(A ∪ B ∪ C ) ∩ B 0 } ∪ {(A ∪ B ∪ C ) ∩ C 0 }
{(B ∪ C ) ∩ A0 } ∪ {(A ∪ C ) ∩ B 0 } ∪ {(A ∪ B) ∩ C 0 }
((B − A) ∪ (C − A)) ∪ ((A − B) ∪ (C − B)) ∪ ((A − C ) ∪ (B − C ))
((B − A) ∪ (A − B)) ∪ ((C − A) ∪ (A − C )) ∪ ((C − B) ∪ (B − C ))

Observe que X = Z ⊆ (X − Y ) ∪ (Y − Z )

(A ∪ B ∪ C ) − (A ∩ B ∩ C )
 EJERCICIO

Ejercicio
Demostrar que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C ).

(A ∪ B ∪ C ) − (A ∩ B ∩ C ) =
(A ∪ B ∪ C ) ∩ (A0 ∪ B 0 ∪ C )
{(A ∪ B ∪ C ) ∩ A0 } ∪ {(A ∪ B ∪ C ) ∩ B 0 } ∪ {(A ∪ B ∪ C ) ∩ C 0 }
{(B ∪ C ) ∩ A0 } ∪ {(A ∪ C ) ∩ B 0 } ∪ {(A ∪ B) ∩ C 0 }
((B − A) ∪ (C − A)) ∪ ((A − B) ∪ (C − B)) ∪ ((A − C ) ∪ (B − C ))
((B − A) ∪ (A − B)) ∪ ((C − A) ∪ (A − C )) ∪ ((C − B) ∪ (B − C ))

Observe que X = Z ⊆ (X − Y ) ∪ (Y − Z )

(A ∪ B ∪ C ) − (A ∩ B ∩ C ) = [(A − C ) ∪ (A − B) ∪ (B − C )] ∪ [(C − A) ∪ (C − B) ∪ (B − A)]]

 EJERCICIO

Ejercicio
Demostrar que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C ).

(A ∪ B ∪ C ) − (A ∩ B ∩ C ) =
(A ∪ B ∪ C ) ∩ (A0 ∪ B 0 ∪ C )
{(A ∪ B ∪ C ) ∩ A0 } ∪ {(A ∪ B ∪ C ) ∩ B 0 } ∪ {(A ∪ B ∪ C ) ∩ C 0 }
{(B ∪ C ) ∩ A0 } ∪ {(A ∪ C ) ∩ B 0 } ∪ {(A ∪ B) ∩ C 0 }
((B − A) ∪ (C − A)) ∪ ((A − B) ∪ (C − B)) ∪ ((A − C ) ∪ (B − C ))
((B − A) ∪ (A − B)) ∪ ((C − A) ∪ (A − C )) ∪ ((C − B) ∪ (B − C ))

Observe que X = Z ⊆ (X − Y ) ∪ (Y − Z )

(A ∪ B ∪ C ) − (A ∩ B ∩ C ) = [(A − C ) ∪ (A − B) ∪ (B − C )] ∪ [(C − A) ∪ (C − B) ∪ (B − A)]]

= [(A − B) ∪ (B − C )] ∪ [((C − B) ∪ (B − A)]
 EJERCICIO

Ejercicio
Demostrar que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C ).

(A ∪ B ∪ C ) − (A ∩ B ∩ C ) =
(A ∪ B ∪ C ) ∩ (A0 ∪ B 0 ∪ C )
{(A ∪ B ∪ C ) ∩ A0 } ∪ {(A ∪ B ∪ C ) ∩ B 0 } ∪ {(A ∪ B ∪ C ) ∩ C 0 }
{(B ∪ C ) ∩ A0 } ∪ {(A ∪ C ) ∩ B 0 } ∪ {(A ∪ B) ∩ C 0 }
((B − A) ∪ (C − A)) ∪ ((A − B) ∪ (C − B)) ∪ ((A − C ) ∪ (B − C ))
((B − A) ∪ (A − B)) ∪ ((C − A) ∪ (A − C )) ∪ ((C − B) ∪ (B − C ))

Observe que X = Z ⊆ (X − Y ) ∪ (Y − Z )

(A ∪ B ∪ C ) − (A ∩ B ∩ C ) = [(A − C ) ∪ (A − B) ∪ (B − C )] ∪ [(C − A) ∪ (C − B) ∪ (B − A)]]

= [(A − B) ∪ (B − C )] ∪ [((C − B) ∪ (B − A)]
= [(A − B) ∪ (B − A)] ∪ [((C − B) ∪ (B − C )]
 EJERCICIO

Ejercicio
Demostrar que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C ).

(A ∪ B ∪ C ) − (A ∩ B ∩ C ) =
(A ∪ B ∪ C ) ∩ (A0 ∪ B 0 ∪ C )
{(A ∪ B ∪ C ) ∩ A0 } ∪ {(A ∪ B ∪ C ) ∩ B 0 } ∪ {(A ∪ B ∪ C ) ∩ C 0 }
{(B ∪ C ) ∩ A0 } ∪ {(A ∪ C ) ∩ B 0 } ∪ {(A ∪ B) ∩ C 0 }
((B − A) ∪ (C − A)) ∪ ((A − B) ∪ (C − B)) ∪ ((A − C ) ∪ (B − C ))
((B − A) ∪ (A − B)) ∪ ((C − A) ∪ (A − C )) ∪ ((C − B) ∪ (B − C ))

Observe que X = Z ⊆ (X − Y ) ∪ (Y − Z )

(A ∪ B ∪ C ) − (A ∩ B ∩ C ) = [(A − C ) ∪ (A − B) ∪ (B − C )] ∪ [(C − A) ∪ (C − B) ∪ (B − A)]]

= [(A − B) ∪ (B − C )] ∪ [((C − B) ∪ (B − A)]
= [(A − B) ∪ (B − A)] ∪ [((C − B) ∪ (B − C )]
= (A4B) ∪ (B4C )
EJERCICIO
Ejercicio
Demostrar que P(A ∩ B) = P(A) ∩ P(B), donde
P(A) = {B ⊂ A | B es un subconjunto de A}.
EJERCICIO
Ejercicio
Demostrar que P(A ∩ B) = P(A) ∩ P(B), donde
P(A) = {B ⊂ A | B es un subconjunto de A}.

Sea x ∈ P(A ∩ B) entonces:

x ⊂A∩B ⇔x ⊂A∧x ⊂B
EJERCICIO
Ejercicio
Demostrar que P(A ∩ B) = P(A) ∩ P(B), donde
P(A) = {B ⊂ A | B es un subconjunto de A}.

Sea x ∈ P(A ∩ B) entonces:

x ⊂ A ∩ B ⇔ x ⊂ A ∧ x ⊂ B ⇔ x ∈ P(A) ∧ x ∈ P(B).

Ejercicio
Demostrar que:
(A ∪ B) ∩ B 0 = A ⇒ A ∩ B = ∅
(A ∩ B)4(A ∩ (B4C )) = ∅ ⇒ A ⊂ C 0
EJERCICIO
Ejercicio
Demostrar que P(A ∩ B) = P(A) ∩ P(B), donde
P(A) = {B ⊂ A | B es un subconjunto de A}.

Sea x ∈ P(A ∩ B) entonces:

x ⊂ A ∩ B ⇔ x ⊂ A ∧ x ⊂ B ⇔ x ∈ P(A) ∧ x ∈ P(B).

Ejercicio
Demostrar que:
(A ∪ B) ∩ B 0 = A ⇒ A ∩ B = ∅
(A ∩ B)4(A ∩ (B4C )) = ∅ ⇒ A ⊂ C 0

((A ∪ B) ∩ B 0 ) ∩ B = A ∩ B
EJERCICIO
Ejercicio
Demostrar que P(A ∩ B) = P(A) ∩ P(B), donde
P(A) = {B ⊂ A | B es un subconjunto de A}.

Sea x ∈ P(A ∩ B) entonces:

x ⊂ A ∩ B ⇔ x ⊂ A ∧ x ⊂ B ⇔ x ∈ P(A) ∧ x ∈ P(B).

Ejercicio
Demostrar que:
(A ∪ B) ∩ B 0 = A ⇒ A ∩ B = ∅
(A ∩ B)4(A ∩ (B4C )) = ∅ ⇒ A ⊂ C 0

((A ∪ B) ∩ B 0 ) ∩ B = A ∩ B ⇒ (A ∪ B) ∩ (B 0 ∩ B) = A ∩ B
EJERCICIO
Ejercicio
Demostrar que P(A ∩ B) = P(A) ∩ P(B), donde
P(A) = {B ⊂ A | B es un subconjunto de A}.

Sea x ∈ P(A ∩ B) entonces:

x ⊂ A ∩ B ⇔ x ⊂ A ∧ x ⊂ B ⇔ x ∈ P(A) ∧ x ∈ P(B).

Ejercicio
Demostrar que:
(A ∪ B) ∩ B 0 = A ⇒ A ∩ B = ∅
(A ∩ B)4(A ∩ (B4C )) = ∅ ⇒ A ⊂ C 0

((A ∪ B) ∩ B 0 ) ∩ B = A ∩ B ⇒ (A ∪ B) ∩ (B 0 ∩ B) = A ∩ B ⇒ ∅ = A ∩ B
EJERCICIO
Ejercicio
Demostrar que P(A ∩ B) = P(A) ∩ P(B), donde
P(A) = {B ⊂ A | B es un subconjunto de A}.

Sea x ∈ P(A ∩ B) entonces:

x ⊂ A ∩ B ⇔ x ⊂ A ∧ x ⊂ B ⇔ x ∈ P(A) ∧ x ∈ P(B).

Ejercicio
Demostrar que:
(A ∪ B) ∩ B 0 = A ⇒ A ∩ B = ∅
(A ∩ B)4(A ∩ (B4C )) = ∅ ⇒ A ⊂ C 0

((A ∪ B) ∩ B 0 ) ∩ B = A ∩ B ⇒ (A ∪ B) ∩ (B 0 ∩ B) = A ∩ B ⇒ ∅ = A ∩ B
Recuerde que A4B = ∅ ⇒ A = B, luego tenemos:
EJERCICIO
Ejercicio
Demostrar que P(A ∩ B) = P(A) ∩ P(B), donde
P(A) = {B ⊂ A | B es un subconjunto de A}.

Sea x ∈ P(A ∩ B) entonces:

x ⊂ A ∩ B ⇔ x ⊂ A ∧ x ⊂ B ⇔ x ∈ P(A) ∧ x ∈ P(B).

Ejercicio
Demostrar que:
(A ∪ B) ∩ B 0 = A ⇒ A ∩ B = ∅
(A ∩ B)4(A ∩ (B4C )) = ∅ ⇒ A ⊂ C 0

((A ∪ B) ∩ B 0 ) ∩ B = A ∩ B ⇒ (A ∪ B) ∩ (B 0 ∩ B) = A ∩ B ⇒ ∅ = A ∩ B
Recuerde que A4B = ∅ ⇒ A = B, luego tenemos:

A ∩ B = A ∩ (B4C )
EJERCICIO
Ejercicio
Demostrar que P(A ∩ B) = P(A) ∩ P(B), donde
P(A) = {B ⊂ A | B es un subconjunto de A}.

Sea x ∈ P(A ∩ B) entonces:

x ⊂ A ∩ B ⇔ x ⊂ A ∧ x ⊂ B ⇔ x ∈ P(A) ∧ x ∈ P(B).

Ejercicio
Demostrar que:
(A ∪ B) ∩ B 0 = A ⇒ A ∩ B = ∅
(A ∩ B)4(A ∩ (B4C )) = ∅ ⇒ A ⊂ C 0

((A ∪ B) ∩ B 0 ) ∩ B = A ∩ B ⇒ (A ∪ B) ∩ (B 0 ∩ B) = A ∩ B ⇒ ∅ = A ∩ B
Recuerde que A4B = ∅ ⇒ A = B, luego tenemos:

A ∩ B = A ∩ (B4C ) ⇒ A ∩ B = (A ∩ B)4(A ∩ C )
EJERCICIO
Ejercicio
Demostrar que P(A ∩ B) = P(A) ∩ P(B), donde
P(A) = {B ⊂ A | B es un subconjunto de A}.

Sea x ∈ P(A ∩ B) entonces:

x ⊂ A ∩ B ⇔ x ⊂ A ∧ x ⊂ B ⇔ x ∈ P(A) ∧ x ∈ P(B).

Ejercicio
Demostrar que:
(A ∪ B) ∩ B 0 = A ⇒ A ∩ B = ∅
(A ∩ B)4(A ∩ (B4C )) = ∅ ⇒ A ⊂ C 0

((A ∪ B) ∩ B 0 ) ∩ B = A ∩ B ⇒ (A ∪ B) ∩ (B 0 ∩ B) = A ∩ B ⇒ ∅ = A ∩ B
Recuerde que A4B = ∅ ⇒ A = B, luego tenemos:

A ∩ B = A ∩ (B4C ) ⇒ A ∩ B = (A ∩ B)4(A ∩ C ) ⇒

(A ∩ B)4∅ = (A ∩ B)4(A ∩ C )
EJERCICIO
Ejercicio
Demostrar que P(A ∩ B) = P(A) ∩ P(B), donde
P(A) = {B ⊂ A | B es un subconjunto de A}.

Sea x ∈ P(A ∩ B) entonces:

x ⊂ A ∩ B ⇔ x ⊂ A ∧ x ⊂ B ⇔ x ∈ P(A) ∧ x ∈ P(B).

Ejercicio
Demostrar que:
(A ∪ B) ∩ B 0 = A ⇒ A ∩ B = ∅
(A ∩ B)4(A ∩ (B4C )) = ∅ ⇒ A ⊂ C 0

((A ∪ B) ∩ B 0 ) ∩ B = A ∩ B ⇒ (A ∪ B) ∩ (B 0 ∩ B) = A ∩ B ⇒ ∅ = A ∩ B
Recuerde que A4B = ∅ ⇒ A = B, luego tenemos:

A ∩ B = A ∩ (B4C ) ⇒ A ∩ B = (A ∩ B)4(A ∩ C ) ⇒

(A ∩ B)4∅ = (A ∩ B)4(A ∩ C ) ⇒ A ∩ C = ∅
EJERCICIO
Ejercicio
Demostrar que P(A ∩ B) = P(A) ∩ P(B), donde
P(A) = {B ⊂ A | B es un subconjunto de A}.

Sea x ∈ P(A ∩ B) entonces:

x ⊂ A ∩ B ⇔ x ⊂ A ∧ x ⊂ B ⇔ x ∈ P(A) ∧ x ∈ P(B).

Ejercicio
Demostrar que:
(A ∪ B) ∩ B 0 = A ⇒ A ∩ B = ∅
(A ∩ B)4(A ∩ (B4C )) = ∅ ⇒ A ⊂ C 0

((A ∪ B) ∩ B 0 ) ∩ B = A ∩ B ⇒ (A ∪ B) ∩ (B 0 ∩ B) = A ∩ B ⇒ ∅ = A ∩ B
Recuerde que A4B = ∅ ⇒ A = B, luego tenemos:

A ∩ B = A ∩ (B4C ) ⇒ A ∩ B = (A ∩ B)4(A ∩ C ) ⇒

0
(A ∩ B)4∅ = (A ∩ B)4(A ∩ C ) ⇒ A ∩ C = ∅⇒A ⊆ C
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C }
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

= [(A ∪ (B4C ) ∪ C )] − {[A ∩ B4(A ∩ C ) ∩ C }
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

= [(A ∪ (B4C ) ∪ C )] − {[A ∩ B4(A ∩ C ) ∩ C }

Ejercicio
Demostrar por elemento que:
i) A ⊂ B ⇒ A ∪ B = B
ii) A ⊂ B ⇒ A ∩ B = A
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

= [(A ∪ (B4C ) ∪ C )] − {[A ∩ B4(A ∩ C ) ∩ C }

Ejercicio
Demostrar por elemento que:
i) A ⊂ B ⇒ A ∪ B = B
ii) A ⊂ B ⇒ A ∩ B = A

⊂) Sea x ∈ A ∪ B
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

= [(A ∪ (B4C ) ∪ C )] − {[A ∩ B4(A ∩ C ) ∩ C }

Ejercicio
Demostrar por elemento que:
i) A ⊂ B ⇒ A ∪ B = B
ii) A ⊂ B ⇒ A ∩ B = A

⊂) Sea x ∈ A ∪ B ⇒ x ∈ A ∨ x ∈ B
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

= [(A ∪ (B4C ) ∪ C )] − {[A ∩ B4(A ∩ C ) ∩ C }

Ejercicio
Demostrar por elemento que:
i) A ⊂ B ⇒ A ∪ B = B
ii) A ⊂ B ⇒ A ∩ B = A

A⊂B
⊂) Sea x ∈ A ∪ B ⇒ x ∈ A ∨ x ∈ B −−−→ x ∈ B ∨ x ∈ B
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

= [(A ∪ (B4C ) ∪ C )] − {[A ∩ B4(A ∩ C ) ∩ C }

Ejercicio
Demostrar por elemento que:
i) A ⊂ B ⇒ A ∪ B = B
ii) A ⊂ B ⇒ A ∩ B = A

A⊂B
⊂) Sea x ∈ A ∪ B ⇒ x ∈ A ∨ x ∈ B −−−→ x ∈ B ∨ x ∈ B ⇒ x ∈ B
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

= [(A ∪ (B4C ) ∪ C )] − {[A ∩ B4(A ∩ C ) ∩ C }

Ejercicio
Demostrar por elemento que:
i) A ⊂ B ⇒ A ∪ B = B
ii) A ⊂ B ⇒ A ∩ B = A

A⊂B
⊂) Sea x ∈ A ∪ B ⇒ x ∈ A ∨ x ∈ B −−−→ x ∈ B ∨ x ∈ B ⇒ x ∈ B
⊃) Sea x ∈ B
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

= [(A ∪ (B4C ) ∪ C )] − {[A ∩ B4(A ∩ C ) ∩ C }

Ejercicio
Demostrar por elemento que:
i) A ⊂ B ⇒ A ∪ B = B
ii) A ⊂ B ⇒ A ∩ B = A

A⊂B
⊂) Sea x ∈ A ∪ B ⇒ x ∈ A ∨ x ∈ B −−−→ x ∈ B ∨ x ∈ B ⇒ x ∈ B
⊃) Sea x ∈ B ⇒ x ∈ B ∨ x ∈ A
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

= [(A ∪ (B4C ) ∪ C )] − {[A ∩ B4(A ∩ C ) ∩ C }

Ejercicio
Demostrar por elemento que:
i) A ⊂ B ⇒ A ∪ B = B
ii) A ⊂ B ⇒ A ∩ B = A

A⊂B
⊂) Sea x ∈ A ∪ B ⇒ x ∈ A ∨ x ∈ B −−−→ x ∈ B ∨ x ∈ B ⇒ x ∈ B
⊃) Sea x ∈ B ⇒ x ∈ B ∨ x ∈ A ⇒ x ∈ A ∪ B
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

= [(A ∪ (B4C ) ∪ C )] − {[A ∩ B4(A ∩ C ) ∩ C }

Ejercicio
Demostrar por elemento que:
i) A ⊂ B ⇒ A ∪ B = B
ii) A ⊂ B ⇒ A ∩ B = A

A⊂B
⊂) Sea x ∈ A ∪ B ⇒ x ∈ A ∨ x ∈ B −−−→ x ∈ B ∨ x ∈ B ⇒ x ∈ B
⊃) Sea x ∈ B ⇒ x ∈ B ∨ x ∈ A ⇒ x ∈ A ∪ B
⊂) Sea x ∈ A ∩ B
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

= [(A ∪ (B4C ) ∪ C )] − {[A ∩ B4(A ∩ C ) ∩ C }

Ejercicio
Demostrar por elemento que:
i) A ⊂ B ⇒ A ∪ B = B
ii) A ⊂ B ⇒ A ∩ B = A

A⊂B
⊂) Sea x ∈ A ∪ B ⇒ x ∈ A ∨ x ∈ B −−−→ x ∈ B ∨ x ∈ B ⇒ x ∈ B
⊃) Sea x ∈ B ⇒ x ∈ B ∨ x ∈ A ⇒ x ∈ A ∪ B
⊂) Sea x ∈ A ∩ B ⇒ x ∈ A ∧ x ∈ B ⇒ x ∈ A
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

= [(A ∪ (B4C ) ∪ C )] − {[A ∩ B4(A ∩ C ) ∩ C }

Ejercicio
Demostrar por elemento que:
i) A ⊂ B ⇒ A ∪ B = B
ii) A ⊂ B ⇒ A ∩ B = A

A⊂B
⊂) Sea x ∈ A ∪ B ⇒ x ∈ A ∨ x ∈ B −−−→ x ∈ B ∨ x ∈ B ⇒ x ∈ B
⊃) Sea x ∈ B ⇒ x ∈ B ∨ x ∈ A ⇒ x ∈ A ∪ B
⊂) Sea x ∈ A ∩ B ⇒ x ∈ A ∧ x ∈ B ⇒ x ∈ A
⊃) Sea x ∈ A
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

= [(A ∪ (B4C ) ∪ C )] − {[A ∩ B4(A ∩ C ) ∩ C }

Ejercicio
Demostrar por elemento que:
i) A ⊂ B ⇒ A ∪ B = B
ii) A ⊂ B ⇒ A ∩ B = A

A⊂B
⊂) Sea x ∈ A ∪ B ⇒ x ∈ A ∨ x ∈ B −−−→ x ∈ B ∨ x ∈ B ⇒ x ∈ B
⊃) Sea x ∈ B ⇒ x ∈ B ∨ x ∈ A ⇒ x ∈ A ∪ B
⊂) Sea x ∈ A ∩ B ⇒ x ∈ A ∧ x ∈ B ⇒ x ∈ A
⊃) Sea x ∈ A ⇒ x ∈ A ∧ x ∈ A
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

= [(A ∪ (B4C ) ∪ C )] − {[A ∩ B4(A ∩ C ) ∩ C }

Ejercicio
Demostrar por elemento que:
i) A ⊂ B ⇒ A ∪ B = B
ii) A ⊂ B ⇒ A ∩ B = A

A⊂B
⊂) Sea x ∈ A ∪ B ⇒ x ∈ A ∨ x ∈ B −−−→ x ∈ B ∨ x ∈ B ⇒ x ∈ B
⊃) Sea x ∈ B ⇒ x ∈ B ∨ x ∈ A ⇒ x ∈ A ∪ B
⊂) Sea x ∈ A ∩ B ⇒ x ∈ A ∧ x ∈ B ⇒ x ∈ A
A⊂B
⊃) Sea x ∈ A ⇒ x ∈ A ∧ x ∈ A −−−→ x ∈ A ∧ x ∈ B
EJERCICIO

Ejercicio
Demostrar:

[(A4B)4C ] ∪ [(B4C )4C ] = [A ∪ (B4C ) ∪ C ] − {[(A ∩ B)4(A ∩ C )] ∩ C }

Recordemos que (A4B) ∪ (B4C ) = (A ∪ B ∪ C ) − (A ∩ B ∩ C )

A ∩ (B4C ) ∩ C } = [(A ∪ (B4C ) ∪ C ] − {A ∩ (B4C ) ∩ C ]

= [(A ∪ (B4C ) ∪ C )] − {[A ∩ B4(A ∩ C ) ∩ C }

Ejercicio
Demostrar por elemento que:
i) A ⊂ B ⇒ A ∪ B = B
ii) A ⊂ B ⇒ A ∩ B = A

A⊂B
⊂) Sea x ∈ A ∪ B ⇒ x ∈ A ∨ x ∈ B −−−→ x ∈ B ∨ x ∈ B ⇒ x ∈ B
⊃) Sea x ∈ B ⇒ x ∈ B ∨ x ∈ A ⇒ x ∈ A ∪ B
⊂) Sea x ∈ A ∩ B ⇒ x ∈ A ∧ x ∈ B ⇒ x ∈ A
A⊂B
⊃) Sea x ∈ A ⇒ x ∈ A ∧ x ∈ A −−−→ x ∈ A ∧ x ∈ B ⇒ x ∈ A ∩ B
EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )
EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )

(A − B) ∪ (B − A) ⊂ C
EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )

(A − B) ∪ (B − A) ⊂ C ⇒ A ∩ B0 ⊂ C ∧ B − A ⊂ C
EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )

(A − B) ∪ (B − A) ⊂ C ⇒ A ∩ B0 ⊂ C ∧ B − A ⊂ C
⇒ A ∩ B 0 ⊂ C ⇒ (A ∩ B 0 )] ∪ B ⊂ B ∪ C
EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )

(A − B) ∪ (B − A) ⊂ C ⇒ A ∩ B0 ⊂ C ∧ B − A ⊂ C
⇒ A ∩ B 0 ⊂ C ⇒ (A ∩ B 0 )] ∪ B ⊂ B ∪ C
⇒A∪B ⊂B ∪C ⇒A⊂B ∪C

Ejercicio
Demostrar por elementos que (A ∪ B) ∩ B 0 = A ⇔ A ∩ B = ∅. (A ⊂ B 0 )
EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )

(A − B) ∪ (B − A) ⊂ C ⇒ A ∩ B0 ⊂ C ∧ B − A ⊂ C
⇒ A ∩ B 0 ⊂ C ⇒ (A ∩ B 0 )] ∪ B ⊂ B ∪ C
⇒A∪B ⊂B ∪C ⇒A⊂B ∪C

Ejercicio
Demostrar por elementos que (A ∪ B) ∩ B 0 = A ⇔ A ∩ B = ∅. (A ⊂ B 0 )

⇒) Sea x ∈ A ⇒ x ∈ (A ∪ B) ∧ x ∈ B 0
EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )

(A − B) ∪ (B − A) ⊂ C ⇒ A ∩ B0 ⊂ C ∧ B − A ⊂ C
⇒ A ∩ B 0 ⊂ C ⇒ (A ∩ B 0 )] ∪ B ⊂ B ∪ C
⇒A∪B ⊂B ∪C ⇒A⊂B ∪C

Ejercicio
Demostrar por elementos que (A ∪ B) ∩ B 0 = A ⇔ A ∩ B = ∅. (A ⊂ B 0 )

⇒) Sea x ∈ A ⇒ x ∈ (A ∪ B) ∧ x ∈ B 0 ⇒ ((x ∈ A) ∨ (x ∈ B)) ∧ x ∈ B 0

EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )

(A − B) ∪ (B − A) ⊂ C ⇒ A ∩ B0 ⊂ C ∧ B − A ⊂ C
⇒ A ∩ B 0 ⊂ C ⇒ (A ∩ B 0 )] ∪ B ⊂ B ∪ C
⇒A∪B ⊂B ∪C ⇒A⊂B ∪C

Ejercicio
Demostrar por elementos que (A ∪ B) ∩ B 0 = A ⇔ A ∩ B = ∅. (A ⊂ B 0 )

⇒) Sea x ∈ A ⇒ x ∈ (A ∪ B) ∧ x ∈ B 0 ⇒ ((x ∈ A) ∨ (x ∈ B)) ∧ x ∈ B 0

⇒ (x ∈ A) ∧ (x ∈ B 0 ) ⇒ x ∈ B 0
EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )

(A − B) ∪ (B − A) ⊂ C ⇒ A ∩ B0 ⊂ C ∧ B − A ⊂ C
⇒ A ∩ B 0 ⊂ C ⇒ (A ∩ B 0 )] ∪ B ⊂ B ∪ C
⇒A∪B ⊂B ∪C ⇒A⊂B ∪C

Ejercicio
Demostrar por elementos que (A ∪ B) ∩ B 0 = A ⇔ A ∩ B = ∅. (A ⊂ B 0 )

⇒) Sea x ∈ A ⇒ x ∈ (A ∪ B) ∧ x ∈ B 0 ⇒ ((x ∈ A) ∨ (x ∈ B)) ∧ x ∈ B 0

⇒ (x ∈ A) ∧ (x ∈ B 0 ) ⇒ x ∈ B 0
⇒A∩B =∅
EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )

(A − B) ∪ (B − A) ⊂ C ⇒ A ∩ B0 ⊂ C ∧ B − A ⊂ C
⇒ A ∩ B 0 ⊂ C ⇒ (A ∩ B 0 )] ∪ B ⊂ B ∪ C
⇒A∪B ⊂B ∪C ⇒A⊂B ∪C

Ejercicio
Demostrar por elementos que (A ∪ B) ∩ B 0 = A ⇔ A ∩ B = ∅. (A ⊂ B 0 )

⇒) Sea x ∈ A ⇒ x ∈ (A ∪ B) ∧ x ∈ B 0 ⇒ ((x ∈ A) ∨ (x ∈ B)) ∧ x ∈ B 0

⇒ (x ∈ A) ∧ (x ∈ B 0 ) ⇒ x ∈ B 0
⇒A∩B =∅
0
⇐ (⊇) Sea x ∈ A ⇒ x ∈ B ∧ x ∈ A
EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )

(A − B) ∪ (B − A) ⊂ C ⇒ A ∩ B0 ⊂ C ∧ B − A ⊂ C
⇒ A ∩ B 0 ⊂ C ⇒ (A ∩ B 0 )] ∪ B ⊂ B ∪ C
⇒A∪B ⊂B ∪C ⇒A⊂B ∪C

Ejercicio
Demostrar por elementos que (A ∪ B) ∩ B 0 = A ⇔ A ∩ B = ∅. (A ⊂ B 0 )

⇒) Sea x ∈ A ⇒ x ∈ (A ∪ B) ∧ x ∈ B 0 ⇒ ((x ∈ A) ∨ (x ∈ B)) ∧ x ∈ B 0

⇒ (x ∈ A) ∧ (x ∈ B 0 ) ⇒ x ∈ B 0
⇒A∩B =∅
0 0
⇐ (⊇) Sea x ∈ A ⇒ x ∈ B ∧ x ∈ A ⇒ x ∈ B ∧ ((x ∈ B) ∨ (x ∈ A))
EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )

(A − B) ∪ (B − A) ⊂ C ⇒ A ∩ B0 ⊂ C ∧ B − A ⊂ C
⇒ A ∩ B 0 ⊂ C ⇒ (A ∩ B 0 )] ∪ B ⊂ B ∪ C
⇒A∪B ⊂B ∪C ⇒A⊂B ∪C

Ejercicio
Demostrar por elementos que (A ∪ B) ∩ B 0 = A ⇔ A ∩ B = ∅. (A ⊂ B 0 )

⇒) Sea x ∈ A ⇒ x ∈ (A ∪ B) ∧ x ∈ B 0 ⇒ ((x ∈ A) ∨ (x ∈ B)) ∧ x ∈ B 0

⇒ (x ∈ A) ∧ (x ∈ B 0 ) ⇒ x ∈ B 0
⇒A∩B =∅
0 0
⇐ (⊇) Sea x ∈ A ⇒ x ∈ B ∧ x ∈ A ⇒ x ∈ B ∧ ((x ∈ B) ∨ (x ∈ A))
⇒ x ∈ (A ∪ B) ∩ B 0
EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )

(A − B) ∪ (B − A) ⊂ C ⇒ A ∩ B0 ⊂ C ∧ B − A ⊂ C
⇒ A ∩ B 0 ⊂ C ⇒ (A ∩ B 0 )] ∪ B ⊂ B ∪ C
⇒A∪B ⊂B ∪C ⇒A⊂B ∪C

Ejercicio
Demostrar por elementos que (A ∪ B) ∩ B 0 = A ⇔ A ∩ B = ∅. (A ⊂ B 0 )

⇒) Sea x ∈ A ⇒ x ∈ (A ∪ B) ∧ x ∈ B 0 ⇒ ((x ∈ A) ∨ (x ∈ B)) ∧ x ∈ B 0

⇒ (x ∈ A) ∧ (x ∈ B 0 ) ⇒ x ∈ B 0
⇒A∩B =∅
0 0
⇐ (⊇) Sea x ∈ A ⇒ x ∈ B ∧ x ∈ A ⇒ x ∈ B ∧ ((x ∈ B) ∨ (x ∈ A))
⇒ x ∈ (A ∪ B) ∩ B 0
0
(⊂) Sea x ∈ (A ∪ B) ∩ B
EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )

(A − B) ∪ (B − A) ⊂ C ⇒ A ∩ B0 ⊂ C ∧ B − A ⊂ C
⇒ A ∩ B 0 ⊂ C ⇒ (A ∩ B 0 )] ∪ B ⊂ B ∪ C
⇒A∪B ⊂B ∪C ⇒A⊂B ∪C

Ejercicio
Demostrar por elementos que (A ∪ B) ∩ B 0 = A ⇔ A ∩ B = ∅. (A ⊂ B 0 )

⇒) Sea x ∈ A ⇒ x ∈ (A ∪ B) ∧ x ∈ B 0 ⇒ ((x ∈ A) ∨ (x ∈ B)) ∧ x ∈ B 0

⇒ (x ∈ A) ∧ (x ∈ B 0 ) ⇒ x ∈ B 0
⇒A∩B =∅
0 0
⇐ (⊇) Sea x ∈ A ⇒ x ∈ B ∧ x ∈ A ⇒ x ∈ B ∧ ((x ∈ B) ∨ (x ∈ A))
⇒ x ∈ (A ∪ B) ∩ B 0
0
(⊂) Sea x ∈ (A ∪ B) ∩ B ⇒ ((x ∈ A) ∨ (x ∈ B)) ∧ (x ∈ B 0 )
EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )

(A − B) ∪ (B − A) ⊂ C ⇒ A ∩ B0 ⊂ C ∧ B − A ⊂ C
⇒ A ∩ B 0 ⊂ C ⇒ (A ∩ B 0 )] ∪ B ⊂ B ∪ C
⇒A∪B ⊂B ∪C ⇒A⊂B ∪C

Ejercicio
Demostrar por elementos que (A ∪ B) ∩ B 0 = A ⇔ A ∩ B = ∅. (A ⊂ B 0 )

⇒) Sea x ∈ A ⇒ x ∈ (A ∪ B) ∧ x ∈ B 0 ⇒ ((x ∈ A) ∨ (x ∈ B)) ∧ x ∈ B 0

⇒ (x ∈ A) ∧ (x ∈ B 0 ) ⇒ x ∈ B 0
⇒A∩B =∅
0 0
⇐ (⊇) Sea x ∈ A ⇒ x ∈ B ∧ x ∈ A ⇒ x ∈ B ∧ ((x ∈ B) ∨ (x ∈ A))
⇒ x ∈ (A ∪ B) ∩ B 0
0
(⊂) Sea x ∈ (A ∪ B) ∩ B ⇒ ((x ∈ A) ∨ (x ∈ B)) ∧ (x ∈ B 0 )
⇒ (x ∈ A) ∧ (x ∈ B 0 )
EJERCICIO
Ejercicio
Demostrar que si: (A4B) ⊂ C → A ⊂ (B ∪ C )

(A − B) ∪ (B − A) ⊂ C ⇒ A ∩ B0 ⊂ C ∧ B − A ⊂ C
⇒ A ∩ B 0 ⊂ C ⇒ (A ∩ B 0 )] ∪ B ⊂ B ∪ C
⇒A∪B ⊂B ∪C ⇒A⊂B ∪C

Ejercicio
Demostrar por elementos que (A ∪ B) ∩ B 0 = A ⇔ A ∩ B = ∅. (A ⊂ B 0 )

⇒) Sea x ∈ A ⇒ x ∈ (A ∪ B) ∧ x ∈ B 0 ⇒ ((x ∈ A) ∨ (x ∈ B)) ∧ x ∈ B 0

⇒ (x ∈ A) ∧ (x ∈ B 0 ) ⇒ x ∈ B 0
⇒A∩B =∅
0 0
⇐ (⊇) Sea x ∈ A ⇒ x ∈ B ∧ x ∈ A ⇒ x ∈ B ∧ ((x ∈ B) ∨ (x ∈ A))
⇒ x ∈ (A ∪ B) ∩ B 0
0
(⊂) Sea x ∈ (A ∪ B) ∩ B ⇒ ((x ∈ A) ∨ (x ∈ B)) ∧ (x ∈ B 0 )
⇒ (x ∈ A) ∧ (x ∈ B 0 ) ⇒ (x ∈ A)
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )

⇒) Sea x ∈ A
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )

⇒) Sea x ∈ A ⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )

⇒) Sea x ∈ A ⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )

⇒) Sea x ∈ A ⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )

⇒) Sea x ∈ A ⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
como [(A − B) ∪ (B − A)] ⊂ C
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )

⇒) Sea x ∈ A ⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
como [(A − B) ∪ (B − A)] ⊂ C ⇒ (A − B) ⊂ C ∨ B − A ⊂ C
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )

⇒) Sea x ∈ A
como [(A − B) ∪ (B − A)] ⊂ C
x ∈ (A ∩ B) ∨ x ∈ (A ∧ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
⇒ (A − B) ⊂ C ∨ B − A ⊂ C
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )

⇒) Sea x ∈ A
como [(A − B) ∪ (B − A)] ⊂ C
x ∈ (A ∩ B) ∨ x ∈ (A ∧ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
⇒ (A − B) ⊂ C ∨ B − A ⊂ C
⇒ x ∈ (A ∩ B) ∨ x ∈ C
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )
⇒) Sea x ∈ A
como [(A − B) ∪ (B − A)] ⊂ C
x ∈ (A ∩ B) ∨ x ∈ (A ∧ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
⇒ (A − B) ⊂ C ∨ B − A ⊂ C
⇒ x ∈ (A ∩ B) ∨ x ∈ C
⇒ x ∈ ((A ∩ B) ∪ C )
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )
⇒) Sea x ∈ A
como [(A − B) ∪ (B − A)] ⊂ C
x ∈ (A ∩ B) ∨ x ∈ (A ∧ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
⇒ (A − B) ⊂ C ∨ B − A ⊂ C
⇒ x ∈ (A ∩ B) ∨ x ∈ C
⇒ x ∈ ((A ∩ B) ∪ C ) ⇒ x ∈ ((A ∪ C ) ∩ (A ∪ C ))
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )

⇒) Sea x ∈ A
como [(A − B) ∪ (B − A)] ⊂ C
x ∈ (A ∩ B) ∨ x ∈ (A ∧ B 0 )
⇐) Sea x ∈ [(A − B) ∪ (B − A)]
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
⇒ (A − B) ⊂ C ∨ B − A ⊂ C
⇒ x ∈ (A ∩ B) ∨ x ∈ C
⇒ x ∈ ((A ∩ B) ∪ C ) ⇒ x ∈ ((A ∪ C ) ∩ (A ∪ C ))
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )
⇒) Sea x ∈ A
como [(A − B) ∪ (B − A)] ⊂ C
x ∈ (A ∩ B) ∨ x ∈ (A ∧ B 0 )
⇐) Sea x ∈ [(A − B) ∪ (B − A)]
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
⇒ (A − B) ⊂ C ∨ B − A ⊂ C
⇒ x ∈ (A ∩ B) ∨ x ∈ C
⇒ x ∈ ((A ∩ B) ∪ C ) ⇒ x ∈ ((A ∪ C ) ∩ (A ∪ C ))
⇒ x ∈ (A − B) ∨ x ∈ (B − A)
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )
⇒) Sea x ∈ A
como [(A − B) ∪ (B − A)] ⊂ C
x ∈ (A ∩ B) ∨ x ∈ (A ∧ B 0 )
⇐) Sea x ∈ [(A − B) ∪ (B − A)]
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
⇒ (A − B) ⊂ C ∨ B − A ⊂ C
⇒ x ∈ (A ∩ B) ∨ x ∈ C
⇒ x ∈ ((A ∩ B) ∪ C ) ⇒ x ∈ ((A ∪ C ) ∩ (A ∪ C ))
⇒ x ∈ (A − B) ∨ x ∈ (B − A)
⇒ x ∈ (A ∩ B 0 ) ∨ x ∈ (B ∩ A0 )
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )
⇒) Sea x ∈ A
como [(A − B) ∪ (B − A)] ⊂ C
x ∈ (A ∩ B) ∨ x ∈ (A ∧ B 0 )
⇐) Sea x ∈ [(A − B) ∪ (B − A)]
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
⇒ (A − B) ⊂ C ∨ B − A ⊂ C
⇒ x ∈ (A ∩ B) ∨ x ∈ C
⇒ x ∈ ((A ∩ B) ∪ C ) ⇒ x ∈ ((A ∪ C ) ∩ (A ∪ C ))
⇒ x ∈ (A − B) ∨ x ∈ (B − A)
⇒ x ∈ (A ∩ B 0 ) ∨ x ∈ (B ∩ A0 )
⇒ (x ∈ A ∧ x ∈ B 0 ) ∨ (x ∈ B ∧ x ∈ A0 )
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )
⇒) Sea x ∈ A
como [(A − B) ∪ (B − A)] ⊂ C
x ∈ (A ∩ B) ∨ x ∈ (A ∧ B 0 )
⇐) Sea x ∈ [(A − B) ∪ (B − A)]
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
⇒ (A − B) ⊂ C ∨ B − A ⊂ C
⇒ x ∈ (A ∩ B) ∨ x ∈ C
⇒ x ∈ ((A ∩ B) ∪ C ) ⇒ x ∈ ((A ∪ C ) ∩ (A ∪ C ))
⇒ x ∈ (A − B) ∨ x ∈ (B − A)
⇒ x ∈ (A ∩ B 0 ) ∨ x ∈ (B ∩ A0 )
⇒ (x ∈ A ∧ x ∈ B 0 ) ∨ (x ∈ B ∧ x ∈ A0 )
⇒ (x ∈ (B ∪ C ) ∧ x ∈ B 0 ) ∨ (x ∈ (A ∪ C ) ∧ x ∈ A0 )
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )

⇒) Sea x ∈ A
como [(A − B) ∪ (B − A)] ⊂ C
x ∈ (A ∩ B) ∨ x ∈ (A ∧ B 0 )
⇐) Sea x ∈ [(A − B) ∪ (B − A)]
⇒ ((x ∈ B ∨ x ∈ C ) ∧ x ∈ B 0 ) ∨ ((x ∈ A ∨ x ∈ C ) ∧ x ∈ A0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
⇒ (A − B) ⊂ C ∨ B − A ⊂ C
⇒ x ∈ (A ∩ B) ∨ x ∈ C
⇒ x ∈ ((A ∩ B) ∪ C ) ⇒ x ∈ ((A ∪ C ) ∩ (A ∪ C ))
⇒ x ∈ (A − B) ∨ x ∈ (B − A)
⇒ x ∈ (A ∩ B 0 ) ∨ x ∈ (B ∩ A0 )
⇒ (x ∈ A ∧ x ∈ B 0 ) ∨ (x ∈ B ∧ x ∈ A0 )
⇒ (x ∈ (B ∪ C ) ∧ x ∈ B 0 ) ∨ (x ∈ (A ∪ C ) ∧ x ∈ A0 )
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )

⇒) Sea x ∈ A
como [(A − B) ∪ (B − A)] ⊂ C
x ∈ (A ∩ B) ∨ x ∈ (A ∧ B 0 )
⇐) Sea x ∈ [(A − B) ∪ (B − A)]
⇒ ((x ∈ B ∨ x ∈ C ) ∧ x ∈ B 0 ) ∨ ((x ∈ A ∨ x ∈ C ) ∧ x ∈ A0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
⇒ (A − B) ⊂ C ∨ B − A ⊂ C
⇒ x ∈ (A ∩ B) ∨ x ∈ C
⇒ x ∈ ((A ∩ B) ∪ C ) ⇒ x ∈ ((A ∪ C ) ∩ (A ∪ C ))
⇒ x ∈ (A − B) ∨ x ∈ (B − A)
⇒ x ∈ (A ∩ B 0 ) ∨ x ∈ (B ∩ A0 )
⇒ (x ∈ A ∧ x ∈ B 0 ) ∨ (x ∈ B ∧ x ∈ A0 )
⇒ (x ∈ (B ∪ C ) ∧ x ∈ B 0 ) ∨ (x ∈ (A ∪ C ) ∧ x ∈ A0 )
⇒ x ∈ (B 0 ∧ C ) ∨ x ∈ (A0 ∪ C )
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )

⇒) Sea x ∈ A
como [(A − B) ∪ (B − A)] ⊂ C
x ∈ (A ∩ B) ∨ x ∈ (A ∧ B 0 )
⇐) Sea x ∈ [(A − B) ∪ (B − A)]
⇒ ((x ∈ B ∨ x ∈ C ) ∧ x ∈ B 0 ) ∨ ((x ∈ A ∨ x ∈ C ) ∧ x ∈ A0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
⇒ (A − B) ⊂ C ∨ B − A ⊂ C
⇒ x ∈ (A ∩ B) ∨ x ∈ C
⇒ x ∈ ((A ∩ B) ∪ C ) ⇒ x ∈ ((A ∪ C ) ∩ (A ∪ C ))
⇒ x ∈ (A − B) ∨ x ∈ (B − A)
⇒ x ∈ (A ∩ B 0 ) ∨ x ∈ (B ∩ A0 )
⇒ (x ∈ A ∧ x ∈ B 0 ) ∨ (x ∈ B ∧ x ∈ A0 )
⇒ (x ∈ (B ∪ C ) ∧ x ∈ B 0 ) ∨ (x ∈ (A ∪ C ) ∧ x ∈ A0 )
⇒ x ∈ (B 0 ∧ C ) ∨ x ∈ (A0 ∪ C )
⇒ (x ∈ B 0 ∨ x ∈ A0 ) ∧ x ∈ C
EJERCICIO
Ejercicio
Usando elementos demostrar que:
[(A − B) ∪ (B − A)] ⊂ C ⇔ A ⊂ (B ∪ C ) ∧ (A ∪ C )

⇒) Sea x ∈ A
como [(A − B) ∪ (B − A)] ⊂ C
x ∈ (A ∩ B) ∨ x ∈ (A ∧ B 0 )
⇐) Sea x ∈ [(A − B) ∪ (B − A)]
⇒ ((x ∈ B ∨ x ∈ C ) ∧ x ∈ B 0 ) ∨ ((x ∈ A ∨ x ∈ C ) ∧ x ∈ A0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ B 0 )
⇒ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ B 0 )
⇒ (A − B) ⊂ C ∨ B − A ⊂ C
⇒ x ∈ (A ∩ B) ∨ x ∈ C
⇒ x ∈ ((A ∩ B) ∪ C ) ⇒ x ∈ ((A ∪ C ) ∩ (A ∪ C ))
⇒ x ∈ (A − B) ∨ x ∈ (B − A)
⇒ x ∈ (A ∩ B 0 ) ∨ x ∈ (B ∩ A0 )
⇒ (x ∈ A ∧ x ∈ B 0 ) ∨ (x ∈ B ∧ x ∈ A0 )
⇒ (x ∈ (B ∪ C ) ∧ x ∈ B 0 ) ∨ (x ∈ (A ∪ C ) ∧ x ∈ A0 )
⇒ x ∈ (B 0 ∧ C ) ∨ x ∈ (A0 ∪ C )
⇒ (x ∈ B 0 ∨ x ∈ A0 ) ∧ x ∈ C ⇒ x ∈ C
EJERCICIO

Ejercicio
Demostrar que: {[A0 − (B 0 − C )]0 ∩ [C 0 − B]0 } ⊂ A ∩ (B ∪ C )
EJERCICIO

Ejercicio
Demostrar que: {[A0 − (B 0 − C )]0 ∩ [C 0 − B]0 } ⊂ A ∩ (B ∪ C )

x ∈ {[A0 − (B 0 − C )]0 } ∧ {x ∈ (C 0 − B)0 }

EJERCICIO

Ejercicio
Demostrar que: {[A0 − (B 0 − C )]0 ∩ [C 0 − B]0 } ⊂ A ∩ (B ∪ C )

x ∈ {[A0 − (B 0 − C )]0 } ∧ {x ∈ (C 0 − B)0 } ⇒ x ∈ [A0 − (B 0 − C )] ∧ x ∈ (C 0 − B 0 )

EJERCICIO

Ejercicio
Demostrar que: {[A0 − (B 0 − C )]0 ∩ [C 0 − B]0 } ⊂ A ∩ (B ∪ C )

x ∈ {[A0 − (B 0 − C )]0 } ∧ {x ∈ (C 0 − B)0 } ⇒ x ∈ [A0 − (B 0 − C )] ∧ x ∈ (C 0 − B 0 )

/ (A0 − (B 0 − C )) ∧ x ∈
⇒x ∈ / (C 0 − B)))
EJERCICIO

Ejercicio
Demostrar que: {[A0 − (B 0 − C )]0 ∩ [C 0 − B]0 } ⊂ A ∩ (B ∪ C )

x ∈ {[A0 − (B 0 − C )]0 } ∧ {x ∈ (C 0 − B)0 } ⇒ x ∈ [A0 − (B 0 − C )] ∧ x ∈ (C 0 − B 0 )

/ (A0 − (B 0 − C )) ∧ x ∈
⇒x ∈ / (C 0 − B)))
⇒∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )) ∧ {∼ (x ∈ (C 0 − B)))}
EJERCICIO

Ejercicio
Demostrar que: {[A0 − (B 0 − C )]0 ∩ [C 0 − B]0 } ⊂ A ∩ (B ∪ C )

x ∈ {[A0 − (B 0 − C )]0 } ∧ {x ∈ (C 0 − B)0 } ⇒ x ∈ [A0 − (B 0 − C )] ∧ x ∈ (C 0 − B 0 )

/ (A0 − (B 0 − C )) ∧ x ∈
⇒x ∈ / (C 0 − B)))
⇒∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )) ∧ {∼ (x ∈ (C 0 − B)))}
{∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )))} ∧ {∼ (x ∈ C 0 ∧ x ∈
/ B 0 )}
EJERCICIO

Ejercicio
Demostrar que: {[A0 − (B 0 − C )]0 ∩ [C 0 − B]0 } ⊂ A ∩ (B ∪ C )

x ∈ {[A0 − (B 0 − C )]0 } ∧ {x ∈ (C 0 − B)0 } ⇒ x ∈ [A0 − (B 0 − C )] ∧ x ∈ (C 0 − B 0 )

/ (A0 − (B 0 − C )) ∧ x ∈
⇒x ∈ / (C 0 − B)))
⇒∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )) ∧ {∼ (x ∈ (C 0 − B)))}
{∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )))} ∧ {∼ (x ∈ C 0 ∧ x ∈
/ B 0 )}
⇒ {(x ∈ A) ∨ (x ∈ (B 0 − C ))} ∧ {(x ∈ C ) ∨ (x ∈ B)}
EJERCICIO

Ejercicio
Demostrar que: {[A0 − (B 0 − C )]0 ∩ [C 0 − B]0 } ⊂ A ∩ (B ∪ C )

x ∈ {[A0 − (B 0 − C )]0 } ∧ {x ∈ (C 0 − B)0 } ⇒ x ∈ [A0 − (B 0 − C )] ∧ x ∈ (C 0 − B 0 )

/ (A0 − (B 0 − C )) ∧ x ∈
⇒x ∈ / (C 0 − B)))
⇒∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )) ∧ {∼ (x ∈ (C 0 − B)))}
{∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )))} ∧ {∼ (x ∈ C 0 ∧ x ∈
/ B 0 )}
⇒ {(x ∈ A) ∨ (x ∈ (B 0 − C ))} ∧ {(x ∈ C ) ∨ (x ∈ B)}
⇒ {(x ∈ A) ∨ ((x ∈ B 0 ) ∧ (x ∈
/ C ))} ∧ {x ∈ (B ∪ C )}
EJERCICIO

Ejercicio
Demostrar que: {[A0 − (B 0 − C )]0 ∩ [C 0 − B]0 } ⊂ A ∩ (B ∪ C )

x ∈ {[A0 − (B 0 − C )]0 } ∧ {x ∈ (C 0 − B)0 } ⇒ x ∈ [A0 − (B 0 − C )] ∧ x ∈ (C 0 − B 0 )

/ (A0 − (B 0 − C )) ∧ x ∈
⇒x ∈ / (C 0 − B)))
⇒∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )) ∧ {∼ (x ∈ (C 0 − B)))}
{∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )))} ∧ {∼ (x ∈ C 0 ∧ x ∈
/ B 0 )}
⇒ {(x ∈ A) ∨ (x ∈ (B 0 − C ))} ∧ {(x ∈ C ) ∨ (x ∈ B)}
⇒ {(x ∈ A) ∨ ((x ∈ B 0 ) ∧ (x ∈
/ C ))} ∧ {x ∈ (B ∪ C )}
⇒ {(x ∈ A) ∨ ((x 6 B) ∧ (x ∈
/ C ))} ∧ {x ∈ (B ∪ C )}
EJERCICIO

Ejercicio
Demostrar que: {[A0 − (B 0 − C )]0 ∩ [C 0 − B]0 } ⊂ A ∩ (B ∪ C )

x ∈ {[A0 − (B 0 − C )]0 } ∧ {x ∈ (C 0 − B)0 } ⇒ x ∈ [A0 − (B 0 − C )] ∧ x ∈ (C 0 − B 0 )

/ (A0 − (B 0 − C )) ∧ x ∈
⇒x ∈ / (C 0 − B)))
⇒∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )) ∧ {∼ (x ∈ (C 0 − B)))}
{∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )))} ∧ {∼ (x ∈ C 0 ∧ x ∈
/ B 0 )}
⇒ {(x ∈ A) ∨ (x ∈ (B 0 − C ))} ∧ {(x ∈ C ) ∨ (x ∈ B)}
⇒ {(x ∈ A) ∨ ((x ∈ B 0 ) ∧ (x ∈
/ C ))} ∧ {x ∈ (B ∪ C )}
⇒ {(x ∈ A) ∨ ((x 6 B) ∧ (x ∈
/ C ))} ∧ {x ∈ (B ∪ C )}
⇒ {(x ∈ A)∨ ∼ (x ∈ B ∨ x ∈ C )} ∧ {x ∈ (B ∪ C )}
EJERCICIO

Ejercicio
Demostrar que: {[A0 − (B 0 − C )]0 ∩ [C 0 − B]0 } ⊂ A ∩ (B ∪ C )

x ∈ {[A0 − (B 0 − C )]0 } ∧ {x ∈ (C 0 − B)0 } ⇒ x ∈ [A0 − (B 0 − C )] ∧ x ∈ (C 0 − B 0 )

/ (A0 − (B 0 − C )) ∧ x ∈
⇒x ∈ / (C 0 − B)))
⇒∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )) ∧ {∼ (x ∈ (C 0 − B)))}
{∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )))} ∧ {∼ (x ∈ C 0 ∧ x ∈
/ B 0 )}
⇒ {(x ∈ A) ∨ (x ∈ (B 0 − C ))} ∧ {(x ∈ C ) ∨ (x ∈ B)}
⇒ {(x ∈ A) ∨ ((x ∈ B 0 ) ∧ (x ∈
/ C ))} ∧ {x ∈ (B ∪ C )}
⇒ {(x ∈ A) ∨ ((x 6 B) ∧ (x ∈
/ C ))} ∧ {x ∈ (B ∪ C )}
⇒ {(x ∈ A)∨ ∼ (x ∈ B ∨ x ∈ C )} ∧ {x ∈ (B ∪ C )}
⇒ {(x ∈ A) ∨ x ∈ (B ∪ C )0 } ∧ {x ∈ B ∪ C }
EJERCICIO

Ejercicio
Demostrar que: {[A0 − (B 0 − C )]0 ∩ [C 0 − B]0 } ⊂ A ∩ (B ∪ C )

x ∈ {[A0 − (B 0 − C )]0 } ∧ {x ∈ (C 0 − B)0 } ⇒ x ∈ [A0 − (B 0 − C )] ∧ x ∈ (C 0 − B 0 )

/ (A0 − (B 0 − C )) ∧ x ∈
⇒x ∈ / (C 0 − B)))
⇒∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )) ∧ {∼ (x ∈ (C 0 − B)))}
{∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )))} ∧ {∼ (x ∈ C 0 ∧ x ∈
/ B 0 )}
⇒ {(x ∈ A) ∨ (x ∈ (B 0 − C ))} ∧ {(x ∈ C ) ∨ (x ∈ B)}
⇒ {(x ∈ A) ∨ ((x ∈ B 0 ) ∧ (x ∈
/ C ))} ∧ {x ∈ (B ∪ C )}
⇒ {(x ∈ A) ∨ ((x 6 B) ∧ (x ∈
/ C ))} ∧ {x ∈ (B ∪ C )}
⇒ {(x ∈ A)∨ ∼ (x ∈ B ∨ x ∈ C )} ∧ {x ∈ (B ∪ C )}
⇒ {(x ∈ A) ∨ x ∈ (B ∪ C )0 } ∧ {x ∈ B ∪ C }
⇒ x ∈ A ∧ x ∈ (B ∪ C )
EJERCICIO

Ejercicio
Demostrar que: {[A0 − (B 0 − C )]0 ∩ [C 0 − B]0 } ⊂ A ∩ (B ∪ C )

x ∈ {[A0 − (B 0 − C )]0 } ∧ {x ∈ (C 0 − B)0 } ⇒ x ∈ [A0 − (B 0 − C )] ∧ x ∈ (C 0 − B 0 )

/ (A0 − (B 0 − C )) ∧ x ∈
⇒x ∈ / (C 0 − B)))
⇒∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )) ∧ {∼ (x ∈ (C 0 − B)))}
{∼ (x ∈ A0 ∧ x ∈
/ (B 0 − C )))} ∧ {∼ (x ∈ C 0 ∧ x ∈
/ B 0 )}
⇒ {(x ∈ A) ∨ (x ∈ (B 0 − C ))} ∧ {(x ∈ C ) ∨ (x ∈ B)}
⇒ {(x ∈ A) ∨ ((x ∈ B 0 ) ∧ (x ∈
/ C ))} ∧ {x ∈ (B ∪ C )}
⇒ {(x ∈ A) ∨ ((x 6 B) ∧ (x ∈
/ C ))} ∧ {x ∈ (B ∪ C )}
⇒ {(x ∈ A)∨ ∼ (x ∈ B ∨ x ∈ C )} ∧ {x ∈ (B ∪ C )}
⇒ {(x ∈ A) ∨ x ∈ (B ∪ C )0 } ∧ {x ∈ B ∪ C }
⇒ x ∈ A ∧ x ∈ (B ∪ C ) ⇒ x ∈ (A ∩ (B ∪ C ))
EJERCICIO

Ejercicio
Si (B 0 4C 0 )0 ⊂ (A0 ∪ B), simplificar:

0 0 0 0 0
{{[(A ∪ B ) ∩ (A ∩ B )] ∪ (A ∪ B) } ∪ (C ∩ A)} ∪ {(B4C )4C }
EJERCICIO

Ejercicio
Si (B 0 4C 0 )0 ⊂ (A0 ∪ B), simplificar:

0 0 0 0 0
{{[(A ∪ B ) ∩ (A ∩ B )] ∪ (A ∪ B) } ∪ (C ∩ A)} ∪ {(B4C )4C }

De la expresión tenemos
 EJERCICIO

Ejercicio
Si (B 0 4C 0 )0 ⊂ (A0 ∪ B), simplificar:

0 0 0 0 0
{{[(A ∪ B ) ∩ (A ∩ B )] ∪ (A ∪ B) } ∪ (C ∩ A)} ∪ {(B4C )4C }

De la expresión tenemos

{{[(A ∪ B 0 ) ∩ (A0 ∩ B 0 )] ∪ (A ∪ B)0 } ∪ (C ∩ A)} ∪ B

0
 EJERCICIO

Ejercicio
Si (B 0 4C 0 )0 ⊂ (A0 ∪ B), simplificar:

0 0 0 0 0
{{[(A ∪ B ) ∩ (A ∩ B )] ∪ (A ∪ B) } ∪ (C ∩ A)} ∪ {(B4C )4C }

De la expresión tenemos

{{[(A ∪ B 0 ) ∩ (A0 ∩ B 0 )] ∪ (A ∪ B)0 } ∪ (C ∩ A)} ∪ B

0
= {{[A0 ∩ B] ∪ (A0 ∩ B 0 )} ∪ (C ∩ A)} ∪ B
 EJERCICIO

Ejercicio
Si (B 0 4C 0 )0 ⊂ (A0 ∪ B), simplificar:

0 0 0 0 0
{{[(A ∪ B ) ∩ (A ∩ B )] ∪ (A ∪ B) } ∪ (C ∩ A)} ∪ {(B4C )4C }

De la expresión tenemos

{{[(A ∪ B 0 ) ∩ (A0 ∩ B 0 )] ∪ (A ∪ B)0 } ∪ (C ∩ A)} ∪ B

0
= {{[A0 ∩ B] ∪ (A0 ∩ B 0 )} ∪ (C ∩ A)} ∪ B
= {{A0 ∩ (B ∪ B 0 )} ∪ (C ∩ A)} ∪ B
 EJERCICIO

Ejercicio
Si (B 0 4C 0 )0 ⊂ (A0 ∪ B), simplificar:

0 0 0 0 0
{{[(A ∪ B ) ∩ (A ∩ B )] ∪ (A ∪ B) } ∪ (C ∩ A)} ∪ {(B4C )4C }

De la expresión tenemos

{{[(A ∪ B 0 ) ∩ (A0 ∩ B 0 )] ∪ (A ∪ B)0 } ∪ (C ∩ A)} ∪ B

0
= {{[A0 ∩ B] ∪ (A0 ∩ B 0 )} ∪ (C ∩ A)} ∪ B
= {{A0 ∩ (B ∪ B 0 )} ∪ (C ∩ A)} ∪ B
= {A0 ∪ (C ∩ A)} ∪ B
 EJERCICIO

Ejercicio
Si (B 0 4C 0 )0 ⊂ (A0 ∪ B), simplificar:

0 0 0 0 0
{{[(A ∪ B ) ∩ (A ∩ B )] ∪ (A ∪ B) } ∪ (C ∩ A)} ∪ {(B4C )4C }

De la expresión tenemos

{{[(A ∪ B 0 ) ∩ (A0 ∩ B 0 )] ∪ (A ∪ B)0 } ∪ (C ∩ A)} ∪ B

0
= {{[A0 ∩ B] ∪ (A0 ∩ B 0 )} ∪ (C ∩ A)} ∪ B
= {{A0 ∩ (B ∪ B 0 )} ∪ (C ∩ A)} ∪ B
= {A0 ∪ (C ∩ A)} ∪ B
= (A0 ∪ C ) ∪ B
 EJERCICIO

Ejercicio
Si (B 0 4C 0 )0 ⊂ (A0 ∪ B), simplificar:

0 0 0 0 0
{{[(A ∪ B ) ∩ (A ∩ B )] ∪ (A ∪ B) } ∪ (C ∩ A)} ∪ {(B4C )4C }

De la expresión tenemos

{{[(A ∪ B 0 ) ∩ (A0 ∩ B 0 )] ∪ (A ∪ B)0 } ∪ (C ∩ A)} ∪ B

0
= {{[A0 ∩ B] ∪ (A0 ∩ B 0 )} ∪ (C ∩ A)} ∪ B
= {{A0 ∩ (B ∪ B 0 )} ∪ (C ∩ A)} ∪ B
= {A0 ∪ (C ∩ A)} ∪ B
= (A0 ∪ C ) ∪ B
= C ∪ (A0 ∪ B)
 EJERCICIO

Ejercicio
Si (B 0 4C 0 )0 ⊂ (A0 ∪ B), simplificar:

0 0 0 0 0
{{[(A ∪ B ) ∩ (A ∩ B )] ∪ (A ∪ B) } ∪ (C ∩ A)} ∪ {(B4C )4C }

De la expresión tenemos

{{[(A ∪ B 0 ) ∩ (A0 ∩ B 0 )] ∪ (A ∪ B)0 } ∪ (C ∩ A)} ∪ B

0
= {{[A0 ∩ B] ∪ (A0 ∩ B 0 )} ∪ (C ∩ A)} ∪ B
= {{A0 ∩ (B ∪ B 0 )} ∪ (C ∩ A)} ∪ B
= {A0 ∪ (C ∩ A)} ∪ B
= (A0 ∪ C ) ∪ B
= C ∪ (A0 ∪ B)
= C ∪ (B 0 4C 0 )0 ∪ (A0 ∪ B)
 EJERCICIO

Ejercicio
Si (B 0 4C 0 )0 ⊂ (A0 ∪ B), simplificar:

0 0 0 0 0
{{[(A ∪ B ) ∩ (A ∩ B )] ∪ (A ∪ B) } ∪ (C ∩ A)} ∪ {(B4C )4C }

De la expresión tenemos

{{[(A ∪ B 0 ) ∩ (A0 ∩ B 0 )] ∪ (A ∪ B)0 } ∪ (C ∩ A)} ∪ B

0
= {{[A0 ∩ B] ∪ (A0 ∩ B 0 )} ∪ (C ∩ A)} ∪ B
= {{A0 ∩ (B ∪ B 0 )} ∪ (C ∩ A)} ∪ B
= {A0 ∪ (C ∩ A)} ∪ B
= (A0 ∪ C ) ∪ B
= C ∪ (A0 ∪ B)
= C ∪ (B 0 4C 0 )0 ∪ (A0 ∪ B)
= C ∪ ((B 0 ∪ C 0 ) ∩ (B 0 ∩ C 0 )0 )0 ∪ (A0 ∪ B)
 EJERCICIO

Ejercicio
Si (B 0 4C 0 )0 ⊂ (A0 ∪ B), simplificar:

0 0 0 0 0
{{[(A ∪ B ) ∩ (A ∩ B )] ∪ (A ∪ B) } ∪ (C ∩ A)} ∪ {(B4C )4C }

De la expresión tenemos

{{[(A ∪ B 0 ) ∩ (A0 ∩ B 0 )] ∪ (A ∪ B)0 } ∪ (C ∩ A)} ∪ B

0
= {{[A0 ∩ B] ∪ (A0 ∩ B 0 )} ∪ (C ∩ A)} ∪ B
= {{A0 ∩ (B ∪ B 0 )} ∪ (C ∩ A)} ∪ B
= {A0 ∪ (C ∩ A)} ∪ B
= (A0 ∪ C ) ∪ B
= C ∪ (A0 ∪ B)
= C ∪ (B 0 4C 0 )0 ∪ (A0 ∪ B)
= C ∪ ((B 0 ∪ C 0 ) ∩ (B 0 ∩ C 0 )0 )0 ∪ (A0 ∪ B)
= C ∪ ((B ∩ C ) ∪ (B 0 ∩ C 0 )) ∪ (A0 ∪ B)
 EJERCICIO

Ejercicio
Si (B 0 4C 0 )0 ⊂ (A0 ∪ B), simplificar:

0 0 0 0 0
{{[(A ∪ B ) ∩ (A ∩ B )] ∪ (A ∪ B) } ∪ (C ∩ A)} ∪ {(B4C )4C }

De la expresión tenemos

{{[(A ∪ B 0 ) ∩ (A0 ∩ B 0 )] ∪ (A ∪ B)0 } ∪ (C ∩ A)} ∪ B

0
= {{[A0 ∩ B] ∪ (A0 ∩ B 0 )} ∪ (C ∩ A)} ∪ B
= {{A0 ∩ (B ∪ B 0 )} ∪ (C ∩ A)} ∪ B
= {A0 ∪ (C ∩ A)} ∪ B
= (A0 ∪ C ) ∪ B
= C ∪ (A0 ∪ B)
= C ∪ (B 0 4C 0 )0 ∪ (A0 ∪ B)
= C ∪ ((B 0 ∪ C 0 ) ∩ (B 0 ∩ C 0 )0 )0 ∪ (A0 ∪ B)
= C ∪ ((B ∩ C ) ∪ (B 0 ∩ C 0 )) ∪ (A0 ∪ B)
= C ∪ (B ∪ C 0 ) ∪ A0
 EJERCICIO

Ejercicio
Si (B 0 4C 0 )0 ⊂ (A0 ∪ B), simplificar:

0 0 0 0 0
{{[(A ∪ B ) ∩ (A ∩ B )] ∪ (A ∪ B) } ∪ (C ∩ A)} ∪ {(B4C )4C }

De la expresión tenemos

{{[(A ∪ B 0 ) ∩ (A0 ∩ B 0 )] ∪ (A ∪ B)0 } ∪ (C ∩ A)} ∪ B

0
= {{[A0 ∩ B] ∪ (A0 ∩ B 0 )} ∪ (C ∩ A)} ∪ B
= {{A0 ∩ (B ∪ B 0 )} ∪ (C ∩ A)} ∪ B
= {A0 ∪ (C ∩ A)} ∪ B
= (A0 ∪ C ) ∪ B
= C ∪ (A0 ∪ B)
= C ∪ (B 0 4C 0 )0 ∪ (A0 ∪ B)
= C ∪ ((B 0 ∪ C 0 ) ∩ (B 0 ∩ C 0 )0 )0 ∪ (A0 ∪ B)
= C ∪ ((B ∩ C ) ∪ (B 0 ∩ C 0 )) ∪ (A0 ∪ B)
= C ∪ (B ∪ C 0 ) ∪ A0
=U