,

CAPITULO
LOGICA
Y CONJUNTOS
:
{
It
1
l
,f;
Conducta de entrada
1. Determine cu-les de las siguientes errpresiones son proposiciones
y diga por qu.
a) Colombia est en Sudamrica
b)

xl +2=5x2
c)
Quieres
venir a comer?
d) Ponte elvesdo azul
e) (8+2)-5=6
2' Determine el valor de verdad de cada una de las siguientes proposiciones.
a) 4-2=2 3+2=7
b) Lima es la capital de
per
y r.apaz es la capital de Bolia
c) 3x= 9 entonces x= 3
lrurnoouccH I us urEurtcAs uNtvERstrARtAs
Constrr.ryi-,lqt.tabla de v-erdad de :
(*.pln r'q)t- (pv"{)
:,
Dados log,conjuntos:
o:{1. 2, 3}
p={2,
+, o} n={r, o, 8}
a) Escriba todos los subconjuntos de R.
-
D) Halle:
r)
.ouP
i:'
'
,
fi),
lP,nR
i
t) P-o
5. Dado.el siguiente diagrarna,
oe|c
..=l
l-r'
determine por extensin los conjuntos:
a) A=
b) AUB=
c) fJ=
d) (A n B)"=
6. Sean:
n(A)
=
8
n(B)= 15
n(An B)
=
3
Hallarn(AUB)
',a
I
i
l
. .i.
t
I
l
I
r.2 l
i:..1.= r{
."(
l
Lorcn
y
coNJUNTos
3
Objetivos
Al finalizar el presente captulo el alumno estar en capacidad de:
1. Manejar correctamente las proposiciones
y conectivos lgicos y establecer
relaciones entre los conjuntos y sus elementos.
construir tablas de verdad y realizar operaciones entre conjuntos.
Demostrar las propiedades de los conjuntos, utilizando cualquier mtodo.
Probar la validez de argumentos lgicos.
Resolver problemas
sobre el cardinal de un conjunto.
1.I INTRODUCCIN
l,a lgica se remonta a los tiempos de Aristteles (384-322
a. C.), filsofo griego llamado
"El
Estagirita", quien adems de los aportes hechos a la fisica, la biologa y las
humanidades, introdujo la idea de clas!ficacron, implicada en casi toda su obra y
considerada como fundamento de la lgica.
A travs del empo otros personajes
han seguido trabajando en el tema, como por
ejemplo Boecio, filsofo, polico y poeta latino (Roma,
aprox. 480-524), quien tradujo
en el siglo V los famosos tratados lgicos de Aristteles que influyeron en pensadors
como Bertand Russell (Gales,
1872
-
Gales, l79O), matemtico y socilogo britnico
de cuya extensa produccin
filosfica vale la pena destacar lo relavo a la lgica;
junto
con Alfred Whitehead (Ramsgate,
1861
-
Cambridge, tg47), tambin filsfo y
matemtico britnico, son considerados los fundadores de la lglca matemtica.
Por el contrario, la nocin de coryiunfoaparece slo hacia finales del siglo pasado y
es George Cantor, matemtico ruso (San
Petersburgo, 1854
-
Halle, 1gl), quien
adems de sus numerosas memorias publicadas,
estableci las bases de lo que se
denomina teora de conjuntos.
Comprender claramente el
lgebra
de proposiciones
y los conceptos bsicos de la
teoria de conjuntos ser el objetivo de este captulo.
L.2 PROPOSTCTONES
r,CrCaS
Una proposicin
lgtca es un enunciado con sentido, del que se puede decir que es
verdadero o falso, pero no las dos cosas alavez.
2.
3.
4.
b.
lnrRooucclr. n us ulreulcAs uNlvERStrABtAs
EJemplo I
a) Los enunciados:
i).8+2=18
ft) Caracas es la capital de Venezuela
iii) Gabriel Garcia Mrquez gan el Premio Nobel de literatura en 1982
Son proposiciones, ya que cada una de ellas es verdadera o falsa sin
ninguna duda.
b) Por el contrario, los enunciados:
i) Cierre la ventana
ii) Levntese
ttt) Haga la tarea
No son proposiciones, ya que no son ni verdaderos ni falsos; en todos los
casos se da una orden.
c) Enunciados como:
i) Est lloendo
ii) New York es la capital ms importante del mundo
tit) Las matemcas son fciles
Tampoco son proposiciones porque el ser verdadero o falso depende de
los gustos o las circunstancias.
Usualmente las proposiciones se representan por las letras minsculas p, q. r...,
as:
p: 2 es un nmero racional
q: a-b+b-a
r: Todos }os mamferos son cuadrpedos
s: Todos los nmeros enteros son racionales
Se denomina valor de verdad de una proposicin la veracidad o falsedad de'la
misma.
Se representa con V el valor de verdad verdadero y con F el valor de verdad falso.
EJemplo 2
a) El valor de verdad de n Todos los mamferos son cuadredos es F,
5ra
que,
por ejemplo, el delfin es mamfero y no es un animal cuadrredo.
b) Por el contrario, el valor de verdad de s: Todos los nmeros entenos son
racionales es V, ya que todo nmero entero es un nmero racional.
I
Pro
vef,t
Elc
r.3 PB
Un
rrri
EIG

pro
C
D
D
;
E
r
TAI
t-
z
En erl
trrag
Lercr.y coNJUNros 5
I
l
l
)
se denomina una proposicln
ablerta una expresin de la forma
! =
r. En las
5
proposiciones abiertas, el conjunto formado por los valores que hacen la proposicin
verdadera se conoce como conJunto solucln.
Ejemplo 3
Los valores que hacenverdadera la proposicin p:
a2
+ 5a + 6
=
o, donde
u
es un
nmero real, son
U = -2
y
A = -3,
ya que
(-2)2+5(-2)
+6=O y (-3)2+5(-3)
+G=O
Luego el conjunto solucin de p es
l-2,
4\1.
,
1.3 PROPOSICIONES COMPUESTAS
Una proposicin compuesta es la formada por dos o ms proposiciones
simples2
unidas mediante un smbolo denominado conectlvo lglco.
,
EJempIo 4
Consideremos las siguientes proposiciones simples :
r: Simn Bolivar naci en Venezuela
f Jos de San Martn naci en Argenna
: A la proposicin: Simn Bolivar naci en Venezuela y Jos de San Martn naci en
Argenna se le denomina proposicin
compuesta y al smbolo y que une estas
clos proposiciones, conectivo lgfeo.
,
h siguiente tabla muestra algunos de los conectivos ms utilizados en la lgica
proposicional con su respectivo nombre, smbolo, notacin y lectura.
Nombre Smbolo Notacin
Lectura
Conjuncin p^q pyll
Disyuncin
pvq .poq
Disyuncin exclusiva DVO p o q,pero no ambas
Implicacin -+ p)q p implica q
Equivalencia e pq psiyslosi4
Negacin
-p
Nop;es falso quep
TABLA 1.1 Diferentes conectivos de la lgica proposicional.
l. En este caso el conjunto solucin se denomina sotucin de la ecuacin.
2. Una proposicin simple es el menor enunciado con carcter verdadero o falso, pero no las dos cosas al tiempo.
lrurnoouccrN A LAS MATEMTIcAS uNtvERStrAHtAS
EJemplo 5
Consideremos las siguientes proposiciones:
pi Estudio matemticas
q: Aprendo matemcas
n Voy a cine
s: Voy a la flesta
Formemos con ellas, inediante los conectivos de la tabla anterior, algunas
proposiciones comPuestas.
p
^
-
l:
Estudio matemcas y no voy a cine
p v r: Estudio matemticas o voy a cine
p
-)
q: Estudio matemticas entonces aprendo matemcas
p v s: Estudio matemticas o voy a la fiestao.
L.4 TABLI\S DE VERDAI)
Los valores.de verdad de una proposicin compuesta se obenen a partir de los
valores de verdad de las proposiciones simples que la forman y el conectivo que las
una.
La siguiente tabla muestra los valores de verdad de las proposiciones compuestas
para cada uno de los diferentes conecvos:
TABL,A 12 Valores de verdad de las proposiciones compuestas.
Como una observacin de Ia tabla anterior podemos concluir:
l. La. conjuncin
(r)
slo es verdadera cuando las dos proposiciones sonverdaderas.
2. La. disyuncin
(v) slo es falsa cuando las dos proposiciones son falsas.
La diferencia entre v y v est en que en la disyuncin (v) se puede realizar una cualquiera de las dos aocitxrc o arras,
mientras que en la disyuncion exclusiva
Q)
una de las dos acciones, pero no ambas.
I
a.
EIC
T
\i
\l
{
T
TAI
1
lI
E:N
(
es
EIC
1
di.q
de
utr
val
td
En ut
EE
p q p^q pvq pvq p)q peq
-p
V v V V F V V F
V F F' V V F F F
F V F V V V F V
F F F F F V V V
Lcpr Y coNJUNros
3" La implicacin
(+)
slo es falsa cuando el antecedentea es verdadero y el
consecuente falso.
Ejempto 6
Construyamos la tabla de verdad
de
la siguiente proposicin compuesta:
s:-q-+(-pvp).
TABLA 1.3 Valor de verdad para la proposicin s
-
g --r (- p
"
p).
Veamos el procedimiento para la construccin de la tabla 1.3: Como en este caso
intervienen dos proposiciones, el total de combinaciones que se consideran es cuatro.
En general, el total de combinaciones de una tabla de n proposicio-nes es 2'.
Para facilitar el desarrollo del ejercicio se procura tener en cuenta un orden en la
disposicin de los valores de verdad dentro de la tabla, empezando en este caso asi:
dos verdaderos-[V), dos falsos
(F), para la primera proposicin. Una verdadera
(V) y
una falsa
(F)
intercaladas, para la segunda proposicin; a connuacin se hallan los
valores de verdad de las diferentes proposiciones compuestas utilizando la
tabla 1.2.
Observe que en la ltima casilla los valores obtenidos son todos verdaderos. En
este caso decimos que Ia proposicin es una tautologla.
Ejemplo 7
Construyamos la tabla de verdad de
[r
-+ (- v
-
q)] <+
[q
+
(-
r v
-
s)].
Como en este caso tenemos tres proposiciones, eI nmero de combinaciones es
23
=
8. De manera similar a la tabla anterior, debemos seguir un orden en los
valores de verdad de las proposiciones simples: empezamos entonces con cuatro
verdaderos
M
y cuatro falsos
(F), para la primera proposicin; intercalamos dos
V y dos F para Ia segunda y, ftnalmente, intercalamos una V y una F para Ia
En una proposicin compuesta de la formap -+9, la proposicin p se denomina el antecedente y la proposicir qse
denomina el consecuente.
p q
-p -q -p
v p
*q-->
(-pv p)
V V F F V V
V F F V V V
F V V F V V
F F V V V V
lrurRooucct A LAs MATEMTIoAS uNlvEBslrARlAS
tercera, tal como se muestra a continuacin.
(Se procede de manera similar para
cualquier nmero de proposiciones).
q r s
-q -r
ds
-sv-{
(1)
r+(-sv-q)
-rV-S
(2)
q+(:rv-sl
(1) <-+ (2)
V V V F F F F F F F V
V V F F F V V V V V V
V F V F V F F V v V V
V F F F V V V V V V V
F V V V F F V v F V V
F V F V F V V v V V V
F F V V V F V v V V V
F F F V V V v V V v V
TABLAl.4 Valordeverdadde
laproposicin [r-+(-
sv- q)](+[g-+ (- r v- s)].
El ejemplo anterior corresponde nuxamente a una tautologa, pero podra darse
el caso que en la ltima columna slo se presenten valores falsos, entonces se dice
que la pioposicin es una contrdlccl o una falacla'
Cuando en la ltima columna aprrecen falsos y verdaderos, la proposicin se
d.enomina una lndetermlnacln.
r.5 LBr-ES DE Ll PROPOSTCTONES
t crces
tas proposiciones compuestas, dependiendo de-l conecvo
que las una, satisfacen
atgunaJpropiedades
que constituyen lo que se denomina las leyes de la lglca, las
cuales establecen cundo dos proposiciones son equlvalentess.
Dos proposiciones P
y g
son equivalentes si la tabla de verdad de P <+
Q
es una tautologia, y se escribe
PeO.
A continuacin enunciaremos algunas de las ms importantes leyes de la lgica
proPosicional:
l.
I
I
2-I
l
I
I
l
1.
5.
6.
7.
a.
i
9.
To
Yq
E
La equivalencia en la lgica se puede interpretar como el igual del lgebra y de la aritmtica'
Lorce
y
cot{JNTos
I
1.
2.
s.
4.
D.
6.
Ley de ldempoiencia
a)
(p
^p)<+"p
b)
(pvp)p
Ley conmutatlva
a)
(p.v
q) <+
(q
vp)
b)'(paq)<+(qnp)
Ley asociatlva
a)
t(pvq)vrlelpv(qvr)l
b)
t(p
r'q) I rl e+
tp

(q
n r)l
Ley distributiva
a)
I(p q) v rl<+
[(p
v r) ,r (q
v r)]
b)
t(pvd)rl<+ t(pnr) v (gnr)I
Ley de De Morgan
a)
-(pnq)<+(-pv-q)
b)
-
(p
v q) <+
(- p ,x
-
ql
,.,,
Leyes de la impllcacln
a)
(p-+q)<+(-q+-p)
b) :(p
+
q) <+
(- pv ql
c)
tp
n
1p -+ q)l<+ (p
n q)
Prlnclplo de contradlccin.
(P-p)<+
r(falacla)
Prlaclplo de no contradlccln
(p
v
-p)
<+ V
(wirlad)
Neacin de la'nogacln
,i
-(-p)ap
Tod-aslas leyes enunciadas
anteriormente
se pueden
demostrar
utilizando tablas de
verdad.
EJemplo 8
Demostremos una de las leyes de De Morgan
t-
(p
^
q) e
(-
p v
-
q)l; proceendo
como en los casos anterlores,
tenemos:
7.
l
li-1 :
...
9.
10 lrurnooucctN I us l,llreurrcAs uNlvERslrARlAS
p q
-p -q P
9 -fp
q)
'Pv-8 -(p.q)c(-Pv-Q)
V v F F V F F
V
v F F V F V v V
F v V F F V V V
F F V V F V V V
TABLAl.5 Tabla de verdad para la proposicin
-
(p"
d
<+ (- p v
-
g)'
La ley -
(p
^
q) <+
(- pv
-
q) qued demostrada, ya que se obtuvo una tautologia
para la proposicin -
(p n q) e+
(- p v
-
q)'
1.6 CUATiITIFICADORES
LGICOS
Una proposlcln cuantlflcada es aquella en donde est determinado cuntos
elementos de un conjunto la satisfacen.
EJemplo 9
Consideremos
las siguientes proposiciones:
p: Todos los nmeros enteros son pares o impares
q: Existe un x, xeR, tal qtue x2
=
25
n Ninginentero es irracionalG.
Las palabras ,
Tos, Existe uny Nngwt, que nos dicen cuntos elementos satisfacen
h propbsicin, se denominan cuantlflcadores. Los cuantificadores se clasifican en
cuntiflcador universal y cuantlficador edstencial'
Cuantlflcador unlversal es todos o paratodosy se representa con el smbolo V.
La expresin, Vx, x e R, significa que para todo x
(para cualquier .d, x es un
elemento del conjunto R.
Cranticador eristenclal es existe(n) aigin(os)y se representa con el smbolo 3.
Laexrresinlx /
x+ 1O
=
13, silnificaque existe algnxtal
quex+ 1O
=
13.
Negacln de cuantificadores
para realizar la negacin de cuanfieadores en
propoiiciones cuantificadas se usa.n las si$uientes reglas:
-(V*,x)
<+ Axl-x
-F*/
x) + Yx,
-x
EIC
t.7 al
un
Ilar
arl
o(tr
sd
ter
m(
la
pll
n
E|
tr
ol Ver captulo 2, sistemas numricos, pgina 41.
Lcrct
y
coNJUNTos
1t
EJemplo lO
Neguemos las siguientes proposiciones:
p: Todos los nmeros son enteros
q: Algunos tringulos son rectngulos
Las respectivas negaciones serian:
-
p: Existe al menos un nmero que no es entero
-
q: Todos los tringulos no son rectngulos.
1.7 ARGUMENTOS I,CTCOS
Un argrrnento lgico es un razonamiento en el que a partir de una serie de enunciados
llamados premlsas,
se obtiene un resultado llamado conclusln.
Se dice que un
argumento es vlido si asumiendo que todas las premisas
son verdadeias, la
conclusin tambin lo es. Cuando un razonamiento no es vlido se dice que es un
soflsma.
Para demostrar la validez de un argumento debemos partir del hecho de que
tenemos las proposiciones
Pt

Pz
... A p,, pila tratar de llegar a la conclusin
e
por
medio de las leyes de las proposiciones
lgieas, escribiendo todas las premisas p, de
la forma p + q,'encadenando'
dichas proposiciones (esto
es, dond termina una
proposicin
debe empezar la siguiente) y procurando que ninguna proposicin
est
negada.
EJemplo 11
Verifique el siguiente argumento:
Pt:P-+Q
p2:
-
r--,
-
q, entonces
Q:p-+r
Observemos que pt(p -+ q) ya est en la lbrma requerida.
Ahora observemos
p2:
F
,
-
- ,),
que segn la seccin 1 .5 es equivalente a
(q -+ r) como deseamos,
luego tendramos:
Pt:P-+Q
p2i q) r, entonces
{p
-+ q),., (q
+ r), luego (p -+ r), que es la conclusin deseada.
por
lo tanto, el
argumento es vlido.
En algunas ocsiones es necesario cambiar a
'flechas'
conecvos como la n
y
la v,
para obtener una cadena de
'flechas';
el siguiente ejemplo ilustra cmo
".*ir, "l conecvo +, que es el que se necesita.
12 lmrnooucct l tas ueTEurcAs uNrvERsrrABrAS
EJemplo 12
Exprese la siguiente proposicin ulizando slo el conecvo -+:
-l(pvq)(qr)l
Es necesario cambiar el conectlvo
^
por el conectivo v, ya que utilizando la ley
de implicacin, literal b, es posible pasar del conectivo v al conectivo -+,
entonces
- [(p
v q)] (q n r)] es equivalente por la ley de De Morgan a
[-
(pv q)] v
t-
(qn r)l
Considerando las proposiciones
-
(p v g) y
-
(q
^
r) como py q respectivamente y
utilizando la ley de implicacin, obtenemos
t(p
v
dl
-
[-
(q n r)]
Esta expresin podria escribirse usando de De Morgan en el consecuente, asi:
t(p
v q)] -+
[(-
q v
- dl.
Utilizando nuevamente la ley de implicacin en cada
parntesis, obtendramos:
(- p + q) + (g +
-
r), donde salvo la negacin, est
escrita slo con el conecvo +.
EJemplo l3
Verifique el siguiente argumento:
Pt:P-+Q
p2:-qvr, entonces
Q:
p-+ r,
,
Procediendo como en el ejemplo 11, tendramos:
pt: p ) q (forma requerida)
p2i
-
q v r que segn la ley de implicacin es equivalent" a
(e
+ r), luego
(p -+ q) n
(q
+ r) entonces p + C
por lo tanto, el argumento es vlido.
EJemplo 14
Verifique Ia validez del siguiente argumento:
p1: si 3 es impar, entonces 3 + 5 * 8
:Tnoesprimo,o
3+5=8
tr b:
7Es-rrr:rrrero primo, entonces
Q:
3 es un nmero par
En este caso, lo primero que debemos hacer es escribir cada premisa en forma
simblica utflizando proposiciones adecuadas, por ejemplo:
Sean p: 3 es un nmero impar; q: 3 + 5
=
8; r: 7 es un nmero primoT.
7. Tambinsehabrapodidotomarp3esunnmeropar; g:3+5*8;r:Tnoesnmeroprimo,sinningninconveniente,
lo cual significa que la forma en que se define la proposicin no importa para la realizacin del ejercicio.
r.8 Gf
r.9 DI
E
(in
de
Se
pn
ofx
pq
dir
ET
&
9.
Esbr
EIcu
t
!
I
Lcrce Y coNJUNTos 13
'
Luego, se escribe el argumento utilizando las proposiciones usadas:
Pr:P+-Q
p2:"rYq
Pe:
r
O: -p
Y finalmente se procede como en los ejemplos anteriores:
pt: p )
-
q (forma
requerida)
pzt(-rvq)<+(r-+q)
Pzt
r
O: -p
Ordenando tendramos:
(r)

(r
-r
q) n
{q
-+
*
p), por 1o tanto, se obtiene
(- p), con lo cual podemos
asegurar que el rgumento es vlido8.
Nota: Observe que aunque la premisa p1 'estaba en la forma requerida'
(implicacin),
se tuvo que cambiar el sentido de la implicacin, ya que se necesita,
de ser posible, que todas las premisas queden encadenadas.
1.8 CONCEPTO Y NOTACIN DE CONJUNTOS
Se considera un conJunto una coleccin de objetos: nmeros, carros, ciudades,
productos, etc. Los componentes de un conjunto se llaman elementos. Como ejemplo
consideremos las vocales de nuestro abecedario; ellas conforman un conjunto que
podramos llamar el conjunto de las vocales, en donde cada vocal es un elemento de
dicho conjunto.
Los conjuntos se representan usualmente con letras maysculas y los elementos
van separados por una coma y encerrados entre llaves.
Ejemplo 15
El conjunto de las vocales descrito anteriormente se representara as:
Ntese que tos elementos 4",:";::,i
".lJ.scrito
con tetras minsculas; sin
embargo, en algunas ocasiones, podran representarse con letras maysculas.
1.9 DESCRIPCIN DE CONJTINTOS
Existen dos formas para describir un conjunto: por extensin y por comprensin.
Esto no significa que 3 sea un nmero par, sino que'3 es par'de acuerdo con las premisas.
El conjunto se ha llamado V por ser un conjunto de vocales, pero podra haberse llamado con cualquier otra hilra-
-a
3
8.
9.

)^
I
I
t

;
14 lrnooucct
A LAS MATEMTIoAS uNlvERSlrARlAS
DescriPcln Por
extensin
Un conjunto
se describe
por extensin cuando se nombran todos los elementos
del coriunto.
As, por ejemplo: i) el conjunto A de los nmeros enteros
positivos
*".ro.J"
que 5,
".i"pr".n1a:
A
= 11,2,
3, 4\, y ii) el conjunto
B de los_nmeros
pares positivos
-.rroi""
o iguales a 20 se escribe as: B
= 12,
4,6, 8...' 2O). En el
conunto
B los puntos suspensivos
indican
que los nmeros continan
pares
hasta 20.
DescriPcin
Por
comPrensln
Un conjunto se describe
por comprensin
cuando se enuncia una regla que permite
hallar iodos los elementos
del conjunto'
Por ejemplo:
Q
=
lx/
xeZ*, x<71
D
=
{x /
xe Z}
B
=
IxeZ/x>8,x<10)
['= lxeZ/x>8,.x<6]
El conjunto
c est formado
por todos los nmeros enteros
posivos menores
estrictamnte
que 7, y se representa:
C
= {1'
2' 3' 4' 5' 6l'
El conjunto
D representa
el conjunto de todos los nmeros enteros
y se denomina
un conJrlnto
tnliritto;
por e\ contrano,
\os conluntos
C y B se llaman Gorrl'rtos
finitos.
El conjunto
F no tiene ningn elemento,
ya que no existe un nmero entero
que
sea simultneamente
mayor
que 8 y menor
que 6; un conjunto de este po se denomina
conjunto
vaco y se simboliza
por A o
I l'
cualquier
conjunto
que contenga
todos los elementos de los conjuntos
que se
estn considerando
en un anlisis dado' se denomina
conJunto
unlversal
(referencial) y se representa
por U'
-
Enlosejemplosanteriores,elconjuntoDdglosnmerosenterossepuede
considerar
r.r
"rrj""to
universal
(referencial) para los dems conjuntos'
ya que todos
los elementos
de C, D, E y F estn contenidos en D'
1.1O DIAGRAMAS
DE \TENN
Una manera de representar
los conjuntos
es por medio de
grficos denorrrinados
diagramas
de Venn. En estos diagrainas
se utilizan reas rectangulares
y circulares
para visualizar
los conjuntos.
Usualmente
el conjunto
universal
es un rectngulo
dentro del cual, en forma de circulos, se
grafican los otros conjuntos'
l,osconjuntosC,DyEmencionadosanteriormenteSerepresentanas:
G=-
Lc rcr Y coNi u Nros'
=,B'"*=
OO=
FIGURA
1.1 Diagrama
de Venn'
En el diagrama
anterior
se observa
que el conjunto
E, y que C
V
B no tienen
ningn
elemento
en comn'
conjuntos
dlsYrurtos'
D contiene
los conjuntos
C
Y
En este caso C
Y
E se llaman
1.11
RELI\CIONES
ENTRE
CONJUNTOS
Enlateoradeconjuntosexistendosrelacionesimportantes,larelacinde
pertenencia
y ta relacin
de contenencia'
Relacin
de
Pertenencia
Se utiliza
la relacln
de
pertenencia
cuando
se relaciona
un elementoro
con un
conjunto
dado
y se simboliza
por e; por ejemplo
A e B'
Relacln
de contenencla
se utiliza
Ia relacin
de contenencla
cuando
se relaciona
un conjunto
con otro
conjunto
y se simboliza
por c; por ejemplo
A c B'
EJemPlo
16
Consideremos
los siguientes
conjuntos:
M={1,3,5,6,7'8,9}
N
=
{2,
4, 6, 8, 10' 12}
I =
{1,
2, 3, 4' 5, 6,7,8,
9' 10}
cuya representacin
en un diagrama
de Venn seria:
lo.Enunmomentodadoesteelementopodraseruncon|unto.
Lcrce
y
coNJUNTos 17
fll){l}c A,{2} cA y{r,2}cA
iv)AcA: v)AcA: vl)
l4lcAy{S,6} cA
Ya que:
f) Los elementos l, 2 y A estn en el conjunto A.
it) Ni 4 ni 5 ni 6 son elementos de A. Los elementos de A son
t4)
y
{s,
6}.
ttt)' iv), v) y vt), por la definicin de subconjunto y 1o anteriormente
expuesto.
los conjuntos A y A
fuacio)
no son propios
del conjunto A. En caso contrario se
llaman subconjuntos propios.
ConJunto de partes
Se denomina partes de un conJunto A, al conjunto formado por todos los
subconjuntos de A y se simboliza P
(A).
Et rimero de elementos del conunto partes
de.{ es 2n, donde n es el nmero de elementos de A.
EJempIo 18
Sea A
- la,
b, cl
El nmero de subconjuntos de A es 8, ya que 23
=
8y dichos subconjuntos son:
{a}, {b}, {c}, {a,
bl,la, cl,
tb, d,la,
b, cl, o
Luego P
(A)
= {{}, {b}, {cL la,
bl,
b,
c},
{cr,
c},
{a,
b,
d,
Al
L.I2 OPERACIONES CON CONJUNTOS
En la teoria de cbnjuntos se enen una serie de operaciones que se ulizan para
obtener otros conjuntos, a partir de unos conjuntos dados; ls operaciones ms
comunes son: la unln, la lnterseccln,
el complemento y la dlfeienclarr,
Unln
Cuando se unen dos conjuntos A y B dados, se obtiene un tercero C formado por
todos los elementos que pertenecen
a A, a B o a ambos. La unin de conjuntoJ se
simboliza A U B y se lee A unin B.
De ahi que, si A=
{cr,
0, tr}yB = {o ,L,nl,
entoncesAU B
= {c,
F,
n,}",ltl
En la figura I.3 aparecen los conjuntos sualizados en un diagrama de Venn.
Observe que en el conjunto A U B no aprrece el elemento cr sino una sola vez, ya que
se asume que el cr es el mismo elemento en ambos conjuntos.
11 . Existe adems la difer.encia slmtrica que se smbolza y se define as:
AA B
= {x/
x e (AU B) ,^. xe ( A n B)}. Esta operacin no ser estudiada en este texto, ya que no es objetivo de{ nisnn-
16 lrurnoouccl n us unreurlcAs uNlvERslrARlAS
U
l)
Ilarn
FIGURA 1.2 Relaciones entre coniuntos.
Segn el diagrama, es claro que el nmero l0 es un elemento del conjunto N,
enton-ces se dic que 1O pertenece a N y se simboliza 1O e N. Por el contrario; 5 no
pertenece aN y se simboliza 5 e N.
Observemos
que todos los elementos del conjunto M se encuentran en el conjunto
Q,
se dice entonces
que M estdcontenido en
O
y se simboliza M c
O.En
este caso
mbin se dice que M es subeonJunto de
Q.
Por el contrario, no todos los elementos
de N se encuentran en el conJunto
Q,
entonces se dice que el conjunto N no est
contenidaenOYsesimboliza
N a
Q.
SiAcB yB cA, se dice queAes igual aByse escribeA= B. Encaso contrario
(una de las contenencias no se cumple), se dice que A es diferente de B y se simboliza
A + B. En el ejemplo anterior M *
O,
ya que M c
Q
pero
O
e M.
Es claro que todo conjunto es subconjunto de si mismo y que el conjUnto vaco es
subconjunto de cualquier conjunto
(no hay elemento en el conjunto vaco que pueda
no estar en otro conjunto). Si A es subconjunto de B, pero A es diferente deBy A+ A,
se dice que A es subconJunto
proplo de B.
EJemplo 17
Consideremos el conjunto
A
= {r,
2,14]t,15,
q,
al
segn las definiciones de pertenencia y contenencia tenemos que:
1eA, 2eAy AeA
4eA,SeAyGeA
Cq
Set
srh
de^
qc!
r.r2
(x
hl
ob
oo
TH
Cu
to
sirri
I
I
Obc
se
r)
ii)
tl. E)risb
AAB.
18 lNrnoouccN us unre,1rlcAs uNlvERstrARlAS
En general: AU B
=
C
= {x /
x e Avxe B}
Nota: En los diagramas de Venn es necesario indicar de alguna manera el resultado
de la operacin realizada. Por ejemplo sombreando:
FIGURA 1.3 Unin de los conjuntos Ay B.
Interseccln
cuando se intersecan dos conjuntos A y B dados, se obene un tercero c, fOrmado
por los elementos comunes los dos conjuntos. Se simboliza A B y se lee A
nterseccbnB.
As, si
{=
{cr,
b, c,- y e
=4p
a, e}, entonces A n 6
= {b,
d}'
Representado en un d-iagrama de Venn:
FIGURA 1.4 lnterseccin de los coniuntos A y B.
En general: An B
=
C
= {xe
A xe B}
Illfcrencla
Cuando
se hace lia diferencia entre dos conJuntos Ay B dados, se obtiene un tercero
C, frmado por los-elementos
que pertenecen a A y no pertenecen a B. Se simboliza
A
-
B y se lee A diderencia an B.
Entonces, siA= |L,2,3,4,51
y B=12,4,61 A-B
= {1,3,5}'
Representado en un diagrama de Venn:
E
\ ,-
'tt'
\r''
il
Co
Cu
ofx
A
Er
H
20 lNrnoouccr.l A LAS MATEMTlcAs uNlvERSlrARlAS
En este caso necesitamos inicialmente conocer L", que segn la definicin es
L"
= {1,
3, 5, 6} y luego se realiza la unin de este conjunto con H, obteniendo:
HUL"={1,8,8,6}
Como ya se conocen los conjuntos H" y L" simplemente se realiza la interseccin
de los dos, obteniendo:
H" n L"={6}
Hallamos inicialmente el conjunto H
-
L, obteniendo H
-
L
= {1,
3, 5}' al cual
se le calcula el comPlemento:
(H-L)"=12,4,61
Segn la definicin H n L=A,ya que los conjuntos no enen ningn elemento
entomn. En este caso H y L se llaman conjuntos disyuntos'
1.13 PROPIEDADES
DE LOS CONJUNTOS
A continuacin se presentan algunas de,las propiedades para las operaciones entre
conjuntos.
pero
coirro el objetivo de este libro no es realizar una demostracin de las
mis-mas, sIo se presenta, a manera de ilustracin, la demostracin de rna de ellas'
utilizando diagramas de Venn.
1. Propiedad ldemPotentc
a) AUA=A
b) AnA=A
2. Propiedad conmutatlva
a) AUB=BUA
b) AnB=BnA
3. Proptedad asoclatlva
a! (AUB)uc=AU(BUC)
b) (enn) nC=A(B^C)
b)
c)
d)
e)
Lclce
y
coNJUNros
19
U
cuando
se quiere
obtener
er complemento
de un conjunto
A dado, se escribe
un
conjunto
c' formado por
todos los elementos
del conurito
universal que
no estn en
A. Se simbollza
y se lee A complemento.
En muchas
ocasiones
se escribe
A'por A".
As, si U
= {1,
2, S-,4_,_S}yA
={2, },entonces Ac=
{f , B, 5}.
En un diagrama
de Venn:
FIGURA
1.5 Diferencia
entre los conjuntos
A y B.
Engeneral:
A- B
= {x
/ xe An x e B}
Complemento
Para aclarar
estos conceptos
veamos
el siguiente
ejercicio:
EJempIo
19
Conslderemos
los siguientes
conjuntos:
U={1,2,3,4,5,O}
ff
={1,
S, 5} L={2,4}
Hallemos:
a) H"; b) H U L"; c) H. n L"; d) (H
_
L)"; e) H n L.
a) Teniendo
en cuenta la definicin:
FIGURA
1.6 Comptemento
de A.
Hc
= {2,
4, 6}
Lcrcn Y eqN.rrJrrgs tl
"
4. Ptopledad dlstrlbutlva
a) AU(BnC)=(eun)n(aUC)
,
b) A n (n u c)
=
(A
^
n) U (e n c)
S. Ley de De Morgan ..j
,1
a) (A U B)"
=
A"^ 8"
r::
.
b)(ann)"=A"UB"
6. Propiedad de identldad
b) AUU=U
c) AnU=A
d) AA=A
?. Prcpledad dc complementacln
A)
AUA"=U
b)AnA"=@
c) (A")"=e
:
d) (t)'
=
@
e) (@)"
=
u
E. Si A c B, entonces para cualquier A;y cualquier B s cumple:
a) AUB=B
b) AnB=A
c) (A^B)cA
d) Ac(AUB)
.r::"
'
'':c,
i
I
I
I
!
t-
I

t:
t,
I
I
I
22 lrrnoouccrru A LAS MATEMTIcAS uNtvERstrARtAS
Ejemplo 2O
Demostrar que (A"
U B")"
=
A n B
La demostracin se ilustra paso a paso en la figura 1.7.
FGURA 1.7 Demostracin de (Ac U Bc)c
=
A n B.
I.14 CARDINAI, DE UN CONJUNTO
Si A es un conjunto finito cualquiera, se denomina cardinal de A al nmero
elementos de A, y se simboliza n
(A),
de tal manera que:
Si A
= lx /
x es una vocaU, entonces n (A)
=
5
Si B
= lx /
xes un primo par), entonces n
(B)
=
1r2
SiC
=
!*
/
*e Z,O < x< lO, xes impar), n(C)
=
5
SiD=A,ettoncesn(D)=O
de
ACUBC
\
U U
AB
@
AnB
AB
(Ac U Bc)c
12. El nmero 2 es el nico par que es primo.
Lorcl
y
coNJUNros x
Si A y B son conjuntos finitos cualesquiera,
entonces:
n(A U B)
=
n (A)
+ n(B)
-
n(An B)
En general, para tres conjuntos A, B y C:
n(AU B U C)
=
n(A) + n(B) + n(C)
-
n(A B)
-
n(An C)
_
n
(B
n C) +
U7
n(AnBnC)
como ilustracin de lo anterior veamos los siguientes ejemplos:
EJernplo 2l
Una encuesta realizada en una empresa sobre los hbitos de lecturas dominicales
mostr que: 166 personas leen EI Tiempo, 145 leen E|Espectador, }leen ambos
peridicos y 1O no leen ninguno de los dos. Realizar un diagrama que muestre
las relaciones anteriores.
Para comenzar se colocan siempre los elementos de la(s) interaccin(es); en este
caso 45. Luego, se completa el cardinal de cada conjunto, teniendo en cuenta
que 45 hace parte de los dos conjuntos, entonces:
E
10
FIGURA 1.8 Grfico del ejempto 21.
Ya que L2l
=
166
-
45 y 1OO
=
t45
-
45
EJemplo 22
Una encuesta realizada a un grupo
de 7OO estudiantes de una universidad
nocturna sobre los diferentes medios de comunicacin que usan revel que: lB3
tienen celular, 251 usan beeper, 471 enen telfono, 129 tienen beeper y felfono,
49 usan beeper y celular, 73 tienen celular y telfono, y 35 tienen clular, beeper
y telfono. Se pregunta:
a)
Cuntos
de los entrestados utilizan dos medios de comunicacin? (por
ejemplo, tienen telfono y beeper, pero no tienen celular).
24 lrurRoouccr n ms urrruTtcAs uNlvERStrARtAs
b)
Cuntos
de los entrevistados utilizan slo un medio de comunicacin? (por
ejemplo, tienen celular y no tienen telfono ni beeper)-
c)
Cuntos
de los entrevistados no tienen ningn medio de comunicacin?
Solucin:
Como habamos dicho anteriormente, en estos casos lo ms practico es elaborar
el diagrama correspondiente. Cuando se trabaja con tres conjuntre el grfico
que se obtiene est conformado por ocho regiones Rl, R2, R3--- R8, Gorno se
muestra en la figura 1.9.
FIGURA 1.9 Regiones generadas por tres conjuntos.
Estas ocho regiones son disyuntas, esto es, si un elern-rrn ci cu rblrna
ds
estas ocho regiones, no puede estar en ninguna de Las ec
fr
A su vez estas regiones generrn otras tres, compuesfias pr hqfcE ED y R5,
R5 y R7 y, finalmente, R4 y R5, que llamaremos Rz-s, Rs-zy*m, rGrpdmmnte
y que se muestran en la figura 1.1O.
FGURA 1.10 Regiones R2-5, R5-7
!
Ra-5.
I
@q
HGTT
Lerce
y
coNJUNTos 25
. Para colocar el cardinal de cada una de estas regiones, se empieza por colocar el
cardinal de la regin R5, la triple interseccin, que corresponde en este caso (BE)
al nmero de encuestados que usan los tres medios de comunicacin.
A
continuacin se halla el nmero de elementos en las otras regiones:
i) Nmero de elementos en R2
=
49
-
35
=
t4
ii) Nmerorde elementos en R4
=
73
-
35
=
38
lii) Nmero de elementos en R7
=
129
-
35
=
g4
iv) Nmero de elementos de Rl
=
133
-
38
-
35
-
L4
=
46
.
v) Nmero de elementos de R3
=
251
-
94
-
35
-
14
=
lO8
vi) Nmero de elementos de R6
=
471- 38
-
35
-
94
=
3O4
vil)Nmero de elementos de R8
=
7OO
-
46
-t4-
lO8
-
94
-3S -
BB
-
BO4
=
6I
La situacin correspondiente se ilustra en la figura 1.11.
En la figura 1.1f
,
C, B y T corresponden a los siuientes conjuntos:
C
= {x/
xene celula}; B
= {x/
xusa beeper};T=
{x /
xtsene telfono}
Por lo tanto el nmero de personas que tienen slo celular y beeper es 4g y
corresponde a la regin R5-2i el nmero de personas que usan sIo celular
y telfono es 73 y corresponde a la regin R+-si y el nmero de personas
que usan sIo telfono y beeper es 129 y corresponde a la regin R5_7.
U
FIGURA 1.11 Cardinal de las regiones R1 ... R8.
26 lnrnoouccru us tunreurcAs uNrvERsrrARrAs
De otra parte, el nmero de encuestados que usan slo celular es 46 y corresponde
a la regin Rl; el nmero de encuestados que usan slo beeper es 1O8 y
coresponde a la regin R3; y el nmero de encuestados que usan slo telfono,
que corresponde a la regin R6, es 3O4.
Finalmente, el nmero de encuestados que no usan ningn medio de
comunicacin es 61 y corresponde a la regin R8.
1.I5 RESUMEN
Una proposicin es un enunciado del que se puede afirmar que es verdadem o
falso pero no las dos cosas alavez.
A la veracidad o falsedad de una proposicin se le llama valor de verdad y se
indica con V, si es verdadera y con F si es falsa.
Una proposicin compuesta est formada por dos o ms proposiciones simples
unidas por conectivos lgicos.
Los conecvos lgicos ms comunes son:
Disyuncin
(v) que se lee o
Conjuncin
(n) que se lee y
Implicacin
(-+) que se lee entonces
Doble implicacin
(e) que se lee s y slo s.
Una proposicin compuesta unida por:
a) La disyuncin tiene un valor de verdad falso, slo cuando ambas prorcsiciones
son falsas.
I"a conjuncin slo es verdadera cuando ambas proposiciones sonverdaderas.
La implicacin slo es falsa cuando el antecedente es verdadero y el
consecuente falso.
La equivalencia es verdadera cuando ambas proposiciones stmples eaen el
mismo valor de verdad.
6. Tautologa: Cuando todos losvalores deverdad de laproposicinsonverdadems.
Falacia o contradiccin: Cuando todos los valores de verdad son falsc-
_T
-T
t
t
I
I
I
I
l
l
i
'l
I
7.
I
9.
lo.
ll.
L2.
r3.
L4.
1.
2.
3.
4.
b.
E
1.
b)
c)
d)
t.16
Lercl
y
coNJumros
27
7. Argumento
lgico: Es un razonamiento
en el cual a partir
de una serie
de
enunciados,
llamados premisas,
se obtiene un resultado
llamado
conclusin.
8. [,os conjuntos pueden
determinarse
por comprensin
y por
extensin.
9' Los diagramas
de venn se usrn prra
representar grflcamente
un conjunto.
1()' La relacin
de pertenencia
e
,
o no pertenencia
, se establece
entre un
.elemento,
y un conjunto.
La relacin de contenencia
c, o no contene cia
q,
se establece
entre dos conjuntos.
l1' El cardinal de un conjunto finito A es el nmero
de elementos
de un conjunto y
se simboliza por
n
(.
12. Para todo A, B y C se ene que
a) n(AU B)
=
n(A) + n(B)
-
n(AnB) y
b) n(AUB
u c)
=
n(A) + n(B) + n(c)- n(AB)
-n
(B
n c)- n(An c)
'+n(AnB^C).
l3' Para todo conjunto B, cuyo cardinal es n, el nmero
de elementos
del conjunto
partes
de B, es igual a 2n.
i
14. Operaciones
con conjuntos
Unin, AU B
= {x /
x
F
Avxe B}
Interseccin,
An B
= {x /
xe A rr, x
Diferencia,A-B
={x/
x e A x e
Complemento,
A"
= {xe U , x e A}
1.T6 E.TERCICIOS
Y PROBLEMAS
B]
B}
1. Determine
el valor de verdad de cada uno de los siguientes
enunciados:
a) Si 3 < 5, entonces
-B
<
-s
b) (Si
2 + 2
=
4,entonces
3 + S+ 7) siyslo
si I + I
=
4
c)
G
=
4 .'ft6
=4
d) 6+4=lOy^[rx"[2=Z
28
lurRooucctH
A LAs
MArEMr:As
uNlvER:lrARlAs
e)
^ts*"[,={s
Y
4+4=8
O
52=25
3x3=9
g) Si2.+2=4entoncesnoesciertoque
(2+ 1=3
y 5+
5=
10)
h)
2 + $
=
7 siYslo
si' 5-
1
=
2
i)
Si 3-
I
=2'entonces
2 +2=
4
fl
5+
1
=
8 si
Yslo
si'
5-1^=2
2.
ConstruYa
la tabla
de
verdad
de:
.a)
(p-+q)a(Pna)
b)
(-P)+(q-+P)
c)
(P-+q)v-(P<+-q)
s.
:"j:'#
;ffi;*:r:::
(raracia,
tautorogia
o indeterminacin)
cada
una
de
u'
Ll-"igt'i"ttt"s
proposiciones:
a)
(Pq)-(P"q)
b) {1,

q) s}
e {P

(q ' s)}
r^^c
4. Construya
ta tabla
de
verdad
apropiada
para
demostrar
o refutar:
a) t(pvq)n-P)<+(-Pq)
b) 1Pv(P^q))eP
c) t-(Pva)v1-Pq))a-P
d) tP-+
(q+ dl
e {(P
-
r) + - Q}
5.
Demuestre
utilZando
las
tablas
que:
1P
-+
(o r)l <+ t(p
-+
q) '
(P -+ r))
Esto
es,
que Ia
implicacin
cumple
Ia
propiedad
conjuncin'
6. Qu
pasa
con
respecto
a la disyrncin?
7.
Niegue
la siguiente
proposicin:
t(p'q))-+[svts0]
distributiva
resPecto
a la
Lotce
y
coNJUNTos
t,
8' Exprese en forma simblica utilizando
el cuantificador
adecuado y niegue las
siguientes proposiciones:
a) No existe ningn entero x tal que x
-
E
= -S
b) Ningn conjunto es subconjunto propio
del conjunto vacio
c) Algunos mamferos son acuticos
d) Existe algn x e R
/
x es un nmero irracional
e) Para todo entgfo x, x- x
=
0.
9. Escriba las siguientes proposiciones
ulizando nicamente
el conectivo -+
l(p
-+ q)
^
(p -+ r)) v
(q
,^. r)
-l@nq)
n(p-+r)l
lO. Verifique la validez de los siguientes argumentos:
a) pri p+q
p2:
-r+-cl
p3l
-rvS
it+: -
t -+ s, entonces
Q:
p-+t
-pvq
q)r
-
(r
-
s)
-
t -+
-
s, entonces
-t--+-p
ll. Compruebe la validez del siguiente argumento:
p: Si trab4jo no puedo
estudiar
p2: Trabajo o hago deporte, pero no las dos
p3: Hago deporte
Q
: No puedo
estudiar
12. victor, que siempre dice la verdad, le ha contado a su hermana lo siguiente:
"Me
gusta
Mara Helena o Liliana, pero no las dos. Adems, si me gust[ra
Liliana,
tambin me gustaria
Maria Helena".
euin
le gusta
realmente vi"to.z
a)
b)
b) pr:
P2:
Pe:
P+:
Q:
30 I rrnoouccl A LAs MATEMTtcAs uNtvEBStrARtAS
13. Verifique la validez del siguiente argumento:
p1: ls nios son irreverentes
p2: Usted es considerado un cobarde si no puede dominar una situacin peligrosa
p3: I-a.s persenas irreverentes son cobards, entonces
Q:
Los nios son irreverentes.
14. Verifique la validez del siguiente argumento:
p: [.os borrachos no tienen fuerza de voluntad
r2:
Nadie luce bien si est desarreglado
4:
Si uno no ene fuerza de voluntad, vive desarreglado, entonces
Q:
Si hno est borracho, no luce bien.
15. En el siguiente rrgumento indique cul es la conclusin adecuada para que el
argumento sea vlido.
p1 : Ixrs borrachos son muy comunicativos
p2: Aquellos que no cumplen sus promesas, no son dignos de conanza
p3: Uno puede confiar en una persona comunicativa
pa: Una persona, o es borracha o es tacaa
p5: Una persona que guarda una promesa es honesta, entonces
Q:Los
tacaos son deshonestos
Oz:
[,os honestos prestan dinero
Q3:
Los deshonestos son tacaos
O:
[,os que prestan dinero son honestos.
16. Describa por extensin los siguientes conjuntos:
a) P
=
{x /
x es pais de Sudamrica que ene costas sBre el Ocano Pacfico}
b) A=1x/xeZ*,x<l5l
c) S
= {x /
x es mes del ao que empiece por j}
d) T
= lx /
x son asignaturas que cursa este semestre]
:'
e) H=[x/xeZ,x2lO y xS25l
-0
D
= {xe
R
/
l-gx+ 14
=.O:i.
-,'*
g) L
= lx /
x es letra de la palabra Amrica)
h) F=x/x eNyxseapar)
-
i) B
= {x /
x sea digito del nmero 39.835}
J)
Z
= lx /
i es planeta de nuestro sistema solarl
Lapl
y
co{.tJrrrn s 3l
.17.
Escriba por comprensin l6s 5igiuientes conjuntos:
a) A
=
l.1,2,3,
4,5, ...1
b) B=lX,Y,Zl
e) C
= t.2,4,
6, 8l
d) D
= {-5,4,
-3, -2,-1,
O, l, Zs
0
s)
,.
rl t:
;is

i:.'
R
= {x /
x sea mes del ao que empiece por m}
V
= {x /
x seapas de Sudamrica con mayor extensin}
19. De acuerdo con los conjuntos dados, determine cules de
enunciados son verdaderos y cules son falsos, y diga por qu.
g
= {l ,lt,2l,2l
P
= 10, {3}, {5},
8}
S
= {a,
b, c, ch, dl
los siguientes
.p*P
erF
l
E
= {or"
b, c, d, e, ..., zl
P
= {noviembre,
diciembre}
G
= {3,
6,9, ...,271
18. Determine cules de los siguientes conjuntos son iguales y establezca la relacin
de contenencia cando sea posible.
M
=
{x /
x sea mes del ao}
N
= {9,
-2}
O
=
{x /
x seapas de Sudamrica cuyo nombre empiece por B}
P={9}
Q = l_2,
O, 3, 6, 9I
L'h
'
S
= {marzo,
mayo}
T={x/*2-7x-18=O}
hrnmucctl.l
A la MATEMATTIs ut'lvEns[ARIAS
el {f}cO
',:
b) @eP
c) eLb,c,eS
d) {1,2}
e
I
e) che S
0 {8}cP
g)
to' {3}}c
P
hJ 2*Q
t) {ch}
G S
J)
la,3l
c P
2O. Dados los conjuntos:
U
= {a,
b, c, d, e,J,
gl
A={cLb,c}
B
= {cr,
c, e, gl
C
= {d,
e,.f, gl
encontrar:
\,a)
(AUB)nC
b)
(BnC)U(AnC)
c)
(A-B)I-IC
d)
(C-A)nC
\c)
.A"
n C"
-,0
{e
n A")"
rri
\g)
(B'u C)nA'
Lercn
y
@ln ]rros
21. En cada diagrama
sombree la operacin
indicada.
l .) AU(B-C)
bt rA-R)^
c)
(AUB)cnCc
e) (AnB)U(BnC)
U
d) AcnBcnCe
9f)
(CA)c
O
U
b) (A-B)n(A-C)
B
O
O
lrurRoouccr' ts ureulcAs uNtvEBStrARtAS
g) c"u(A-B)
Bovla
estao
plata
antimonio
caf
h) (AnC)u(BnD)
q*
U
22. utillzar,do las propiedades de los conjuntos demuestre que:
a)
(AUB)nB=B
b) (AnB)U(AnBl=A
c) (l\"nen(A"UB")"=A
23. Partiendo de que n(AU B)
=
n (A) + n
(B)
-
n (A
n B) y utilizando las propiedades
de los conjuntos demuestre que:
n (A
U B U C)
=
n
(A)
+ n
(B)
+ n (C)
-
n (A
B)
-
n (B
n C)
_
n (A
n C) +
n(AnBnC)
Indicaein: Haga (A
U B)
=
D.
24, A continuacin presentaremos
los principales productos
de exportacin de los
pases del Pacto Andinors.
Colombla Dqlrador
perri
Venezuela
petrleo
petrleo
cobre
gas natural petrleo
camarones petrleo
acero
banano
esmeraldas
frutas
derivados cafe
del pescado
caf zirtc
cacao caf
aluminio
cacao
13. Estos datos fueron obtenidos en Software
pc
Globe.
Lolcl
y
coNJUNTos
a) Determine por extensln los conJuntos B, c,
p
y
v cuyos elementos
principales productos de exportacin de Bolivia, colombia, Ecuador,
son los
Per y
Venezuela, respecvamente.
Determlne un conJunto que slrva como conjunto
Pyv.
Encuentre:
i) CnP
il) BUC
universal para B, C, E,
iii) E"
(exprese
en palabras el significado de. este conunto.
iv) B-E
v) B n C n E nPnV (qu
significado en este conjunto?)
25. El siguiente diagrama de Venn muestra ciertas caracteriscas de los empleados
de una empresa donde:
H: Representa el conJunto de hombres
C: Representa el conjunto de casados
E: Representa el conjunto de extranjeros
b)
c)
U
36 lr'rnoouccttq r Lns unreulcAs uNtvERStrARtAS
Determine:
a)
Cuntas
personas forman eI conjunto universal?
b)
CuLntos
hombres casados hay'?
c)
Cuntas
mujeres extranjeras solteras hay?
d)
Cuntas
personas extranjeras hay en la empresa?
e)
Cuntos
hombres nativos solteros hay?
0 Hay
igual nmero de hombres que de mujeres?
g)
Hay
iual nmero de extranjeros que de nativos?
h)
Cuntas
mujeres casadas hay?
f)
Cuntas
mujeres nativas solteras hay?
Indicacin: Tenga en cuenta que una persona que no est en el conjunto de los
extranjeros es porque obviamente es nalivo.
26. Sabiendo que:
n (A)
=
35 y n
(B)
=
40, halle n
(A
U B) si:
a) n(AnB)=8
b) Ay B son disyuntos.
27. En una encuesta realizada a lOO personas sobre sus inversiones, se o-bseni que
45 personas posean acciones, 6O poseian bonos y 9O posean por lo menos una
de las dos inversiones. Se desea obtener la siguiente informacin:
a) El nmero de personas que tienen ambas inversiones
b) El nmero de personas que no tienen ninguna de las dos inversiones.
c) El nmero de personas que poseen solamente acciones
d) El nmero de personas que poseen exactamente una de las dos inversiones.
28. En un sondeo real?ado a los 123 empleados de una empresa se obtueron los
siguientes datos: 49 poseen casa, 5O tienen automI, 42 finca, 14 tienen casa
y automvil, 19 casa y finca, 24 poseen automvil y finca, y 93 por lo menos uno
de los tres bienes. Se desea saber:
a) El nmero de empleados que tienen los tres bienes
b) El nmero de personas que no tienen ninguno de los tres bienes
zg
3r
t
F
t
,i
Lcrce Y coNJUNros
c) El nmero de personas que tiene uno de los tres bienes
d) El nrnero de personas que slo enen casa
e) El nmero de personas que tienen automl y finca solamente.
29. En una encuesta sobre tres artculosA, B y C se
gbtueron
los siguientes datos:
n(AUB)=75 r(A)= 43, n(C)
=
52, n(AnB)
=
15, n(AnC)
=
18,
n(B n C)
=
16, n(Al
=
77 y n(An B n C)c
=
113
Se desea saber:
a) El nmero de personas que prefieren el artculo B
b) Cunts prefieren slo el artculo B o C, pero no ambos
c) Cuntas prefieren por lo menos uno de los tres arteulos
d) El nmero de personas a las que se les hizo la encuesta
e) El nmero de personas que slo prefieren el artculo A
I
El nmero de personas que no prefieren ninguno de los tres articulos.
3O. En una universidad al analizar los horarios de clase se observ que:
El 43o/o de los estudiantes enen clase a las 7 a.m.
47o/o tienlen a las 8 a.m.
4Oo/o alas 9 a.m.
160lo tienen clase a las 7 a.m. y a las 8 a.m.
l8o/o aias 7 a.m. ya las
g
a.m.
l4o/o alas 8 a.m. y a-las
g
a.m.
60lo tienen a las 7 a.m., 8 a.m. y 9 a.m.
Se desea conocer:
a)
Qu
porcentaje de estudiantes tienen clase durante esas tres horas
b) Slo a las 8 a.m.
c)
Qu
porcentaje no ene clase durante esas tres horas
d) S1o a las 7 a.m.y a las 8 a.m.
38 lrurRoouccru l ns unteurcAs uNlvERStrARrAS
31. Grupos sanguineos
En 19Ol Landsteinerra descubri que los glbulos rojos de la sangre humana
pueden tener dos tipos de aglutingenos especificos, el A o el B y que la
combinacin y
/
o ausencia de ellos determinan los grandes grupos sanguineos:
A, B, AB y O.
En el ao 194 1, lndsteiner y Wiener descubrieron el factor Rh con cuya presencia
o ausencia se obtienen las siuientes combinaciones:
A.
A_
B*
B-
AB*
AB-
o*
o-
Tiene el aglutingeno A y el factor Rh
Tienen el aglutingeno A pero no el factor Rh
Tiene el aglutingeno B y el factor Rh
Tiene el aglutingeno B pero no el factor Rh
Tiene los aglutingenos A y B pero no el factor Rh
Tiene los aglutingenos A y B pero no el factor Rh
No tiene los aglutingenos pero si el factor Rh
No tiene ni los aglutingenos ni el factor Rh
En un hospital se obtueron los siguientes datos sobre los pacientes atendidos
en una semana:
Se atendieron un total de 14O personas de las cuales,16 fueronAB*, 62 tenian el
aglutingeno A, 4 eran del grupo O-, 26 eran del grupo B*, 30 fueron del grupo
e., OO tenian el aglutingeno B, lO eran del grupo AB-, se desea saber:
a)
Cuntos
tenan los aglutingenos A y B?
b)
aCunt1s
eran del
rupo
O?
c)
Cunttenian
el factor Rh?
32. Conteste y justifique su respuesta, en cada una de las siguientes preguntas.
a) Es
{A,
t un subconjunto de e
= {1,
2}.
b) SiAyB son dosconjuntostales que n(A)
=
8, y n(B)
=
6, es necesariamente
cierto que n
(A
U B)
=
14. Explique curndo es verdadero.
14. Karl Landsteiner. Mdico austraco, nacionalizado norteamericano (Viena 1868, NuevaYork 194q).
Cond