Escuela Politécnica Nacional

Departamento de Formación Básica

Curso de Fundamentos de Matemática
Ejercicios con solución y propuestos de Teorı́a de conjuntos
Cátedra de Fundamentos de Matemática

Semestre 2022 - A

1 Ejercicios con solución

1. Sea A una clase. Utilice el axioma de construcción de clases con la siguiente proposición:

x ⊆ A.

Sugerencia: Denote con P a la clase cuya existencia está garantizada por dicho axioma.

Solución. Por el axioma de construcción de clases, tenemos que:

Existe una única clase P tal que:
Para todo conjunto x, se tiene:
x ∈P ⇔x ⊆A
es verdadera. Luego,
P = {x : x ⊆ A}.

2. Si A = {1, 3, 5, 7, 9, 11} y B es el conjunto de todos los números naturales primos menores

que 12, ¿es verdadera la proposición B ⊆ A?

Respuesta. No, no lo es. En efecto, los números naturales primos menores que 12 son:

2, 3, 5, 7, 11.

Es decir,
B = {2, 3, 5, 7, 11}
Recordemos que B es subclase de A si todos los elementos de B, también pertenecen a A, pero no
todos los elementos de B pertenecen a A: por ejemplo, 2 es un elemento de B que no pertenece a A.
En consecuencia, B ̸⊆ A.
En resumen, el conjunto B no es subclase de A, y por lo tanto, la proposición B ⊆ A es una proposición
falsa.

3. Si S = {2k − 1 : k ∈ N ∧ k ⩽ 5} y T es el conjunto de todos los números naturales divisibles

por 3 menores que 15, encuentre todos los elementos de:

(a) S ∪ T
(b) S ∩ T
(c) S − T

1
 (d) T − S

Solución. En primer lugar,

S = {−1, 1, 3, 5, 7, 9} y T = {0, 3, 6, 9, 12}

puesto que
k 2k − 1
0 −1
1 1
2 3
3 5
4 7
5 9.
Ahora bien,

(a) el conjunto S ∪ T es el conjunto cuyos elementos pertenecen a S o a T ; ası́, tenemos que

S ∪ T = {−1, 0, 1, 3, 5, 6, 7, 9, 12}.

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

obtenemos que
S ∩ T = {3, 9}.

(c) El conjunto S − T es el conjunto cuyos elementos pertenecen a S pero no a T :

S − T = {−1, 1, 5, 7}.

(d) El conjunto T −S es el conjunto cuyos elementos pertenecen a T pero no a S; luego, concluimos

que
T − S = {0, 6, 12}.

4. Demostrar el siguiente teorema:

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

Demostración. Para empezar, vamos a probar que

B ⊆ C;
a partir de
A=B y A ⊆ C.
Ası́, se tiene que

1. A=B Hipótesis
2. A⊆C Hipótesis
3. B⊆C De 1. y 2., por el axioma de sustitución

Ası́, hemos demostrado que B ⊆ C.

5. Sean X y Y clases. Probar que

Si X ∪ Y = Y , entonces X ⊆ Y .

EPN -FM- 2022A Teorı́a de conjuntos-Ejercicios con solución y propuestos 2

 Demostración. Vamos a probar que
X ⊆ Y.
A partir de
X ∪ Y = Y.
Si x es un conjunto cualquiera. Se tiene:

x ∈X Hipótesis
x ∈X∨x ∈Y Introducción de la disyunción
x ∈X∪Y Axioma de construcción de clases para la unión
x ∈Y Axioma de sustitución.

Puesto que x es un conjunto cualquiera, hemos demostrado que X ⊆ Y .

6. Sean A y B clases. Utilice el método de reducción al absurdo para demostrar que:

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

Demostración. Vamos a demostrar que

x ̸∈ A
si
A∩B =∅ y x ∈ B.
Se tiene:

x ∈A Reducción al absurdo
x ∈B Hipótesis
x ∈A∧x ∈B Introducción de la conjunción
x ∈A∩B Axioma de construcción de clases para la intersección
A ∩ B ̸= ∅ Teorema clase no vacı́a

Hemos encontrado una contradicción que nace de suponer que x ∈ A. Luego, lo correcto es x ̸∈ A,
lo cual demuestra el resultado.

7. Dada la clase A, demuestre que

A ∪ ∅ = A.

Demostración. Por el axioma de la disyunción, las proposiciones

x ∈A∨x ∈∅ y x ∈A

tienen el mismo valor de verdad, ya que la proposición x ∈ ∅ es falsa (véase los teoremas de la clase
vacı́a). Por tanto, la doble implicación

(x ∈ A ∨ x ∈ ∅) ⇔ x ∈ A

es verdadera para todo conjunto x. Ası́, por las definiciones de unión e igualdad entre clases, concluimos
que
A ∪ ∅ = A.

8. Se dice que la unión y la intersección son asociativas porque las proposiciones

A ∪ (B ∪ C) = (A ∪ B) ∪ C y A ∩ (B ∩ C) = (A ∩ B) ∩ C
son verdaderas.
Demuestre estas proposiciones.

EPN -FM- 2022A Teorı́a de conjuntos-Ejercicios con solución y propuestos 3

 Demostración. Aparte de las definiciones de igualdad, unión e intersección, la deducción de estas dos
proposiciones se deriva de las tautologı́as asociativas de la disyunción y conjunción, respectivamente:

x ∈ A ∨ (x ∈ B ∨ x ∈ C) ⇔ (x ∈ A ∨ x ∈ B) ∨ x ∈ C

y
x ∈ A ∧ (x ∈ B ∧ x ∈ C) ⇔ (x ∈ A ∧ x ∈ B) ∧ x ∈ C.

9. La siguiente es una demostración de la proposición la intersección preserva la igualdad:

Si A = B, entonces A ∩ C = B ∩ C.

i. A = B.
ii. A ⊆ B.
iii. A ∩ C ⊆ B ∩ C.
iv. B ⊆ A.
v. B ∩ C ⊆ A ∩ C.
vi. A ∩ C = B ∩ C.

Justificaciones.

i. Se supone que A = B es verdadera y se debe probar que A ∪ C = B ∪ C.

ii. Se aplica la recı́proca de la propiedad antisimétrica de la relación subclase.
iii. Se aplica la propiedad la intersección conserva la relación subclase a ii.
iv. Se aplica la recı́proca de la propiedad antisimétrica de la relación subclase .
v. Otra vez la propiedad la intersección conserva la relación subclase a iv.
vi. Se aplica la propiedad antisimétrica de la relación subclase a aplicado a iii. y v.

10. Demuestre la proposición

Si Z ⊆ X y Z ⊆ Y , entonces Z ⊆ X ∩ Y

es verdadera.

Demostración. De Z ⊆ X y Z ⊆ Y , puesto que la intersección preserva la relación subclase, tenemos

que
Z ∩ Z ⊆ X ∩ Y,
de donde, como Z ∩ Z = Z y el axioma de sustitución, concluimos que

Z ⊆ X ∩ Y,

como se querı́a.

EPN -FM- 2022A Teorı́a de conjuntos-Ejercicios con solución y propuestos 4

2 Ejercicios propuestos
1. La expresión
(Q ∨ P ) ⇔ X ∈ Q
¿representa una proposición de la teorı́a de conjuntos?

2. La expresión
(A ∈ C ⇒ C ∈ B) ⇔ (A ∈ C)
¿representa una proposición de la teorı́a de conjuntos?

3. ¿Es verdadera la siguiente proposición

¬(A ∈ X ∧ B ∈ Y ) ⇔ (A ̸∈ X ∨ B ̸∈ Y )?

4. ¿Es verdadera la proposición

(X ̸∈ C ⇒ X ̸∈ D) ∧ X ̸∈ C ⇒ X ∈ D?

5. ¿Es válida la equivalencia

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

6. ¿ Es válida la siguiente equivalencia lógica

¬(z ∈ A ⇔ z ∈ B) ≡ (z ∈ A ∧ z ̸∈ B) ∨ (z ∈ B ∧ z ̸∈ A)?

7. Sean A, B, R, T , X y Y clases y A y C proposiciones.

Escriba la negación de los siguientes enunciados:

(a) Para toda clase Y , se tiene Y ∈ A ∨ Y ∈ B.

(b) Para toda clase A, se tiene A ∈ X ⇒ A ∈
/ Y.
(c) Para toda clase R, existe una clase T tal que A ∨ C .

8. 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

9. 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

10. Sean A y B clases. Utilice el axioma de construcción de clases con la siguiente proposición
x ∈ A − B ∨ x ∈ B − A.
Sugerencia: Denote con A ⊕ B a la clase cuya existencia está garantizada por dicho axioma.

EPN -FM- 2022A Teorı́a de conjuntos-Ejercicios con solución y propuestos 5

 11. Sean a y b conjuntos. Determinar:

(a) a ∩ {a}.
(b) {{a}} ∩ (a, b).
(c) (a, a).

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

13. 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.

14. Dadas las clases A y B, demuestre que

A ∩ B = B ∩ A.

15. Demuestre que:

Si A ⊆ B, entonces A ∩ C ⊆ B ∩ C.

Por este teorema, decimos que la intersección preserva la relación subclase.

16. Demuestre que son verdaderas las proposiciones

(A ∪ B)′ = A′ ∩ B ′ y (A ∩ B)′ = A′ ∪ B ′ .

Estas proposiciones se denominan Leyes de De Morgan.

17. ¿Es correcto afirmar que la proposición

(S ∈ T ⇒ S ∈ R) ⇔ (S ∈
/ T ∨ S ∈ R)

es verdadera?

18. 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.

EPN -FM- 2022A Teorı́a de conjuntos-Ejercicios con solución y propuestos 6

 iii. x ∈ A.
iv. x ∈ B.
v. x ∈ A ∩ B.
vi. A ∩ B ̸= ∅.
vii. A ̸= B.

Justifique cada paso de esta demostración.

Esta obra está bajo una licencia Creative Commons “Atribución-

NoComercial-CompartirIgual 3.0 No portada”.

EPN -FM- 2022A Teorı́a de conjuntos-Ejercicios con solución y propuestos 7