Está en la página 1de 9

:

t.

1. CONJUNTOS Y LGIC.A f'*


!

Desde Laocs de oro de los griegot, se deline Io que habra de se el


mtodo formsl de las matemtic]Ele mtodo c<nsiste en Jo siguiente:

utto tocin cl,0ia de los.ohjetos con los


qrte ie Uaboa g los motarutieos ploporcio'utn las tuglas (conryletamente

se ,pore que IlLs personas tienen

Eetc mtodo se sigui para desarrollar toda ia geometra clsica' En los


elementc de Euclides. se empieza suponiendo que el lecto sabe lo que es una
rects y un punto, se definen las reglas bsicas (axiomas) que lx rigen y, de
que
ellas, se derivar todos los resultados conocidos de geomefra. Se supone
eI lecto sabe lo que son los prmtos y 1as rectas Porque no es posible definir
estos conceptos sino con nociones equivalentes' Pr'rr ejemplo podramos decir
que una rot" * una sucesin de puntos alineados Pero entonces tendramos
que explicar que signidca una sucesin y' Peor aun, tendr'amos que decir
que oignifica que estn alineados. Si uno le da r'rreitas a estas ideas por rm
rato, se puede convencer que se tiene que empeza con algunos concePtos no
de6nidoe y a partir de ellos defnir y trabajar todo lo dems'
A principios dg-e9t9gS, los matemticos se dieron cuenta que casi tc>'
e coniunttis' Y Para
d*
empieza .,tpot'i"ii'fr1 Personas
desarrollar la teoe "
""
"otj.*t*,
entienden lo que es un conjr.rnto y que puede deci-sLnterqgnto-pertenece
a l o no. A partir de esto se dan las FEi-sicu" (axiomasJ que rigen
a lc conjrurtos y. de ellas, se obtiene rrna serie de lesultados' \o todos los
mtemticos estn de acuerdo eR ias mismas reglas bsicas de las que se debe
partir pero ese es otro cuentt. Este enfuque axi<.mtic< de Ia teora de ios
L"j,-t* s estudia en materias ms avanzadas' Ei primer ojetivo de este
ctrrso es eI de fariliarizarse y apfender a hacer aigunas manipuiaciones con
ellos.

Para empezar, a rm conjunto 1o pudremt-rs describir encerrand<' a todos


sus elementcs entre llves o daqdclna,Eglg-que digq cqramen!9S.ulgs-g:'"
coni{nto. Pt,r' eiempl('r. ct nsidetemus lus slgruenles

J^

{t

FF
t

{p : p es rrna ;ersona}.
{c : c es rina casa azrll}
: n es u nrmerc., entero v positivo} ' etc'

Observemos que los .1.)'i:t:imeros conjtrntc.s n< tienen una defiicin tan
precisa pues tendramos que decir qu significa ser una persona. Tal vez
tendramos que fijar un tiempo para referilnos nada ms a las personas l'ilae, tambin tendramos que decir si una alguien que l'ra a nacr en una

etc. Algo parecido ocurre qon eI seguado conjunto. Sin embargo, el tercer conj Uje-!S- una-lg:ggglgad
seman ya se considea una pelsona,

perfetamente
oerfetamente defrnlda
defrnida gJr - o t"''.;ijiFilSlt4 se puede denotar de la sigu-"
iente manera {1,2,3,..,i. A veces usaremos conjuntos de sillas. rbles, etc.,
de vista formal en las
nada ms uara ilustra. desde el
ticos, como el del tercer
slc usarem<.s conjuntos de
Ahcira daremos algunas definiciones para estabiecer relaciones entrq coniuntos,

Dados dos conjuntos A y B diremos que A C B (,4 est,


contenido en IJ) si todos los elementos de A estn en B. En smbolos esta
definicin se puede escribir as:
V ,,1, a B (esto se lee. pala toda r en,4, se tiene que iD est en ,B)
o tambin se puede escribir as: r e A "+:r B (esto se lee. .r en A implica
., que .r' en B).
Taml-,in diremos que .4 ! 1i (Se lee. A est 1t1opt'mtrt'te_conten,ido en
B) ctand<-r il c ts y B no est contenido en rl|. O lo que es 1o mismo. todos
estn
los elementos de .4 estn en B
-- Observemos que. con esta
n. -.1 C ,4 para cualqrtiel conjrrnto y
tambin se tiene que {I.2.1.2.2, i} C {1.2}.
Cnandr. A n<. est contenidt en B, escribirem<,ts A ( B. De acuerdo con
ia definicin, esto qrere decir cre no es cierto que todos los elementc.,s de
pertenecen a R. O lo que es lo mismo. existe tn elementu de ,{ que n<,
pertenece a B.

DEFINICION.

')

DEFINICION.La utin de dos conjuntos ,4 y B es el cunjrinto -'lU B :


{x:.t e Ae' B}, donde A <-t r e B significa que;r: est en algum.i de
a

t
--'''!lF4

los dos conjuntos (o en ambos).

DEFINICION. La ttr rsr':ci de dos conjtrntos .^1 .'- B es el cunjtrntrr


A n B : {* : x e.;l y r 8}, donde r -4 }' rc B significa que z est en

rqro.ce( rePul\ado

{rene ' :t\t(c?9,

",il

on^"*,:tr

"\;::r+11'

--,LC,.

(2) Tenemos que comprobar que: (a) Au(Bf1C) c (Au B)n(AuC) v


(b) (Au B)n (,4 u C) c Au (B C).
^ ele.mentc cualguiera r . AU (B n C)'
Para probar a): Tomamos un
onces se cumple una de las siguientes dos afirmecione s a e Ao(r e B^C.)
Consideremos primero el caso en que t A. Segn lo que vimos en (1)'
tenemos que n AU B y tambin r A|JC (pues en (i) B es un conjunto
cualquiera, en particular, podemos usar (1) pera el c<injunto C), de manera

'\

qrrer (AuB)n(uC).

Ahora consideremoa el caso en que r e BnC. Entonces c B y adems


c C. Por lo que mos en (1), ten':mos que t AUB y ae AvC. De
manera que o e (.4 u B) n (.4 u C).
En cualquiera de Ios dos casos posibles, c e (Au B)n(AUC)'
,^ Esto termina la prueba de que .4 u (B tuC) c (Au B) n (Au C).
(b), tomamos rn elemento cualquiera r e (AuB)n(AuC).
v\
'Sr,,ol'\r.i Para probar
Entorr"", r e AtJByr AvC. En el caso en que r .4, por (r),

^ Lr
t)o*

\./

r3'
r Au(BnC). Supongamos entonces que o (,4. Sabemos queir .AuB
y r e .4U C. Entonces A o B. comr: no se cumpie 1o primero y se
^a({*"ia
,^{ .t.'. --rN ^ tiene que crrmplira laguna de las dos, tenemos que .D B. Por otra parte.
r" AUC implica que I Ao e. C. Como no se cumple Ia primera, tenem<s
rlC l,
ar
'r\'' ^"tJ"t.. 9ue.r C. De modo que x BC. por (l). r:e Au(BC)' En los dos
",^c'
'(o''l
,.,r$' casos result que o e Au(BltO). Por tanto (AuB)n(AuC) c Au(BnC).
:-"\
Como ya mostramos (u) v (b), concluimos que Ia propiedad (2) es cierta.
,-..,r'.\r.]*
,

\o

'''

t1

(3) Aqu tenemos que probar que: (a) A n (B u C) c (An B) u (,{ n C)


)' (b) (An B) u(An-) c An(BuC). Para ver (a), tomemos un punto
cualqrriera t e n (BvC). Entonces x e A y a BUC. De modo que c .l
y (r. e B or C). Est< nos dice gue r e B or e C (adems de estar en A).
Podemos entonces considerar dos casos: si r B, entonces r An B, y por
(1), o e (n B)U(AnC). Yen el caso en que c C, entonces t AnC.
y por (1), n e (An B) u (n C). En los dos casos, r e (An B) u (AnC).
Con esto hemos probado qrre A (BuC) c (An B)u (AnC).
AJrora probemos (b). podemos poner t<das las paiabras como en el prrafo
anteriol o abreviar la prueba como sigtre:
Sea (An Bl U (.4 n C), cuelqera

+r.4nllvtA^C.

n R .+ .r' ,,1 v.r t]


: 1 o (BuC).
Si :r

{
I

\
\

+ tAy t tsUL'

(pt

r (1)) +

II

SiAnC+r Ayx

e C +x eAy:ce. BuC (por (1))

r.. A(12tt/.a\
En los dos ca6os, e An (B U C).
Por tanto (An B) u (,4n C) c A(Bue).

Hay otra manera de comprobar propiedades de conjuntos. esto es gon las


llamadas tablas de verdad. A continugcin explicamos qu signifrcan stas.

fl (irrno

TABLAS DE VERDAD

rcrn

) ,,

PvQ

.)

F
F

;
:'
I
t

I
i

F
F
F

5l c5

< :clr

Si tenemos una proposicin P (por ejemplo: .r e ,4; 50 < 27; Z C N; si


a ( , entonces : ; etc). Entonces P slo pr.ede ser falsa o vedadera.
Dadas dos proposiciones P y Q, pod"-o@
y
Q, P Q, P + Q, no P, etc.
b-uc,,o:/
El "siguiente qrreglo resume rlgr,e" tablas de r.erdad.

i ft poede

nt-

F.^l>o o

w/do+rq

F
F

Esta tabla se fnrma de la siguiente forma. Como inicialmente tenemos


las dos proposiciones P v Q. ponemos en las dos primeras colrrmnas tod.as
1as posibilidades de verdadero y falso para ellas. P<r esta razn pusimos las
posibilidades de que las dos sean r,erdaderas, que 1a primera sea verdadera v la
segunda faisa, que la primera sea falsa y la segunda verdadera y, finrlmente,
que las dos sean falsas. Como se entiende que la pr<.rposicin p o
e es
verdadera cuando P es verdadera o Q es rerdadera {o ambas) y es falsa
cuandu tant P corno Q es falsa. se entender por qu pusimos tres lerr.as V
y una F. Para que la proposicin P y Q sea rrcrdadera se necesita que tanto
P como Q sean l,rrdaderas. esto explica por qrr prrsimos rina V y tes letas
F. Finalmente, en la irltima cq.hrmna slo pusimos k cuntrario de la cohrrnna
de P.
La iabla de P + Q requiere de rina ocplicacin ms cuiclad.csa. La
mnera que encllentro ms clara para bordarla es haciendc :rimero Ia de su
negacin. Primeo recordemos que la proposicin .f, + e. significa que cada
rez qrre P es vedadera se tiene que cumplir que e tambin es verdadei'a.
Por ejemplo:
V
nor0nJo5 3ovl
P- l

{rol os

5
(! .. Lq.
Pcj

r\PJ?
lV

e*Q
P

?on ! Ctn P(? cr b \er

rc"

, ., lor

---h' v
---D F
t

POdoc )l oncJ

rdact

) f''

(l va lc

L"u ez c}c \tr'O rgo^

Orno ? l'oc ' on

o'
E xtF
r(eogJt^4(pa)<.-->

n
6r-.,oi" -- nc

t'

Q=

x -f7

no Cxl)

s y 8)

46# e> r,o (prq

;.

c" (da soleadu en el verano en el D.F.) + (da cahroso en ei D.F.). Esta


implicacin es verdadera.
(Jos asiste hoy' a su clase de lgelrra Supeliur) + (Jos va al cine en la
tarde). Esta impiicacin es falsa pues hay das en que Jos asiste a su clase
Irelu nu \a al r^ine en la larde.
Este ejemplo ilustra que la implicacin P + Q es falsa cuand.o se cumple
P y no se cumple Q. Es decir, la negacin de P + Q es P y (no Q). Ent<inces
para constrlrir la tabla de verdad de P + Q podemos constrlr la de P y'
("" Q) y despus su negacin.

l) () noQ Py(noQ)
F

l'
F
F

V
F

no (P y (no

f/)

P=>Q

F
F

Pala constluir esta tabla, otra vez empezamos poniendo todas 1as posibilidades para P y para Q, despus pusimos la negacin de Q, simplemente
cambiando los valores de la columna is Q, en la columna de P y (no Q) slo
pusimos vaior de verdad (V) cuando tanto como P como (no Q) es verdadero.
En la sigrriente columna slo intecambiamos los valoes de la cuarta columnay! como hal-amos dicho que (no (P y ("" Q))) es lo mismo que (P + Q),
en la tima cclumna s1o lepetimos 1t.s lalcres de la quinta.
La tazn por 1a que no tratamos de explicar la proposicin P + Q directamente se puede obsenar en la tabla. Cmo prrede llno convencel'a algren
qrte cuando P es falso y Q es vetdadero. entonces la implicacin P + Q es
verdadera? (esto es lo clne dice la tabla). Algrrn<rs lo intentan poniendo el
ejemplo:

Si mi abuelita t,uviera luedas sera bicicleta.


lndependientemente de lo que piense unt de la abuelita del clrre dice esto.
se dice qrre esta implicacin es l.erdadera porqre lrara clue no fuera cierta
se necesitaia qrre mi abr-relita tuviera ruedas r no fuera una bicicleta l'.
efectivamente, como mi abuelita no tiene lrredas, no vamos a poder negar la
implicacin y. por tanto. Ia implicacin es una proposicin verdadera.
Este es un buen momento para comental qrre Ia implicacin P =+ Q n<,
es lo mism<. qrre la implicacin (no l,) =+ (no Q). Un buen ejemplo de esto
se puede construir poniendo:

t.

l.

I
I

i.-

(ihreve) =+ (est nublado), la cual por cierto, es una implicacin verdadera. Esta implicacin no es la misma que: (no llueve) + (no est
mrblado), la cual no es r:rta implicacin verdadera pues puede ser que no
lltrera pero que s est mrblado.
En cambio. la implicacin (no est nLrblado) + (no lhieve), tambin es
una implicacin verdadera. De hecho es tura proposicin equivalente a la
implicacin (llueve) .+ (est nuLrlado).t Para convencernos de este hecho
podemos construir sus tablas de l'erdad y comprobar qlre son la misma.

f,

noQ xt P
F

F
F
F

no P) =+ (no Q

F
F

P+Q

no Q) =+ (nu P

F-

La quinta columna de esta tabla se construy recordando que una impiicacin es falsa sit crand< Ia parte izqrerda es verdadera y la delecha es
falsa. esto ocurre slo en e1 tercer rengln en donde (no P) es verdadero y
(n" Q) es falso. De rnanera simiiar se constru,-e Ia sptima columna.

PROPIEDADES (LE)aES DE DE \{ORGAN).

(1)(AuB)":An8,,
(2)(AnB)':AB,

Si A,

. X ,entonces:

Probalemos (i) por elementos y (2) usando tablas de r.erdad.


Como siempre. para probar (1). tenem..,s que mostrar que: (a) (AU R)" C
,,1' a B'' y (b) .1" L R' c QlU B)',. Para demostrar (a), sea z :n elemento
crralqrriera de (A U r3)". entonces !: L AU B. Enttnces z no puede estar ni
en 1 ni en B (pues de lo contralio r estara en Ia unin). Es decir-. r ( ,4
y x # B. De manera clue r Ac y x B''. Por tanto A'flB'. Esto
temina ia demostracin de (a).
Para demosta (b), tomemos rn elemento cualquiera r de A, ll B'. entonces z A'y r 8". De modo que r 4 Ay:r ( B. Esto implica que
r ( AU 13 (pues de los contraric, estara en ,4 o en /3, pero no est en
ningrmo de los d,,s). As qrre r@AuB)". Esto tel.mina la demostracin de
(L) 5'completa la demt siracin-e (l).
l^

Para demostrar (2) usando tablas de r.erdad, llamamos P a la proposicin

..1. llamamus Q a la pr<-rpusicin.r /1. La traduccin de t: n B


es Ay r B, <., sea, (1)y (/). Ent<.'nces Ia tradrrccirr de r e (-4n li)'

es [no (P y Q)]. Por otra parte, la traduccin de t A U B" es t . '+ o


c Bc. Ee decir, o( Ao t(. B. Lo cral es L mismo que (no P) o (no Q).
Como queremos comprobar que la afirmacin r . {An B)c es eqvalente
a la afumacin e A.U 8", tenemos que comprobar que Ia proposicin [no
P v Q)l es la misma que la proposicin (no P) o (no Q). Fto lo vamos
a hacer simplemente construyendo sus tablas de verdad y comprobando que
son las mismas.
L)

no I'
F
F

a noQ
F

F
F

I/

no(PyQ

no P) o (noQ
F
F
F

Para constnr la quinta columna tenemos que fijarnos en laF coltmnaF


de (no Q) y de (no P) y poner una V cuando hay una V en alguna de las d<s
columnas mencionadas, y poner una F cuando hay F en mbas columnas.
Para construir Ia sptima columna simplemente construimos la coiumna de
@ V Q) (que ya habamos hech< antes) y le cambiamos todos los valores.
Como la quinta colrrmna y la sptima son iguales' podemos concluir que
las afirmaciones son equivalente y entonces hemos comprobado (2).
damcs otro ejemplo de cmo rsar tablas de verdad para
propiedades
probar
de conjuntos.
PROPIEDAD. Si .,1 c B, entonces AU B : B.
Para probar esto, llamamos P a la proposicin :r .4 y Q a Ia proposicin
r B. La proposicin C R se puede traducir en P + Q. La afirmacin
AUB: B se puede traducir enAlB C By B c Au B. Es decir,
i[(r e ,4u B) @ e B)] y [(:re B) (xe AUB)]]. Que en trminos de
P y Q se prrede escribir en I forma, {[(p Q)
Q] v lQ =+(P o Q)l]. Por

A contimracin

"
qrre pretendemos probar

es:
tanto la afi.rmacin
.+(P
o
Q)]i.
lp + Q\=+ {[(/'o Q) + Q] v [Q
Par saber si es rerdad. construyamos srr tabla de wrdad y verifiquemos
que en ella aparecen slo letras V.

P ()

(PoQ)=+Q Q=+('o{))

P ,,Q
\i

\'

-c

?-

l'

I
PoQ) + Qlvla +(PoQ)l Ip

=?l

{[(p " Q) +

Q]

[Q

+(P

o Q)]

Estas tablas se construyen con los'mtodos que hemos -seguido hasta


ahora. Por ejemplo, ia implicacin (P Q) + Q slo es falsa cuando (P o
"
Q) es verdadera y Q es falsa, lo cual ocurre en el segundo rengln.
Como en la tabla de la proposicin que quremos prbar aparecen sIo
ietras V, concluimos que dicha proposicin es verdedera.
La demostracin que acabamos de hacer es tur ejemplo agradable de cmo
se usan las tablas de verdad para probar afirmaciones. Hay quienes opinan
que construyendo estas tablas sale ms caro el caldo que las albondigas.
Juzgue uited mismo, a continuacin hacemos Ia demostracin de la misma
propiedad sin usar tablas de vedad.
Suponemos que,4 C B. Tenemos que deniostrar que : (a) AU B C B
y (b)B C AU B. La parte (b) ya fue comprobada antes, de manera que
slo tenemos que mostrar (a). Tomemos entonces un elemento cualquiera
e . AU -8. Entonces r Aon B. El primer ca.so es que x A.
Como, por hiptesis, A C B, obtenemos que .r B. En el segundo caso.
B. Entonces, en Ios dos casos, obtenemos que: B. Hemos probado
que :{ U B c B. EsIct completa la pmeba de la afu'macin.

ETERCICIOS

1. Encuentre explcitamente los elementos


n2 -3n +2:0) y {n e AI:40 < n2 < 80}.
2.

Sean

de los conjuntos

{n N

A, B, C y D conjuntos. cules de las sigrentes afirmaciones

son ciertas? (como siempre. las que sean ciertas hay cre prr:lbarlas y las que
no sean ciertas tienen que mostrarse con un ejemplo explcito).
(a) si ningrn elemento de .4 pertenece a B, entonces A$ B.

(b) (,4u8)- (An B): (A- B)u(B - A),


(c) (An B) - c : (A- c) n (B - c),
(d) (,4u B)- C: (A-C)u(B - C),
(e) A : B si y slo si (.,1 u A) - @n B) :0,
(f) (,4u B) f, (c u D) :.(AnC) u (B n D),
(s) (AnB) u ((rn D) : (Au C) rt (B u D),

:
I

l0

A:

(h) si .4 C B, entonces
B - (B
(i) A C B si y sio st An B - A,

A),

6)AcBsiyslosiAuB:8,
(k) An B : A- (A B),
0) An (B u C u D)

(An B)u (.4nC) u (An D),

(-) A- (BuC):(A- B)n(A-c),


(") - (Bnc): (A- B)u(A- C),,

() si A interscta a BnC y a CflD, entonces intersecta a BnC D.


3, Compruebe las aflrmaciones verdaderas del ejercicio anterior rsando
tabls de verdad.

"

I
f
I