Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ejercicios Resueltos de Conjuntos PDF
Ejercicios Resueltos de Conjuntos PDF
U U
A B A B
C C
A (AB)
U U
A B A B
C C
(C-B) (AB)U(C-B)
U U
A B A B
C C
B [(AB)U(C-B)] B
2) Expresarlo simblicamente
a) U b) U
A B P D
C F
(AUBUC)U[(BC)-A] (D-F)U[F-(PUD)]
a) (NZ)-E = ?
d i e z
NZ = [i, e]
(NZ)-E = [i, e]
d i e z
b) [(EZ)Z]UN = ?
EZ =
d i e z
(EZ)Z = Z = [d, e]
[(EZ)Z]UN = [d, e]
d i e z
c) [(Z-N) Z](NUE) = ?
Z-N = [i, e]
d i e z
(Z-N) Z = [i, e]
d i e z
d i e z
d i e z
Hallar:
Z+
( [ )
-10 -5 Z 15
Re
( ] ]
20 F 30 100
Z+
( ]
-10 Re 100
Z+
( [ )
-10 -5 Z 15
E-D = {x/ (7< x 20, x Q) (20 < x 30, x Z) (30 < x 50, x Q)}
Q
( ( ] ]
7 20 F 30 50
Z
Q
[ ( ) ]
-5 7 15 50
B H
5 15 25
40
8 80
9 17
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:
Solucin:
U
C A
10 2
5
2
8 6
19
8 Q
a) n[(CA)Q] = 31
b) n(CUAUQ) = 8
c) n[(CQ) A] = 8
n(CQ) = 10
A
U
C A
C A
10 5 2
2
8 6
19 8
(A U Q ) C = 23
7) Simplificar:
[(AB)U(B-A)]U{[(AB)UB] (DD)}
8) Demostrar:
AU(AB) = AUB
9) Demostrar:
A-(AB) = A-B
10) Demostrar:
(A-B)-(A-C) = A (C-B)
11) Demostrar:
AB = (A-B)U(B-A)
12) Demostrar:
B (AUB)
13) Demostrar:
A B B A
14) Demostrar:
(E-F)-G E-(F-G)
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]} Definicin de subconjunto
(x) {(x A x B) [x (AUB) x B]} 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)]} Definicin de subconjunto
(x) {(x A x B) [x B x (AUB)]} 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
a)
(x) {[(x A x B) (x B x A)] x [(AB) ]}
Definicin de conjuntos disjuntos
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