Unidad II: Teora de Conjuntos

Juan Miguel Olalla P.

ESCUELA SUPERIOR POLITCNICA DE CHIMBORAZO

EXTENSIN MORONA SANTIAGO
ESCUELA DE INGENIERA EN SISTEMAS
EJERCICIOS RESUELTOS DE CONJUNTOS
1) Representar grficamente:

[(AB)U(C-B)] B

U
A

(AB)

U
A

(C-B)

(AB)U(C-B)

U
A

C
B

ESPOCH Escuela de Ingeniera en Sistemas

C
[(AB)U(C-B)] B

Unidad II: Teora de Conjuntos

Juan Miguel Olalla P.

2) Expresarlo simblicamente
a)

b) U
A

(AUBUC)U[(BC)-A]

3) Sean los conjuntos: N = [d, i)

Con d < i < e < z. Hallar:

(D-F)U[F-(PUD)]

Siendo e, d, z, i Re.

E = (e, z) Z = [d, e],

a) (NZ)-E = ?
d
i
e
NZ = [i, e]

(NZ)-E = [i, e]
d

b) [(EZ)Z]UN = ?

EZ =
d

(EZ)Z = Z = [d, e]
[(EZ)Z]UN = [d, e]
d

c) [(Z-N) Z](NUE) = ?

Z-N = [i, e]
d

ESPOCH Escuela de Ingeniera en Sistemas

Unidad II: Teora de Conjuntos

Juan Miguel Olalla P.

(Z-N) Z = [i, e]

NUE = [d, i) U (e, z)

e

[(Z-N) Z](NUE) = [d, z)

4) Sean los conjuntos:

A = {x/ x >-10, x Z+}

D = {x/ 20 < x 30, x F}

B = {x/ -5 x < 15, x Z}

E = {x/ 7< x 50, x Q}

C = {x/ x 100, x Re}

Donde F es el conjunto formado por las expresiones de la forma m/n no reducibles
con m y n Z+
Hallar:
a) AB = {x/ 0 < x < 15, x Z+}
(AB)-D = {x/ 0 < x < 15, x Z+}
Z+
(
-10

[
-5

)
Z

15

b) (DUC)B = x (-, 100] x {-5, -4, -3, -2 12, 13, 14}

{x/(x 100, x Re) (-5 x 14, xZ)}
DUC = {x/ x 100, x Re}
Re
(
20

]
F 30

]
100

ESPOCH Escuela de Ingeniera en Sistemas

Unidad II: Teora de Conjuntos

Juan Miguel Olalla P.

c) (A-C)U(CD) = {x/ (x > 100, x Z+) (20 < x 30, x F)}

A-C = {x/ x > 100, x Z+}
CD = {x/ 20 < x 30, x F}
Z+

-10

Re

100

d) (BA) (E-D) = {x/ 15 x 50, x Z}

BA = {x/ -5 x < 0 x 15, x Z}
Z+

-10

-5

15

E-D = {x/ (7< x 20, x Q) (20 < x 30, x Z) (30 < x 50, x Q)}

(
7

(
20

]
30

50

e) (EB)(CUE) = {x/ (x < 7, x R) (7 < x < 15, x F) (7 < x < 15, x Q)

(15 x 100, x R)}
CUE = {x/ x 100, x Re}

EB = {x/ 7 < x < 15, x Z}

Z

[
-5

(
7

)
15

]
50

5) En una encuesta a 200 estudiantes, se hall que:

1) 68 se comportan bien.
2) 138 son inteligentes.
3) 160 son habladores.
4) 120 son habladores e inteligentes.
5) 20 estudiantes se comportan bien y no son inteligentes.
6) 13 se comportan bien y no son habladores.
7) 15 se comportan bien y son habladores, pero no son inteligentes.
Cuntos de los 200 estudiantes entrevistados no se comportan bien, no son
habladores y no son inteligentes?

ESPOCH Escuela de Ingeniera en Sistemas

Unidad II: Teora de Conjuntos

Juan Miguel Olalla P.

Solucin: El problema da como datos

n(B) = 68
n(I) = 138
n(H) = 160
n(HI) = 120
n(BI) = 20
n(BH) = 13
n(BHI) = 15
Se pide hallar: n(BH I) = ?

H
5

15

25

40
8

80
9

17
I

Primero se ubica en el diagrama de Venn n(BHI) = 15 luego n(BI) = 20, despus

n(BH) = 13, como se sabe n(B) = 68 se puede saber (restando) n(BHI) = 40. Se
puede ubicar despus n(HI) = 120, y por ltimo se saca el nmero de personas que son
nicamente inteligentes y nicamente habladores teniendo n(I) = 138 y n(H) = 160
(restando).
Ahora bien si hay 200 estudiantes (se resta a esta cantidad (todo) las dems del
diagrama de Venn).
n(BHI) = 17
Otra forma:
n(BHI) = n(BUHUI)
n(BUHUI) = n(B) + n(H) + n(I) n(BH) n(BI) n(HI) + n(BHI)
n(BUHUI) = 68 + 160 + 138 55 48 120 + 40 = 183
n(BUHUI) = 200 183 = 17
6) Al final del semestre se hizo una encuesta sobre las materias que ms perdi la
gente: Contabilidad, Administracin y Qumica.
Siendo la clase de 60 alumnos, se tiene:
n(CAQ) = 2
n(CA) = 7

n(AQ) = 8
n(C) = 25

n(CQ) = 10
n(A) = 15

n(Q) = 35

Expresar simblicamente y hallar el nmero de personas de:

a) Cuntos fracasaron exactamente en una prueba?
b) Cuntos aprobaron las 3 pruebas?
c) Cuntos fracasaron en la 1era y en la 3era, pero no en la segunda?
d) Cuntos fracasaron al menos en dos pruebas?
e) Cuntos aprobaron al menos una materia?
ESPOCH Escuela de Ingeniera en Sistemas

Unidad II: Teora de Conjuntos

Juan Miguel Olalla P.

f) Cuntos aprobaron la 2da la 3era pero no la 1era?

Solucin:
U
C

A
10

2
5
2
8

6
19

a) n[(CA)Q] = 31
b) n(CUAUQ) = 8
n(CUAUQ) = n(C) + n(A) + n(Q) n(CA) n(CQ) n(AQ) + n(CAQ)
n(CUAUQ) = 25 + 15 + 35 7 10 8 + 2
n(CUAUQ) = 52
n(CUAUQ) = 60 52 = 8
c) n[(CQ) A] = 8
n(CQ) = 10
A
U
C

La respuesta es la parte que tiene el doble rayado.

d) n{[(CA) (CAQ)]U[(CQ) (CAQ)]U(AQ)} = 21
e) n[U (CAQ)] = 58
f) n[(AUQ) C] = 23

ESPOCH Escuela de Ingeniera en Sistemas

Unidad II: Teora de Conjuntos

Juan Miguel Olalla P.

U
C

A
10

5
2
8

2
6

19

8
Q

(A U Q ) C = 23

7) Simplificar:
[(AB)U(B-A)]U{[(AB)UB] (DD)}
[(A-B)U(B-A)]U{[(AB)UB] }
(AB)U
AB

Propiedad de diferencia, y de contradiccin

Propiedad de diferencia simtrica, y de
identidad
Propiedad de identidad

8) Demostrar:
AU(AB) = AUB
(x)x [AU(AB)] (x) [x A x (AB)]
Definicin unin
(x) [x A (x A x B)] Definicin intercepcin
(x) [x A (x A x B)] Definicin complemento
(x) [(x A x A) (x A x B)] Postulado de
distributividad (P.D)
(x) [V (x A x B)]
Postulado del tercero
excluido
(x) (x A x B)
Postulado de la identidad
(P.I)
(x) x(AUB)
Definicin de unin
9) Demostrar:
A-(AB) = A-B
(x) x [A-(AB)] (x) [x A x (AB)]
Definicin de diferencia
(x) [x A (xA x B)] Definicin interseccin
(x) [x A (x A x B)] Teorema de De Morgan
(T.DD.M)
(x) [(x A x A) (x A x B)] Postulado de
distributividad (P.D)
(x) [F (x A x B)]
Postulado de la contradiccin
(x) (x A x B)
Postulado de la identidad (P.I)
(x) x (A -B)
Definicin de diferencia.
ESPOCH Escuela de Ingeniera en Sistemas

Unidad II: Teora de Conjuntos

Juan Miguel Olalla P.

10) Demostrar:
(A-B)-(A-C) = A (C-B)
(x) x [(A-B)-(A-C)] (x) [ x (A-B) x (A-C)] Definicin de
diferencia
(x) [(x A x B) (x A x C)] Definicin de
diferencia
(x) [(x A x B) (x A x C)] Teorema de De
Morgan (T.DD.M) y
teorema de la doble
negacin.
(x) {[(x A x B) x A ][(x A x B) x C]}
Postulado de la distributividad (P.D)
(x) {[(x A x A) x B ][(x A x B) x C]}
Postulado de la conmutatividad (P.C),
Teorema de la asociatividad (T.AS)
(x) {(F x B ] [(x A x B) x C]}
Postulado de la contradiccin
(x) {F [x A (x C x B)]}
Postulado de la identidad (P.I),
Postulado de la conmutatividad (P.C),
Teorema de la asociatividad (T.AS)
(x) [x A (x C x B)]
Postulado de la identidad (P.I)
(x) [x A x (C-B)]
Definicin de diferencia
(x) x[A (C-B)]
Definicin de interseccin
11) Demostrar:
AB = (A-B)U(B-A)
(x) x [(A-B)U(B-A)] (x) [x (A-B) x (B-A)] Definicin de unin
(x) [(x A x B) (x B x A)]
Definicin de diferencia
(x) {[(x A x B) x B] [(x A x B) x A)]
Postulado de distributividad (P.D)
(x) {[(x A x B) (xB x B)] [(x A x A)
(xB x A)]} Postulado de distributividad (P.D)
(x) {[(x A x B) V] [V (x B x A)]}
Postulado del tercero excluido
(x) [(x A x B) (x B x A)]
Postulado de la identidad (P.I)
(x) [(x A x B) (x A x B)]
Postulado de la conmutatividad (P.C)
(x) [(x A x B) (x A x B)]
Teorema de De Morgan (T.DDM)
(x) [x (AUB) x (AB)]
Definiciones: unin, interseccin
(x) [x (AB)]
Definicin de diferencia simtrica
ESPOCH Escuela de Ingeniera en Sistemas

Unidad II: Teora de Conjuntos

Juan Miguel Olalla P.

12) Demostrar:
B (AUB)
[B (AUB)] (x) [x B x (AUB)] Definicin de subconjunto
(x) [x B x (AUB)] Definicin de relacin de implicacin
(x) [x B (x A x B)] Definicin de unin
(x) [x B (x A x B)] Definicin de condicional (D.C)
(x) [(x B x B) x A)] Postulado de la conmutatividad (P.C)
Teorema de la asociatividad
(x) (V x A) Postulado del tercero excluido
(x) V
Teorema de la tautologa (T.T)
13) Demostrar:
A B B A
(A B B A) (x) [x (A B B A)]

Definicin de relacin de
implicacin
(x) [(x A x B) (x B x A)]
Definicin de subconjunto
(x) [(x A x B) (x B x A)]
Definicin de relacin de
implicacin
(x) [(x A x B) (x B x A)]
Definicin de complemento
(x) [(x A x B) (x B x A)]
Definicin de condicional
(x) [(x A x B) (x B x A)]
Definicin de condicional
(x) [(x A x B) (x A x B)]
Postulado de la conmutatividad (P.C)
(x) V
Postulado del tercero excluido

14) Demostrar:
(E-F)-G E-(F-G)
(x) x [(E-F)-G] x [E-(F-G)]
Definicin de subconjunto
(x) x [(E-F)-G] x [E-(F-G)]
Definicin de relacin de implicacin
(x) {[(x E x F) x G] [x E (x F x G)]}
Definicin de diferencia
(x) { [(x E x F) x G] [x E (x F x G)]}
Definicin de condicional
(x) {[ (x E x F) x G] [x E (x F x G)]}
Teorema de De Morgan (T.DDM), y
Teorema de la doble negacin
(x) {[(x E x F) x G] [x E (x F x G)]}
Teorema de De Morgan (T.DDM)
(x) {[(x E x F) x G] [(x E x F) (x E x G)]}
Postulado de la distributividad (P.D)
(x) {[(x E x F) (x E x F)] [x G (x E x G)]}
Postulado de la conmutatividad (P.C),
ESPOCH Escuela de Ingeniera en Sistemas

Unidad II: Teora de Conjuntos

Juan Miguel Olalla P.

Teorema de la asociatividad (T.AS)

(x) {[ (x E x F) (x E x F)] [x G (x E x G)]}
Teorema de De Morgan (T.DDM)
(x) {V [x G (x E x G)]}
Postulado del tercero excluido
(x) V
Teorema de la tautologa (T.T)

15) Demostrar:
A B AUB = B
a) A B (AUB) B
b) A B B (AUB)

Definicin de igualdad

a)
(x) {(x A x B) [x (AUB) x B]}
(x) {(x A x B) [x (AUB) x B]}

Definicin de subconjunto
Definicin de relacin de
implicacin
(x) {(x A x B) [(x A x B) x B]} Definicin de unin
(x) { (x A x B) [ (x A x B) x B]} Definicin de condicional
(x) { (x A x B) [(x A x B) x B]} Teorema de De Morgan (T.DDM)
(x) { (x A x B) [(x A x B) (xB x B]} Postulado de
distributividad (P.D)
(x) { (x A x B) [(x A x B) V]} Postulado del tercero excluido
(x) [ (x A x B) [(x A x B)]
Postulado de identidad
(x) V
Postulado del tercero excluido

b)
(x) {(x A x B) [x B x (AUB)]}
(x) {(x A x B) [x B x (AUB)]}

Definicin de subconjunto
Definicin de relacin de
implicacin
(x) {(x A x B) [x B (x A x B)]} Definicin de unin
(x) { (x A x B) [x B (x A x B)]} Definicin de condicional
(x) { (x A x B) [(x B x B) x A]} Postulado de la conmutatividad
(P.C), Teorema de la asociatividad
(T.AS)
(x) [ (x A x B) (V x A)}]
Postulado del tercero excluido
(x) [ (x A x B) V]
Teorema de la tautologa (T.T)
(x) V
Teorema de la tautologa (T.T)

Entonces

a) V b) V
V

Por teorema de idempotencia

18) Si A y B son conjuntos disjuntos entonces AB =

a)
(x) {[(x A x B) (x B x A)] x [(AB) ]}
Definicin de conjuntos disjuntos
ESPOCH Escuela de Ingeniera en Sistemas

10

Unidad II: Teora de Conjuntos

Juan Miguel Olalla P.

(x) {[(x A x B) (x B x A)] [x (AB) x ]}

Definicin de subconjunto
(x) {[(x A x B) (x B x A)] [x (AB) x ]}
Definicin de relacin de implicacin
(x) {[(x A x B) (x B x A)] [(x A x B) x ]}
Definicin de interseccin
(x) { [(x A x B) (x B x A)] [ (x A x B) x ]}
Definicin de condicional
(x) { [(x A x B) (x A x B)] [ (x A x B) x ]}
Postulado de la conmutatividad (P.C)
(x) { (x A x B) [ (x A x B) x ]}
Teorema de idempotencia (T. Idemp)
(x) {(x A x B) [ (x A x B) x ]}
Teorema de De Morgan (T.DDM)
(x) {[(x A x B) (x A x B)] x }
Teorema de la asociatividad (T.AS)
(x) [V x ]
Postulado del tercero excluido
(x) V
Teorema de la tautologa (T.T)

b)
(x) {[(x A x B) (x B x A)] x [ (AB)]}
Definicin de conjuntos disjuntos
(x) {[(x A x B) (x B x A)] [x x (AB)]}
Definicin de subconjunto
(x) {[(x A x B) (x B x A)] [x x (AB)]}
Definicin de relacin de implicacin
(x) {[(x A x B) (x B x A)] [x (x A x B)]}
Definicin de interseccin
(x) { [(x A x B) (x B x A)] [x (x A x B)]}
Definicin de condicional
(x) { [(x A x B) (x A x B)] [x (x A x B)]}
Postulado de la conmutatividad (P.C)
(x) { (x A x B) [x (x A x B)]}
Teorema de idempotencia (T. Idemp)
(x) {(x A x B) [x (x A x B)]}
Teorema de De Morgan (T.DDM)
(x) {[(x A x B) (x A x B)] x )}
Teorema de la asociatividad (T.AS)
(x) [(x A x B) x )]
Teorema de la idempotencia (T.Idemp)
(x) [(x A x B) (x A x A)] Definicin del vaco
(x) [(x A x B) x F]
Postulado de la contradiccin
(x) [(x A x B) V]
Definicin de tautologa
(x) V
Teorema de la tautologa (T.T)
Entonces a) V b) V
V
Por teorema de idempotencia
ESPOCH Escuela de Ingeniera en Sistemas

11