Escuela Politécnica Nacional

Departamento de Formación Básica

Curso de Algebra
Ejercicios Propuestos - Conjuntos
Catedra de Fundamentos de Matemática
Semestre 2021-B

Nombre: Danny Yanacallo Paralelo: C

Ejercicios propuestos
1. Escriba la negación del siguiente enunciado
Para toda clase Y, se tiene
Y ∈ A ⇒ Y ∈ B.
Y∉A⇒Y∉B

2. Escriba la negación del siguiente enunciado

Existe una clase X, tal que para toda clase Z, se tiene
X ∈ A ∧ X ∈ Z.
R= ¬ (X ∈ A ∧ X ∈ Z)

3. Dados los conjuntos A = {1, 2, 3, 4, 5}, B = {3, 5, 7, 9, 11} y C = {0, 2, 4, 6, 8}.

Determine los conjuntos
(a) A ∩ B
(b) C ∩ B

(c) A \ B

(d) B \ A

A = {1, 2, 3, 4, 5}
B = {3, 5, 7, 9, 11}
C = {0, 2, 4, 6, 8}
(a) A ∩ B
El conjunto A ∩ B es el conjunto cuyos elementos pertenecen tanto a A como a B;
después, obtenemos que
A ∩ B = {3, 5}

(b) C ∩ B

El conjunto C ∩ B es el conjunto cuyos elementos pertenecen tanto a C como a B;

después, obtenemos que
C∩B=∅

(c) A - B
El conjunto A − B es el conjunto cuyos elementos pertenecen a A pero no a B:
A – B = {1, 2, 4}

(d) B – A
El conjunto B – A es el conjunto cuyos elementos pertenecen a B pero no a A; luego,
concluimos que
B – A = {7, 9, 11}

4. Si S = {3k − 1: k ∈ N ∧ k ≤ 7} y T es el conjunto de todos los números naturales

divisibles por 4 menores que 30, encuentre todos los elementos de:
(a) S ∪ T
(b) S ∩ T
(c) S − T
(d) T − S
Solución. En primer lugar,
S = {-1, 2, 5, 8, 11, 14, 17, 20} T = {4, 8, 12, 16, 20, 24, 28}

(a) S ∪ T
El conjunto S ∪ T es el conjunto cuyos elementos pertenecen a S o a T; así, tenemos
que:
S ∪ T = {-1, 2, 4, 5, 8, 11, 12, 14, 16, 17, 20, 24, 28}

(b) S ∩ T
El conjunto S ∩ T es el conjunto cuyos elementos pertenecen tanto a S como a T;
después, obtenemos que:

S ∩ T = {8, 20}

(c) S – T
El conjunto S − T es el conjunto cuyos elementos pertenecen a S pero no a T:
S – T = {-1, 2, 5, 11, 14, 17}

(d) T – S
El conjunto T − S es el conjunto cuyos elementos pertenecen a T pero no a S; luego,
concluimos que:
T – S = {4, 12, 16, 24, 28}

5. Determine el producto cartesiano de {a, b} y {a}. Explique por qué cada elemento
de este conjunto pertenece al conjunto. Use la definición de producto cartesiano.
A = {a, b}
B = {a}
A x B = {(a, a), (b, a)}
Dados dos conjuntos A y B, llamamos producto cartesiano A×B al conjunto de pares
ordenados {a, b} y {a} tal que {a, b} ∈ A y {a} ∈ B
El producto cartesiano lo podemos representar en un tablero de la siguiente manera:

a (a, a)
b (b, a)
AxB a

6. Sean A, B clases y a un conjunto. Dada la siguiente proposición

 a∉A∧a∉B
(a) Aplicando el axioma de construcción de clases, represente una clase M con la
proposición dada.
(b) Elabore un diagrama de Venn para la clase M.
(c) Sea z un conjunto, escriba una proposición equivalente lógicamente a
z ∈ M.
(a) Aplicando el axioma de construcción de clases, se tiene que:

M = {a : (a ∉ A ∧ a ∉ B)}
(b) La clase M se puede representar con el siguiente diagrama de Venn

(c) Sea z un conjunto, la proposición equivalente lógicamente a

z∈M

es

A (z)

la cual, representa una proposición (en la que aparece z). Por lo tanto, la mencionada
proposición es
z∉A∧z∉B

7. La expresión
(Q ∨ P) ⇔ X ∈ Q
¿es una proposición?
No es una proposición en la teoría de conjuntos ya que no cumple con las reglas de la
sintaxis, aquí las letras mayúsculas representan clases y en el antecedente está la
disyunción entre dos clases lo cual no es posible

8. La expresión
 (A ∈ C ⇒ C ∈ B) ⇔ (A ∈ C)
¿es una proposición?
Sí, es una proposición ya que cumple con todas las reglas de la sintaxis para la teoría
de los conjuntos.

9. ¿Es verdadera la siguiente proposición?

¬(A ∈ X ∧ B ∈ Y ) ⇔ (A ∉ X ∨ B ∉ Y )

R= si es verdadera

10. ¿Es verdadera la proposición?

((X ∉ C ⇒ X ∉ D) ∧ X ∉ C) ⇒ X ∈ D
Es verdadera ya que tiene la forma de Modus Ponens que es una tautología.
((P ⇒ Q) ∧ P) ⇒ Q

11. Identifique si la siguiente proposición es verdadera para toda clase U.

((U ∈ A ⇒ U ∈ B) ∧ U ∈ A) ⇒ U ∈ B
((U ∈ A ⇒ U ∈ B) ∧ U ∈ A) y U ∈ B tienen el mismo valor de verdad
independientemente de los valores por los que se expresa, entonces ya que tiene la
forma de una proposición previamente revisada llamada Modus Ponen y es una
tautología, podemos afirmar que esta proposición es verdadera

12. ¿Es correcto afirmar que la proposición

(S ∈ T ⇒ S ∈ R) ⇔ (S ∉ T ∨ S ∈ R)
es verdadera?
Sí, podemos afirmar que la proposición es verdadera por la equivalencia lógica de
Implicación- disyunción P ⇒ Q ≡ ¬P ∨ Q y ya que de esta sale la tautología (P ⇒ Q) ⇔
(¬P ∨ Q), por tenerla misma forma que la proposición a demostrar podemos decir que
es verdadera

13. ¿Es valida la equivalencia

¬ (X ∈ A ∧ X ∉ B) ≡ X ∈ A ⇒ X ∈ B?

R= Si es valida

14. Escriba la negación del siguiente enunciado:

Para toda clase Y, se tiene que
Y∈A∨Y∈B
R= Y ∉ A ∨ Y ∉ B

15. Escriba la negación del siguiente enunciado:

Para toda clase A, se tiene que
A ∈ X ⇒ A ∉ Y.
R= A ∉ X ⇒ A ∈ Y.

16. Escriba la negación del siguiente enunciado:

para toda clase R, existe una clase T tal que

Para toda clase T, se tiene que

17. ¿Es valida la siguiente equivalencia lógica?
¬(z ∈ A ⇔ z ∈ B) ≡ (z ∈ A ∧ z ∉ B) ∨ (z ∈ B ∧ z ∉ A)

R = es verdadera porque se trata de una tautología, entonces la equivalencia lógica es

correcta

18. Demostrar el siguiente teorema:

¬(A ⊆ B) si y solo si existe un conjunto x que pertenece a A y que no pertenece a B.

¬ (A ⊆ B) ⟺ x ∈ A ∧ x ∉ B
Si tenemos ¬ (A ⊆ B) entonces concluimos
x∉A⇒x∉B
por la definición de subclase.
Vamos a demostrar el teorema por reducción al absurdo ahora vamos a suponer que
x∈B
por la relación de pertenencia, luego x ∈ A si por la hipótesis tendríamos que aceptar
que
x∉B
por la introducción de la conjunción, hay la siguiente proposición
x∉B∧x∈B
Pero esta proposición es falsa porque es una contradicción por el principio del Tercero
Excluido, ya que si x ∈ B, entonces
A⊆B

19. Demostrar el siguiente teorema:

A ⊆ B si y solo si todo conjunto x que pertenece a A, también pertenece a B y existe
un conjunto y que pertenece a B que no pertenece a A.
A ⊆ B (para todo conjunto x, x ∈ A ⇒ x ∈ B) y (existe un conjunto y tal que y ∈ B ∧ x ∈
A)

1 A⊆B H
2 A≠B H
3 j∈A⇒j∈B De 1 y la definición de subclase tenemos
que, para todo conjunto j
4 (h ∈ A ∧ h ∉ B) ∨ (h ∈ B ∧ h ∉ A) de 2 se tiene, existe un conjunto h
5 r ∈ A ⇒ r ∈ B ≡ ¬ (r ∈ A ∧ r ∉ B) De 3 en particular para r
≡ ¬ (r ∈ A ⇒ r ∈ B)
6 (r ∈ A ∧ r ∉ B) ∨ (r ∈ B ∧ r ∉ A) De 4 en particular para r
7 r∈B∧r∉A De 5 y 6
8 y∈B∧y∉A existe un conjunto y
A⊆B–A∪B=B
9 A⊆B Por la definición de subclase estricta. LQQD

20. Demostrar el siguiente teorema:

Si A = B y A ⊆ C, entonces B ⊆ C.

1 A = C ⟺ (A ⊆ C ∧ C ⊆ A) Definición igualdad
2 A=B H
3 B = C ⟺ (B ⊆ C ∧ C ⊆ B) Axioma de sustitución en 1 y 2
4 A⊆C≡x∈A⇒x∈C Equivalencia lógica
5 B⊆C Axioma de sustitución 2 y 4. LQQD

21. Demuestre que

A∩A=A
es verdadera.

1 A ∩ B = {x : x ∈ A ∧ x ∈ B} Definición de intersección
2 A=B Definición de igualdad de clases
3 B=A Simétrica de la igualdad de clases
4 A ∩ A = {x : x ∈ A ∧ x ∈ A} Axioma de sustitución 1 y 3
5 A∩A=A conjunción

22. Dadas las clases A y B, demuestre que

A∩B=B∩A
es verdadera.

1 A ∩ B = {x : x ∈ A ∧ x ∈ B} Definición de intersección
2 A=B Definición de igualdad de clases
3 B=A Simétrica de la igualdad de clases
4 B ∩ A = {x : x ∈ B ∧ x ∈ A} Axioma de sustitución 1 y 3
5

23. Se presenta la demostración de que

Dadas las clases A y B tales que A ≠ ∅, B ≠ ∅, si A ∩ B = ∅, entonces A ≠ B.
I) A ∩ B = ∅.
II) A = B.
III) x ∈ A.
IV) x ∈ B.
V) x ∈ A ∩ B.
VI) A ∩ B ≠ ∅.
VII) A = B.
Justifique cada paso de esta demostración.

I. A ∩ B = ∅. Hipótesis
II. A = B. Definición de igualdad de clases
III. x ∈ A. De II. Definición de igualdad de clases
IV. x ∈ B. De II. Definición de igualdad de clases
V. x ∈ A ∩ B. Definición de intersección III. y IV.
VI. A ∩ B ≠ ∅. Teorema clase vacía
VII. A = B. Definición igualdad entre clases y contradicción

24. Utilice el método de reducción al absurdo para demostrar que:

Si A ∩ B = ∅ y x ∈ B, entonces x ∉ A.

1 x∉A Hipótesis
2 A∩B≠∅ Hipótesis reducción al absurdo
3 x∈A∧x∈B Definición de intersección
4 x∈A Eliminación de la conjunción
5 x∈B Eliminación de la conjunción
6 x∉A∧x∈A Introducción de la intersección (Contradicción)
25. Dada la clase A, demuestre que

1 Caracterización de clase universal

2 x∈A Definición de igualdad de clases
3 Introducción de la conjunción 1 y 2
4 Definición de intersección
5 Definición de igualdad entre clases 3 y 4

26. Dada la clase A, demuestre que

1 Caracterización de clase universal

2 x∈A Definición de igualdad de clases
3 x∈ Definición de igualdad de clases
4 Introducción de la conjunción 1 y 2
5 Introducción de la conjunción 1 y 3
6 Definición de unión 4 y 5
7 Equivalencia lógica de unión
8 Definición de igualdad entre clases
6y7

27. Demuestre que:

Si A ⊆ B, entonces A ∩ C ⊆ B ∩ C.
Por este teorema, decimos que la intersección preserva la relación subclase.

1 A∩C Hipótesis
2 B∩C Hipótesis
3 C ⊆ (A ∩ C) Idempotencia a 1
4 C ⊆ (B ∩ C) Idempotencia a 2
5 (A ∩ C) ⊆ (B ∩ C) Axioma de sustitución de 3 en 4
6 A ⊆ (A ∩ C) Idempotencia a 1
7 B ⊆ (B ∩ C) Idempotencia a 2
8 A⊆B Axioma de sustitución de 6 y 7 en 5

28. Demuestre que

 Si A ⊆ B y C ⊆ D, entonces A ∩ C ⊆ B ∩ D.
Este teorema también justifica decir que la intersección preserva la relación subclase.

1 A∩C⊆B∩D Hipótesis
2 A ⊆ (A ∩ C) Idempotencia a 1
3 B ⊆ (B ∩ D) Idempotencia a 1
4 A⊆B Axioma de sustitución de 2 y 3 en 1
5 C ⊆ (A ∩ C) Idempotencia a 1
6 D ⊆ (B ∩ D) Idempotencia a 1
7 C⊆D Axioma de sustitución de 5 y 6 en 1

29. Se presenta la demostración de la siguiente proposición:

Dadas las clases A y B, A ⊆ B si y solo si A ∪ B = B.
En primer lugar:
I) A ⊆ B.
II) A ∪ B ⊆ B ∪ B.
III) A ∪ B ⊆ B.
IV) B ⊆ A ∪ B.
V) A ∪ B = B.
En segundo lugar:
I) A ∪ B = B.

II) A ⊆ A ∪ B.
III) A ⊆ B.
Justifica cada uno de los pasos de esta demostración.

En primer lugar:
I. A ⊆ B Hipótesis
II. A ∪ B ⊆ B ∪ B Idempotencia y axioma de sustitución
III. A ∪ B ⊆ B Idempotencia a II.
IV. B ⊆ A ∪ B Axioma de sustitución
V. A ∪ B = B Definición igualdad entre clases
En segundo lugar:
I. A ∪ B = B Hipótesis
II. A ⊆ A ∪ B Definición de unión e idempotencia
III. A ⊆ B Idempotencia y axioma de sustitución
30. Demuestre la proposición
Si A = B y C = D, entonces A ∩ C = B ∩ D.
A esta también se le puede citar como la intersección preserva la igualdad entre
clases.

1 A∩C=B∩D Hipótesis
2 A∩C⊆A Idempotencia a 1
3 B∩D⊆B Idempotencia a 1
4 A=B Axioma de sustitución
5 A∩C⊆C Idempotencia a 1
6 B∩D⊆D Idempotencia a 1
7 C=D Axioma de sustitución

31. Demuestre que la proposición

Si X ⊆ Z y Y ⊆ Z, entonces X ∪ Y ⊆ Z
es verdadera.

1 X∪Y⊆Z Hipótesis
2 X∪Y∈X Idempotencia a 1
3 X∪Y∈Y Idempotencia a 1
4 X⊆Z Axioma de sustitución de 2 en 1
5 Y⊆Z Axioma de sustitución de 3 en 1

32. Se dice que la unión es distributiva respecto de la intersección y que la

intersección lo es de la unión porque las proposiciones
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) y A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
son verdaderas.
Demuestre estas proposiciones.

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
1 A ∪ (B ∩ C) Hipótesis
2 x∈A Definición de unión
3 x∈B∧x∈C Definición de unión
4 x∈B Eliminación de la conjunción
5 x∈C Eliminación de la conjunción
6 x∈A∪B Definición de unión
7 x∈A∪C Definición de unión
 8 (A ∪ B) ∩ (A ∪ C) Definición de intersección

A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
1 A ∩ (B ∪ C) Hipótesis
2 x∈A Definición de intersección
3 x∈B∨x∈C Definición de intersección
4 x∈B Eliminación de la disyunción
5 x∈C Eliminación de la disyunción
6 x∈A∩B Definición de intersección
7 x∈A∩C Definición de intersección
8 (A ∩ B) ∪ (A ∩ C) Definición de unión

33. Demuestre que son verdaderas las proposiciones

(A ∪ B)′ = A′ ∩ B′ y (A ∩ B)′ = A′ ∪ B′.
Estas proposiciones se denominan Leyes de De Morgan.

1 (A ∪ B)′ Hipótesis
2 x ∈ (A ∪ B)′ Definición de complemento
3 x ∈ A′ ∨ x ∈ B′ Definición de unión
4 x ∈ A′ Eliminación de la disyunción 3
5 x ∈ B′ Eliminación de la disyunción 3
6 x ∈ A′ ∧ x ∈ B′ Introducción de la conjunción 4 y 3
7 A′ ∩ B′ Definición de unión

34. Mediante diagramas de Venn, ilustre el siguiente teorema:

Si B ⊆ A, entonces A − B ⊆ A.

35. Mediante diagramas de Venn, ilustre el siguiente teorema:

A ⊆ B si y solo si A ∩ B = A.
36. Mediante diagramas de Venn, ilustre el siguiente teorema:
Si Z ⊆ X y Z ⊆ Y, entonces Z ⊆ X ∩ Y.

37. Si x = {y}, ¿se puede concluir que Y ∈ x?

1 x = {y} Hipótesis
2 {y} = x Propiedad simétrica de la igualdad
3 x ∈ {y} ⇔ x ∈ x Definición igualdad entre clases
4 x ∈ x ⇔ x ∈ {y} Conmutativa de la doble implicación
5 x ∈ {y} ⇔ x = y Definición conjunto unitario
6 x∈x⇔x∈y Definición igualdad entre clases

R= No se puede concluir que Y ∈ x

38. Determine a ∩ {a}.

1 a ∩ {x: x ∈ a ∧ x ∈ {a}} Definición de clases de conjuntos

2 {{a} ∩ {a,b}} = {a}. Definición clase unitaria

39. Determine {{a}} ∩ (a, b).

 1 {{a}} ∩ (a,b) = {{a}} ∩ {{a}, {a,b}} Teorema de par ordenado
2 {{a}} ∩ (a,b) = {{a}} ∩ {{a,b}} Definición de clase unitaria

40. Determine (a, a).

Primero suponemos que a = a, entonces {a} = {a}. Luego, por definición de par
ordenado
(a, a) = {{a}, {a, a}}

41. Determine ∅ × A.

1 x∉∅ Propiedad clase vacía

2 ∅×A≠∅ Hipótesis reducción al absurdo
3 o = (x, y) ∧ (x ∈ ∅ ∧ y ∈ A) Definición de producto cartesiano
4 x∈∅ Definición de producto cartesiano

Es una contradicción ya que, por la propiedad de clase vacía la clase vacía no tiene
elementos, entonces podemos concluir que
A∉∅=∅

42. Si A × B = ∅, ¿se puede concluir que o A = ∅ o B = ∅?

Si se puede concluir A = ∅ o B = ∅

1 B=∅ Hipótesis
2 ∅×A=∅ Propiedad Producto cartesiano
3 B×A=∅ Principio de sustitución 2 y 1

43. Determine (A × B) ∩ (C × B′).

1 A × B = {(a, b): a ∈ A ∧ b ∈ B} Definición de producto

cartesiano
2 C × B′ = {(a, b): a ∈ C ∧ b ∈ B′} Definición de producto
cartesiano
3 x ∈ {a ∈ A ∧ b ∈ B} ∧ x ∈ {a ∈ C ∧ b ∈ B′} Introducción de conjunción
4 x ∈ (A × B) ∩ (C × B′) Definición de intersección