Libro: De la Lgica a las funciones

Autores: Claudia Cardazo, Roco Elejalde y uiller!o L"ez

Captulo 2
CONCEPTOS BSICOS SOBRE TEORA DE
CONJUNTOS
2.1 DEFINICIONES:
2.1.1 Conjunto: #$r!ino b%sico no definido&
Con!pto "ntu"t"#o: Lista, coleccin o clase de objetos, bien definidos&
Nota"$n: "or letras !ay'sculas& (us ele!entos "or letras !in'sculas&
(e "uede definir :

Po% !&t!n'"$n )o for!a tabular*: se enu!era cada uno de los ele!entos del conjunto&
Ej!(plo: A + ,-.,/,0,12
Po% o(p%!n'"$n )o for!a constructi3a*: cuando se enuncia una "ro"iedad 4ue
deben tener sus ele!entos&
Ej!(plo: 5 + ,676 es n'!ero racional2
C + ,676 + .
n-/
8 /, n92
2.1.2 R!la"$n )! p!%t!n!n"a: :ara indicar 4ue un ele!ento "ertenece o no a un
conjunto se utiliza los signos y res"ecti3a!ente&
2.1.* Conjunto' nu(!%a+l!' , no nu(!%a+l!': ;n conjunto es nu!erable si consta
de un cierto n'!ero de ele!entos distintos donde el "roceso de contar "uede acabar, si
no acaban el conjunto es no nu!erable&
2.1.- Conjunto #ao: Carece de ele!entos& (e denota "or el s!bolo , 2 y se
re"resenta "or
A

{ } A x A x x =
2.1.. Conjunto un"ta%"o: Es el 4ue tiene un solo ele!ento&
2.1./ Conjunto un"#!%'al: Es un conjunto 4ue contiene todos los conjuntos 4ue
se est%n tratando, )ta!bi$n se le conoce co!o Referencial*&
(!bolo: ; y se re"resenta "or ; + ,676 A 6 A< siendo A cual4uier conjunto2
2.1.0 I1ual)a) )! onjunto': Dos conjuntos son iguales si y solo si tienen los
!is!os ele!entos& Es decir, A es igual a 5 si cada ele!ento 4ue "ertenece a A
"ertenece ta!bi$n a 5 y si cada ele!ento 4ue "ertenece a 5 "ertenece ta!bi$n a A&
(e denota la igualdad de los conjuntos A y 5 "or A + 5&
2.1.2 Su+onjunto: sean A y 5 dos conjuntos& (e dice 4ue A es un subconjunto de
5, )A 5*, si y solo si todo ele!ento de A es ta!bi$n ele!ento de 5&
=>
Conce"tos b%sicos sobre teora de conjuntos
: s!bolo de subconjunto o contenencia, inclusin&
(i!blica!ente:
( ) ( ) B x A x x B A

B A se lee A es un subconjunto de 5 o
A B 5 es un su"erconjunto de A
B A se lee A no es un subconjunto de 5 o
5 no es un su"erconjunto de A

P%op"!)a)!' )! la "nlu'"$n:
i* El conjunto 3aco, , se considera subconjunto de
todo conjunto&
ii*(i A no es subconjunto de 5, es decir, B A <
entonces ?ay "or lo !enos un ele!ento de A 4ue no
es ele!ento de 5&
iii*#odo conjunto es subconjunto de si !is!o, es
decir, si A es cual4uier conjunto entonces A A

De!ostrar las "ro"iedades anteriores&

#eore!a: si B A y C B i!"lica 4ue C A

)De!ostrarlo*&

9otas: /* Con la definicin de subconjunto se "uede dar
de otra for!a la definicin de la igualdad de
conjuntos< as:
Dos conjuntos A y 5 son iguales, A + 5, si y
slo si B A y A B &
(i!blica!ente: A B B A B A =
.* La igualdad de conjuntos es una relacin de
e4ui3alencia& )@:or 4u$A*

2.1.3 Su+onjunto p%op"o: Ba 4ue todo conjunto A es subconjunto de si !is!o,
se dice 4ue 5 es un subconjunto "ro"io de A, si:
i* 5 es un subconjunto de A, y
ii* 5 no es igual a A
Es decir, 5 es subconjunto "ro"io de A si:
A B y A B
En algunos te6tos 5 es subconjunto de A se denota "or
A B
, y 5 es subconjunto
"ro"io de A, se denota "or A B
2.1.14 Co(pa%a+"l")a): Dos conjuntos A y 5 son co!"arables si B A o A B , es
decir, si uno de los conjuntos es subconjunto del otro&

Simblicamente:
A y 5 son co!"arables A B B A
Dos conjuntos A y 5 se dicen no co!"arables si A B B A
2.1.11 Fa("l"a )! onjunto': Es el conjunto for!ado "or ele!entos 4ue son conjuntos&
:ara designar fa!ilias o clases de conjuntos se e!"lean letras inglesas:
A, B, C, D, E, &&&&
Ba 4ue las !ay'sculas denotan sus ele!entos&
==
Libro: De la Lgica a las funciones
Autores: Claudia Cardazo, Roco Elejalde y uiller!o L"ez
2.1.12 Conjunto pot!n"a: (e define el conjunto "otencia o conjunto de "artes de un
conjunto dado A co!o el conjunto de todos los subconjuntos de A& (e re"resenta co!o
P )A*&
Con:
n)A*: n'!ero de ele!entos de A&
nCP )A*D: n'!eros de ele!entos de P )A*&
2.1.1* Conjunto' )"'junto': Dos conjuntos A y 5 son disjuntos si y slo si
no tienen ele!entos co!unes&
2.1.1- D"a1%a(a':
5!nn6Eul!%: (e re"resenta un conjunto !ediante un %rea "lana, general!ente
crculos&
Ej!(plo:
A
5 5 A
7"n!al!':
(e establece la re"resentacin !ediante lneas donde se identifican rdenes jer%r4uicos&
Ej!(plo:
/* A 5 (e re"resenta:
=E
Conce"tos b%sicos sobre teora de conjuntos
.* (i A 5 y 5 C, entonces se re"resenta:
0* (ean los conjuntos:
A + ,/2< 5 + ,/, .2< C + ,/, ., 02< D + ,/, ., 12
(u re"resentacin lineal sera:
2.2 OPERACIONES FUNDA8ENTA7ES CON CONJUNTOS
2.2.1 Un"$n:
(ean A y 5 dos conjuntos construidos a "artir de ;& (i sobre ; se a"lica la funcin
"ro"osicional 6 A 3 6 5, entonces se obtiene un nue3o conjunto lla!ado la unin
de A y 5, es decir:
A U 5 + ,676 A 3 6 52
=F
R!p%!'!nta"$n:
A* (i!blica: 6 )A U 5* 6 A 3 6 5
5* r%fica:
A 5
A U 5

P%op"!)a)!':
/& Gde!"otencia: A U A + A
.& Gdentidad: A U + A < A U ; + ;
0& Con!utati3a: A U 5 + 5 U A
1& Asociati3a: A U )5 U C* + )A U 5* U C
>& Adicin: A )A U 5* < 5 )A U 5*
2.2.2 Int!%'!"$n:
(ean A y 5 dos conjuntos construidos a "artir de ;& (i sobre ; se a"lica la funcin
"ro"osicional 6 A 6 5, se obtiene un nue3o conjunto lla!ado la interseccin de
A con 5, es decir:
A 5 + ,676 A 6 52
R!p%!'!nta"$n:
A* (i!blica: 6 )A 5* 6 A 6 5
5* r%fica:
A 5
A 5

P%op"!)a)!':
/& Gde!"otencia: A A + A
.& Gdentidad: A + < A ; + A
0& Con!utati3a: A 5 + 5 A
1& Asociati3a: A )5 C* + )A 5* C
>& Distributi3a: a* A )5 U C* + )A 5* U )A C*
b* A U )5 C* + )A U 5* )A U C*
=& )A 5* A < )A 5* 5
E& (i A y 5 son disjuntos entonces A 5 +
=F
H"eraciones funda!entales con conjuntos
2.2.* Co(pl!(!nto:
El co!"le!ento de un conjunto A es el conjunto de ele!entos 4ue no "ertenecen a A&
El co!"le!ento de A se denota "or AI, o "or A
c
, o "or J
AI + ,676 A2
R!p%!'!nta"$n:
A* (i!blica: 6 AI 6 A )6 A*
5* r%fica:

A AI

P%op"!)a)!':
/& )AI*I + A )Co!"le!ento del co!"le!ento*
.& A U AI + ; )#ercer e6cluido*
0& A AI + )Contradiccin*
1& )A U 5*I + AI 5I )Leyes de De Korgan*
)A 5*I + AI U 5I
>& ;I + < I + ;
2.2.- D"9!%!n"a:
(ean A y 5 dos conjuntos construidos a "artir de ;& (i sobre ; se a"lica una funcin
"ro"osicional 6 A 6 5, se obtiene un nue3o conjunto lla!ado diferencia entre
A y 5&
9otacin: La diferencia entre A y 5 se designa "or A L 5&
A L 5 + ,676 A 6 52
R!p%!'!nta"$n:
A* (i!blica: 6 )A L 5* 6 A 6 5
5* r%fica:
A 5
A - 5

=M
P%op"!)a)!':
/& A L 5 + A 5I
.& A L A +
0& A - + A
1& - A + , ; L A + AI
>& A L 5 + 5 - A A + 5
=& )A - 5* - C A - )5 - C*
E& )A - 5* A
NOTA: A-5 5-A )9o cu!"le con la "ro"iedad con!utati3a e6ce"to cuando A+5*&
2.2.. D"9!%!n"a '"(:t%"a:
(ean A y 5 dos conjuntos construidos a "artir de ;& (i sobre ; se a"lica una funcin
"ro"osicional 6 )A5* 6 )A5*, se obtiene un nue3o conjunto lla!ado la
diferencia si!$trica entre A y 5&
Nota"$n: (e designa la diferencia si!$trica entre los conjuntos A y 5 "or A 5&
A 5+,676 )A5* 6 )A5*2
R!p%!'!nta"$n:
A& (i!blica:
6)A 5* 6)A5* 6

)A5*
5& r%fica:
A 5
A 5

P%op"!)a)!':
/& A5 = 5A
.& )A5*C + A )5C*
0& A + A
1& AA +
>& )A5*C + )AC* )5C*
=& A5 + )A-5*U )5-A*
E& A5 + )A U 5*-)A5*
2.2./ Op!%a"on!' on onjunto' o(pa%a+l!':
Las o"eraciones de unin, interseccin, diferencia y co!"le!ento tienen "ro"iedades
sencillas cuando los conjuntos de 4ue se trata son co!"arables&
EN
H"eraciones funda!entales con conjuntos
T!o%!(a':
/& A 5 i!"lica A 5 + A
.& A 5 i!"lica A U 5 + 5
0& A 5 i!"lica 5I AI
A 5 i!"lica A U )5 - A* + 5
Nota: /& :robar los anteriores teore!as )!ediante gr%ficas*&
.& De!ostrar dic?os teore!as )justificando cada "aso*&
2.2.2 P%"n"p"o )! )ual")a) !n B; U, :
#oda "ro"osicin o identidad algebraica deducible de los "ostulados de un %lgebra
booleana de conjuntos 5, U, sigue 3%lida s todas las o"eraciones (U) e () y los
ele!entos identidad y ; son interca!biados&
(i una "ro"osicin o una e6"resin se obtiene de otra "or una 'ola a"licacin del
"rinci"io de dualidad, la segunda se lla!a la D;AL de la "ri!era y 3ice3ersa&
Ej!(plo':
/& )a* A U A < A )b* A A < A)Dual de )a**&
.& )a* A U ; < ; )b* A < )Dual de )a**&
0& )a* A U )A 5* < A )b* A )A U 5* < A )Dual de )a**&
Nota: Oallar e6"resiones 4ue cu!"lan con el "rinci"io de dualidad&
2.* N=8ERO DE E7E8ENTOS DE UN CONJUNTO
(i A es un conjunto, se denota con n)A* el n'!ero de ele!entos de A&
(ea P + ,676 es 3ocal2 < n)P* + >&
(ea : + ,676 es Q "ri!o "ar2 < n):* + /&
(ea 9 + ,676 es di3isor de >2< n)9* + .&
E/
Ejercicios resueltos
Entonces "ode!os analizar dos casos:
A* (i se dan conjuntos A y 5 disjuntos, es decir, A 5 + , entonces el n'!ero de
ele!entos en la unin de A y 5 es igual a la su!a del n'!ero de ele!entos de A y el
n'!ero de ele!entos de 5&
Luego: (i A 5 + entonces n)A U 5* + n)A* 8 n)5*&
Ej!(plo:
(ea A + ,a, b, c, d2 y 5 + ,!, n, o, ", 42 entonces:
n)A* + 1 < n)5* + > < A 5 +
A U 5 + ,a, b, c, d, !, n, o, ", 42
n)A U 5* + n)A* 8 n)5* + 1 8> + M&
5* (i se dan dos conjuntos A y 5 tales 4ue A 5 , es decir, no son disjuntos& (e
"uede obtener el n'!ero de ele!entos de A U 5 de la siguiente for!a:
n)A U 5* + n)A* 8 n)5* L n)A 5* )**
Ej!(plo.
(ean A + ,67 -0 R 6 R 1, 6 S2 y 5 + ,67 . 6 =, 6 S2
Entonces: n)A* + = < n)5* + > y A 5 + ,., 02
n)A 5 * + . A U 5 + ,-., -/, N, /, ., 0, 1, >, =2< n)A U 5* + M&
A"licando )** tene!os: co!o
B A

n)A U 5* + n)A* 8 n)5* L n)A 5*
n)A U 5* + = 8 > - . + M &
(i A 5 + entonces n)A 5* + N, "uede entonces generalizarse:
A, 5< n)A U 5* + n)A* 8 n)5* L n)A 5*
Nota: Es "osible deri3ar fr!ulas "ara el n'!ero de ele!entos de un conjunto for!ado
"or la unin de !%s de dos conjuntos&
:ara tres conjuntos:
n)A ; 5 ; C* + n)A* 8 n)5* 8 n)C* L n)A5* L n)AC* L n)5C* 8 n)A5C*
OBSER5ACI>N: Las anteriores fr!ulas tienen de!ostracin for!al&
Ej!(plo:
;n alu!no de la facultad, efect'a una encuesta sobre un gru"o de /NN estudiantes,
acerca de los ?%bitos de estudio en la 5iblioteca de Gngeniera y a"orta los siguientes
datos:
Estudian trigono!etra: 1N
Estudian %lgebra: >>
Estudian geo!etra: >>
Estudian trigono!etra y %lgebra: />
E>
Conce"tos b%sicos sobre teora de conjuntos
Estudian trigono!etra y geo!etra: .N
Estudian %lgebra y geo!etra: 0N
Estudian las tres !aterias: /N
9o 3an a la biblioteca: >
@:uede asegurarse 4ue la encuesta realizada es correctaA
D!'a%%ollo:
(ean # + ,676 estudia trigono!etra2
A + ,676 estudia %lgebra2
+ ,676 estudia geo!etra2
O+'!%#a"$n: :ara desarrollar esta clase de ejercicios se reco!ienda:
A* Dibujar el diagra!a de Penn y ubicar los datos dados&
5* (e debe iniciar "or a4uel 4ue "uede seTalarse con certeza&
C* ;na 3ez 4ue el diagra!a se co!"leta, se "uede leer el n'!ero de estudiantes 4ue
estudia cual4uier co!binacin de !aterias&
?%@9"a(!nt!:
T A
/> > .N
/N
/N .N
/> ?
.. U
Analt"a(!nt!:
n)# U A U * + n)#* 8 n)A* 8 n)* L n)#A* L n)#* L n)A* 8 n)#A*
n)# U A U * + 1N 8 >> 8 >> - /> - .N - 0N 8 /N + M>
M> Estudiantes 4ue asisten a la biblioteca&
/NN L M> + > Estudiantes 4ue no asisten a la biblioteca&
:or lo tanto la encuesta est% bien realizada&
.&1 EUERCGCGH( RE(;EL#H(
/* Re"resentar gr%fica!ente:
E=
Ejercicios resueltos
C)AI5*U)C-5*D 5I
; ;
A 5 A 5
C C

AI )AI5*
; ;
A 5 A 5
C C
)C-5* )AI5*U)C-5*
; ;
A 5 A 5
C C
5I C)AI5*U)C-5*D 5I
EE
Conce"tos b%sicos sobre teora de conjuntos
.* E6"resarlo si!blica!ente
a* ; b* ;
A 5 : D
C V
)AU5UC*IUC)5C*-AD )D-V*UCV-):UD*D
0* (ean los conjuntos: 9 + Cd, i* E + )e, z* S + Cd, eD
(iendo e, d, z, i Re&
Con d R i R e R z
Oallar:
a* )9S*-E + A
d i e z
9S + Ci, eD

)9S*-E + Ci, eD
d i e z
b* C)ES*SDU9 = ?


ES +
d i e z
)ES*S + S + Cd, e]
EF
Ejercicios resueltos
C)ES*SDU9 = Cd, e]
d i e z
c* C)S-9* SD)9UE* + A
S-9 + Ci, eD
d i e z
)S-9* S + Ci, eD
d i e z
9UE + Cd, i* U )e, z*
d i e z
C)S-9* SD)9UE* + Cd, z*
d i e z
1* (ean los conjuntos:
A + ,67 6 W-/N, 6 S
8
2 D + ,67 .N R 6 0N, 6 V2
5 + ,67 -> 6 R />, 6 S2 E + ,67 ER 6 >N, 6 X2
C + ,67 6 /NN, 6 Re2
Donde V es el conjunto for!ado "or las e6"resiones de la for!a !7n no reducibles con
! y n S
8
Oallar:
a* A5 + ,67 N R 6 R />, 6 S
8
2
)A5*-D + ,67 N R 6 R />, 6 S
8
2

S
8
) C *
EM
Conce"tos b%sicos sobre teora de conjuntos
-/N -> S />
b* )DUC*5 + 6 )-, /NND 6 ,->, -1, -0, -. Y /., /0, /12
,67)6 /NN, 6 Re* )-> 6 /1, 6S*2
DUC + ,67 6 /NN, 6 Re2
Re
) D D
.N V 0N /NN
c* )A-C*U)CD* + ,67 )6 W /NN, 6 S
8
* ).N R 6 0N, 6 V*2
A-C + ,67 6 W /NN, 6 S
8
2 CD + ,67 .N R 6 0N, 6 V2
S
8
) D
-/N Re /NN
d* )5A* )E-D* + ,67 /> 6 >N, 6 S2
5A + ,67 -> 6 R N 6 />, 6 S2
S
8
) C *
-/N -> S />
E-D + ,67 )ER 6 .N, 6 X* ).N R 6 0N, 6 S* )0N R 6 >N, 6 X*2

X
) ) D D
E .N V 0N >N
e* )E5*)CUE* + ,67 )6 R E, 6 R* )E R 6 R />, 6 V* )E R 6 R />, 6 XI*
)/> 6 /NN, 6 R*2
E5 + ,67 E R 6 R />, 6 S2 CUE + ,67 6 /NN, 6 Re2
S
X
C ) * D
-> E /> >N
FN
Ejercicios resueltos
>* En una encuesta a .NN estudiantes, se ?all 4ue:
/* =F se co!"ortan bien&
.* /0F son inteligentes&
0* /=N son ?abladores&
1* /.N son ?abladores e inteligentes&
>* .N estudiantes se co!"ortan bien y no son inteligentes&
=* /0 se co!"ortan bien y no son ?abladores&
E* /> se co!"ortan bien y son ?abladores, "ero no son inteligentes&
@Cu%ntos de los .NN estudiantes entre3istados no se co!"ortan bien, no son ?abladores
y no son inteligentesA&
Solu"$n: El "roble!a da co!o datos
n)5* + =F n)G* + /0F n)O* + /=N
n)OG* + /.N n)5GI* + .N
n)5OI* + /0 n)5OGI* + />
(e "ide ?allar: n)5IOIGI* + A
5 O
> /> .>
1N
F FN
M /E
G
:ri!ero se ubica en el diagra!a de Penn n)5OGI* + /> luego n)5GI* + .N, des"u$s
n)5OI* + /0, co!o se sabe n)5* + =F se "uede saber )restando* n)5OG* + 1N& (e
"uede ubicar des"u$s n)OG* + /.N, y "or 'lti!o se saca el n'!ero de "ersonas 4ue son
'nica!ente inteligentes y 'nica!ente ?abladores teniendo n)G* + /0F y n)O* + /=N
)restando*&
A?ora bien si ?ay .NN estudiantes )se resta a esta cantidad )todo* las de!%s del
diagra!a de Penn*&
n)5IOIGI* + /E
Ot%a 9o%(a:
n)5IOIGI* + n)5UOUG*I
n)5UOUG* + n)5* 8 n)O* 8 n)G* L n)5O* L n)5G* L n)OG* 8 n)5OG*
n)5UOUG* + =F 8 /=N 8 /0F L >> L 1F L /.N 8 1N + /F0
F/
Conce"tos b%sicos sobre teora de conjuntos
n)5UOUG*I + .NN L /F0 + /E
=* Al final del se!estre se ?izo una encuesta sobre las !aterias 4ue !%s "erdi la gente:
Contabilidad, Ad!inistracin y Xu!ica&
(iendo la clase de =N alu!nos, se tiene:
n)CAX* + . n)AX* + F n)CX* + /N
n)CA* + E n)C* + .> n)A* + /> n)X* + 0>
E6"resar si!blica!ente y ?allar el n'!ero de "ersonas de:
a* @Cu%ntos fracasaron e6acta!ente en una "ruebaA
b* @Cu%ntos a"robaron las 0 "ruebasA
c* @Cu%ntos fracasaron en la /
era
y en la 0
era
, "ero no en la segundaA
d* @Cu%ntos fracasaron al !enos en dos "ruebasA
e* @Cu%ntos a"robaron al !enos una !ateriaA
f* @Cu%ntos a"robaron la .
da
la 0
era
"ero no la /
era
A
Solu"$n:
;
C A
/N .
>
.
F =
/M
F X
a* nC)CA*XD + 0/
b* n)CUAUX*I + F
n)CUAUX* + n)C* 8 n)A* 8 n)X* L n)CA* L n)CX* L n)AX* 8 n)CAX*
n)CUAUX* + .> 8 /> 8 0> L E L /N L F 8 .
n)CUAUX* + >.
n)CUAUX*I + =N L >. + F
c* nC)CX* AID + F
n)CX* + /N |||||
AI
F.
Ejercicios resueltos
;
C A
X
La res"uesta es la "arte 4ue tiene el doble rayado&
d* n,C)CA* L )CAX*DUC)CX* L )CAX*DU)AX*2 + ./
e* nC; L )CAX*D + >F
f* nC)AIUXI* CD + .0

;
C A
/N > .
.
F =
/M F
X
)AI U XI||| * C + .0
E* (i!"lificar:
F0
Conce"tos b%sicos sobre teora de conjuntos
C)A5I*U)5-A*DU,C)A5I*U5DI )DDI*2
C)A-5*U)5-A*DU,C)A5I*U5DI 2 :ro"iedad de diferencia, y de contradiccin
)A5*U :ro"iedad de diferencia si!$trica, y de
identidad
A5 :ro"iedad de identidad
F* De!ostrar:
AU)AI5* + AU5
)6*6 CAU)AI5*D )6* C6 A 6 )AI5*D Definicin unin
)6* C6 A )6 AI 6 5*D Definicin interce"cin
)6* C6 A )6 A 6 5*D Definicin co!"le!ento
)6* C)6 A 6 A* )6 A 6 5*D :ostulado de
distributi3idad ):&D*
)6* CP )6 A 6 5*D :ostulado del tercero
e6cluido
)6* )6 A 6 5* :ostulado de la identidad
):&G*
)6* 6)AU5* Definicin de unin
M* De!ostrar:
A-)A5* + A-5
)6* 6 CA-)A5*D )6* C6 A 6 )A5*D Definicin de diferencia
)6* C6 A )6A 6 5*D Definicin interseccin
)6* C6 A )6 A 6 5*D #eore!a de De Korgan
)#&DD&K*
)6* C)6 A 6 A* )6 A 6 5*D :ostulado de
distributi3idad ):&D*
)6* CV )6 A 6 5*D :ostulado de la contradiccin
)6* )6 A 6 5* :ostulado de la identidad ):&G*
)6* 6 )A -5* Definicin de diferencia&
/N* De!ostrar:
)A-5*-)A-C* + A )C-5*
)6* 6 C)A-5*-)A-C*D )6* C 6 )A-5* 6 )A-C*D Definicin de
diferencia
)6* C)6 A 6 5* )6 A 6 C*D Definicin de
diferencia
)6* C)6 A 6 5* )6 A 6 C*D #eore!a de De
Korgan )#&DD&K* y
teore!a de la doble
negacin&
)6* ,C)6 A 6 5* 6 A DC)6 A 6 5* 6 CD2
F1
Ejercicios resueltos
:ostulado de la distributi3idad ):&D*
)6* ,C)6 A 6 A* 6 5 DC)6 A 6 5* 6 CD2
:ostulado de la con!utati3idad ):&C*,
#eore!a de la asociati3idad )#&A(*
)6* ,)V 6 5 D C)6 A 6 5* 6 CD2
:ostulado de la contradiccin
)6* ,V C6 A )6 C 6 5*D2
:ostulado de la identidad ):&G*,
:ostulado de la con!utati3idad ):&C*,
#eore!a de la asociati3idad )#&A(*
)6* C6 A )6 C 6 5*D
:ostulado de la identidad ):&G*
)6* C6 A 6 )C-5*D Definicin de diferencia
)6* 6CA )C-5*D Definicin de interseccin
//* De!ostrar:
A5 + )A-5*U)5-A*
)6* 6 C)A-5*U)5-A*D )6* C6 )A-5* 6 )5-A*D Definicin de unin
)6* C)6 A 6 5* )6 5 6 A*D
Definicin de diferencia
)6* ,C)6 A 6 5* 6 5D C)6 A 6 5* 6 A*D
:ostulado de distributi3idad ):&D*
)6* ,C)6 A 6 5* )65 6 5*D C)6 A 6 A*
)65 6 A*D2 :ostulado de distributi3idad ):&D*
)6* ,C)6 A 6 5* PD CP )6 5 6 A*D2
:ostulado del tercero e6cluido
)6* C)6 A 6 5* )6 5 6 A*D
:ostulado de la identidad ):&G*
)6* C)6 A 6 5* )6 A 6 5*D
:ostulado de la con!utati3idad ):&C*
)6* C)6 A 6 5* )6 A 6 5*D
#eore!a de De Korgan )#&DDK*
)6* C6 )AU5* 6 )A 5*D
Definiciones: unin, interseccin
)6* C6 )A5*D Definicin de diferencia si!$trica
/.* De!ostrar:
5 )AU5*
C5 )AU5*D )6* C6 5 6 )AU5*D Definicin de subconjunto
)6* C6 5 6 )AU5*D Definicin de relacin de i!"licacin
)6* C6 5 )6 A 6 5*D Definicin de unin
)6* C6 5 )6 A 6 5*D Definicin de condicional )D&C*
)6* C)6 5 6 5* 6 A*D :ostulado de la con!utati3idad ):&C*
F>
Conce"tos b%sicos sobre teora de conjuntos
#eore!a de la asociati3idad
)6* )P 6 A* :ostulado del tercero e6cluido
)6* P #eore!a de la tautologa )#&#*
/0* De!ostrar:
A 5 5I AI
)A 5 5I AI* )6* C6 )A 5 5I AI*D Definicin de relacin de
i!"licacin
)6* C)6 A 6 5* )6 5I 6 AI*D
Definicin de subconjunto
)6* C)6 A 6 5* )6 5I 6 AI*D
Definicin de relacin de
i!"licacin
)6* C)6 A 6 5* )6 5 6 A*D
Definicin de co!"le!ento
)6* C)6 A 6 5* )6 5 6 A*D
Definicin de condicional
)6* C)6 A 6 5* )6 5 6 A*D
Definicin de condicional
)6* C)6 A 6 5* )6 A 6 5*D
:ostulado de la con!utati3idad ):&C*
)6* P :ostulado del tercero e6cluido
/1* De!ostrar:
)E-V*- E-)V-*
)6* 6 C)E-V*-D 6 CE-)V-*D Definicin de subconjunto
)6* 6 C)E-V*-D 6 CE-)V-*D Definicin de relacin de i!"licacin
)6* ,C)6 E 6 V* 6 D C6 E )6 V 6 *D2
Definicin de diferencia
)6* , C)6 E 6 V* 6 D C6 E )6 V 6 *D2
Definicin de condicional
)6* ,C )6 E 6 V* 6 D C6 E )6 V 6 *D2
#eore!a de De Korgan )#&DDK*, y
#eore!a de la doble negacin
)6* ,C)6 E 6 V* 6 D C6 E )6 V 6 *D2
#eore!a de De Korgan )#&DDK*
)6* ,C)6 E 6 V* 6 D C)6 E 6 V* )6 E 6 *D2
:ostulado de la distributi3idad ):&D*
)6* ,C)6 E 6 V* )6 E 6 V*D C6 )6 E 6 *D2
:ostulado de la con!utati3idad ):&C*,
#eore!a de la asociati3idad )#&A(*
)6* ,C )6 E 6 V* )6 E 6 V*D C6 )6 E 6 *D2
#eore!a de De Korgan )#&DDK*
)6* ,P C6 )6 E 6 *D2 :ostulado del tercero e6cluido
)6* P #eore!a de la tautologa )#&#*
F=
Ejercicios resueltos
/>* De!ostrar:
A 5 AU5 + 5
a* A 5 )AU5* 5
b* A 5 5 )AU5* Definicin de igualdad
a*
)6* ,)6 A 6 5* C6 )AU5* 6 5D2 Definicin de subconjunto
)6* ,)6 A 6 5* C6 )AU5* 6 5D2 Definicin de relacin de
i!"licacin
)6* ,)6 A 6 5* C)6 A 6 5* 6 5D2 Definicin de unin
)6* , )6 A 6 5* C )6 A 6 5* 6 5D2 Definicin de condicional
)6* , )6 A 6 5* C)6 A 6 5* 6 5D2 #eore!a de De Korgan )#&DDK*
)6* , )6 A 6 5* C)6 A 6 5* )65 6 5D2 :ostulado de
distributi3idad ):&D*
)6* , )6 A 6 5* C)6 A 6 5* PD2 :ostulado del tercero e6cluido
)6* C )6 A 6 5* C)6 A 6 5*D :ostulado de identidad
)6* P :ostulado del tercero e6cluido

b*
)6* ,)6 A 6 5* C6 5 6 )AU5*D2 Definicin de subconjunto
)6* ,)6 A 6 5* C6 5 6 )AU5*D2 Definicin de relacin de
i!"licacin
)6* ,)6 A 6 5* C6 5 )6 A 6 5*D2 Definicin de unin
)6* , )6 A 6 5* C6 5 )6 A 6 5*D2 Definicin de condicional
)6* , )6 A 6 5* C)6 5 6 5* 6 AD2 :ostulado de la con!utati3idad
):&C*, #eore!a de la asociati3idad
)#&A(*
)6* C )6 A 6 5* )P 6 A*2D :ostulado del tercero e6cluido
)6* C )6 A 6 5* PD #eore!a de la tautologa )#&#*
)6* P #eore!a de la tautologa )#&#*
Entonces a* P b* P
P :or teore!a de ide!"otencia
/F* (i A y 5 son conjuntos disjuntos entonces A 5 +
a*
)6* ,C)6 A 6 5* )6 5 6 A*D 6 C)A 5* D2
FE
Conce"tos b%sicos sobre teora de conjuntos
Definicin de conjuntos disjuntos
)6* ,C)6 A 6 5* )6 5 6 A*D C6 )A 5* 6 D2
Definicin de subconjunto
)6* ,C)6 A 6 5* )6 5 6 A*D C6 )A 5* 6 D2
Definicin de relacin de i!"licacin
)6* ,C)6 A 6 5* )6 5 6 A*D C)6 A 6 5* 6 D2
Definicin de interseccin
)6* , C)6 A 6 5* )6 5 6 A*D C )6 A 6 5* 6 D2
Definicin de condicional
)6* , C)6 A 6 5* )6 A 6 5*D C )6 A 6 5* 6 D2
:ostulado de la con!utati3idad ):&C*
)6* , )6 A 6 5* C )6 A 6 5* 6 D2
#eore!a de ide!"otencia )#& Gde!"*
)6* ,)6 A 6 5* C )6 A 6 5* 6 D2
#eore!a de De Korgan )#&DDK*
)6* ,C)6 A 6 5* )6 A 6 5*D 6 2
#eore!a de la asociati3idad )#&A(*
)6* CP 6 D :ostulado del tercero e6cluido
)6* P #eore!a de la tautologa )#&#*

b*
)6* ,C)6 A 6 5* )6 5 6 A*D 6 C )A5*D2
Definicin de conjuntos disjuntos
)6* ,C)6 A 6 5* )6 5 6 A*D C6 6 )A5*D2
Definicin de subconjunto
)6* ,C)6 A 6 5* )6 5 6 A*D C6 6 )A5*D2
Definicin de relacin de i!"licacin
)6* ,C)6 A 6 5* )6 5 6 A*D C6 )6 A 6 5*D2
Definicin de interseccin
)6* , C)6 A 6 5* )6 5 6 A*D C6 )6 A 6 5*D2
Definicin de condicional
)6* , C)6 A 6 5* )6 A 6 5*D C6 )6 A 6 5*D2
:ostulado de la con!utati3idad ):&C*
)6* , )6 A 6 5* C6 )6 A 6 5*D2
#eore!a de ide!"otencia )#& Gde!"*
)6* ,)6 A 6 5* C6 )6 A 6 5*D2
#eore!a de De Korgan )#&DDK*
)6* ,C)6 A 6 5* )6 A 6 5*D 6 *2
#eore!a de la asociati3idad )#&A(*
)6* C)6 A 6 5* 6 *D #eore!a de la ide!"otencia )#&Gde!"*
FF
Ejercicios resueltos
)6* C)6 A 6 5* )6 A 6 A*D Definicin del 3aco
)6* C)6 A 6 5* 6 VD :ostulado de la contradiccin
)6* C)6 A 6 5* PD Definicin de tautologa
)6* P #eore!a de la tautologa )#&#*
Entonces a* P b* P
P :or teore!a de ide!"otencia
2.0. EJERCICIOS PROPUESTOS
/* Re"resentar gr%fica!ente:
a* C)ACI*I):I-A*DU)AC*
b* C)XI-SI*I-)#X*ID #I
c* ,VI C)DIUE*EID2-D
.* E6"resar si!blica!ente:
a* ; b* ;
A 5 9 E
C
FM
Ejercicios "ro"uestos
c* ;
X D
S
0* Del siguiente diagra!a lineal:
:
A 5 C
R ( # V Z
9 S L
X
Res"onder:
a* X A + A 9 A + A L C + A
( : + A R S + A V + A
b* Re"resentar dic?o diagra!a en for!a de diagra!a de Penn-Euler&
1* Re"resentar, so!breando el %rea a"ro"iada, cada uno de los conjuntos "roductos 4ue
siguen en un diagra!a cartesiano de R x R&
a* )-1, -/D x C-., ->D
b* ,67 -/ R 6 R 02x ,67 -0 6 R =2
c* ,67 6 W E2 x ,67 . R 6 >2
d* ,67 6 R -12 x ,67 6 /N2
M/
Conce"tos b%sicos sobre teora de conjuntos
>* (ean los conjuntos :
D + )6, z* K + )y, tD : + C6, tD A + Cy, z*
(iendo 6, y, z, t Re
(i t W z W y W 6
Oallar:
a* )KA*-):UD* + A
b* C):A*KDUA + A
c* C)DK*-):-A*D D + A
d* C)K-A*)AU:*D-D +A
=* (ean los conjuntos:
K + Cd, cD 9 + Cc, a* : + )d, bD
(iendo a, b, c, d Re
Oallar: )K:*-)9:* + A
(i a* a W b W c W d
b* b R a R d R c
c* c + b R d R a
E* (ean los conjuntos:
A + ,67 /N 6 R .N, 6 X2 5 + ,67 . R 6 R />, 6 V2
C + ,67 6 F, 6 S2 D + ,676 G2
E + ,676 /. R 6 MN, 6 Re2
Oallar:
a* )C-A* E + A
b* )5D*U)EA* + A
c* )AU5* )EC* + A
d* C)A-5*)CE*DD + A
F* (ean los conjuntos:
A + ,67 6 0N, 6 X2 C + ,67 /N 6 R /NN, 6 Re2
5 + ,67
.
/
R 6
.
0
, 6 V2 D + ,67 6 W E, 6 S2
Oallar:
a* )5-C*)DUA* + A
b* )AC*-)D5* + A
M.
Ejercicios "ro"uestos
c* )5C* )D-A* + A
M* (e da la siguiente infor!acin referente al n'!ero de ele!entos de los conjuntos A,
5 y C de cierto conjunto de />N ele!entos:
n)A* + F>, n)5* + EN, n)C* + >>, n)A5* + 0>,
n)AC* + 0N, n)5C* + .>, y n)A5C* + .N
Oallar:
a* n)AU5*
b* n)AU5UC*
c* n)A5CI*
d* n)A5ICI*
e* n)AI5ICI*
/N* ;n alu!no de la facultad efect'a una encuesta sobre un gru"o de /NN estudiantes
acerca de los ?%bitos de estudio en la biblioteca de ingenieras y a"orta los siguientes
datos: Estudian Vsica 1N, %lgebra >>, geo!etra >>, fsica y %lgebra />, fsica y
geo!etra .N, %lgebra y geo!etra 0N, estudian las tres asignaturas /N, no asisten a la
biblioteca >&
:uede asegurarse 4ue la encuesta realizada es correctaA
//* En una in3estigacin realizada sobre los ?%bitos de lectura de los estudiantes de la
;ni3ersidad se encuentra 4ue 1F[ leen la re3ista A, >N[ la re3ista 5, 0N[ la re3ista C,
.N[ la re3ista A y 5, /N[ las re3istas 5 y C, /0[ las re3istas A y C, /N[ no leen
ninguna de las re3istas&
Oallar el "orcentaje y e6"resarlo si!blica!ente:
a* @Xu$ "orcentaje leen las tres re3istasA
b* @Xu$ "orcentaje leen e6acta!ente dos re3istasA
c* @Xu$ "orcentaje leen al !enos dos re3istasA
d* @Xu$ "orcentaje leen la re3ista A o la C, "ero no la 5A
e* @Xu$ "orcentaje leen e6acta!ente una re3istaA
f* @Xu$ "orcentaje no leen la re3ista 5 y la C, "ero si la AA
/.* En una encuesta ?ec?a a /NN "ersonas sobre sus conoci!ientos de idio!as result
lo siguiente:
Oablan ingl$s .E< franc$s ..< italiano /.< ingl$s y franc$s /N< franc$s y ale!%n M<
ingles, franc$s y ale!%n =< ale!%n e italiano >< /M ?ablan ingl$s "ero no ale!%n< el
n'!ero de los 4ue ?ablan ale!%n es el tri"le de los 4ue ?ablan 'nica!ente franc$s<
ninguno de los 4ue ?ablan italiano ?ablan ni franc$s ni ingl$s&
Oallar el n'!ero de "ersonas y e6"resarlo si!blica!ente:
a* @Cu%ntos no ?ablan ninguno de los 1 idio!asA
b* @Cu%ntos ?ablan 'nica!ente ale!%nA
c* @Cu%ntos saben al !enos . idio!asA
d* @Cu%ntos saben italiano o franc$s "ero no ingl$sA
e* @Cu%ntos no saben ale!%n y no saben ingl$s, "ero saben franc$sA
M0
Conce"tos b%sicos sobre teora de conjuntos
/0* De!ostrar:

a* AUA +A b* A +
c* AU; + ; d* AU + A
e* AU5 + 5UA f* AU)5UC* + )AU5*UC
g* A )AU5* ?* A; + A
i* A )5UC* + )A5*U)AC* j* )A5* A
\* )AI*I + A l* AUAI + ;
!* AAI + T* )AU5*I + AI5I
o* )A5*I + AIU5I "* ;I +
4* I + ; r* A L 5 + A5I
s* A L A + t* ; L A + AI
u* A5 + 5A 3* A5 + )AU5* L )A5*
]* A L )5 L C* + )A - 5*U)AC*
6* AU)5 L C* + )AU5* L )C L A*
y* A )5 L C* + )A5* L )AC*
z* )A 5* + )AI * )5 *
/1* De!ostrar:
a* (i A 5 i!"lica A5 + A
b* (i A 5 i!"lica AU)5 L A* + 5
c* (i A5 + entonces 5AI + 5
d* A L 5 es subconjunto de AU5
e* A L 5 + 5 L A + 5 i!"lica A + 5
M1