Documentos de Académico
Documentos de Profesional
Documentos de Cultura
t.
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,
DEFINICION.
')
t
--'''!lF4
rqro.ce( rePul\ado
",il
on^"*,:tr
"\;::r+11'
--,LC,.
'\
qrrer (AuB)n(uC).
^ 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
+r.4nllvtA^C.
{
I
\
\
+ tAy t tsUL'
(pt
r (1)) +
II
SiAnC+r Ayx
r.. A(12tt/.a\
En los dos ca6os, e An (B U C).
Por tanto (An B) u (,4n C) c A(Bue).
fl (irrno
TABLAS DE VERDAD
rcrn
) ,,
PvQ
.)
F
F
;
:'
I
t
I
i
F
F
F
5l c5
< :clr
i ft poede
nt-
F.^l>o o
w/do+rq
F
F
{rol os
5
(! .. Lq.
Pcj
r\PJ?
lV
e*Q
P
rc"
, ., lor
---h' v
---D F
t
POdoc )l oncJ
rdact
) f''
(l va lc
o'
E xtF
r(eogJt^4(pa)<.-->
n
6r-.,oi" -- nc
t'
Q=
x -f7
no Cxl)
s y 8)
;.
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:
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.
(1)(AuB)":An8,,
(2)(AnB)':AB,
Si A,
. X ,entonces:
no I'
F
F
a noQ
F
F
F
I/
no(PyQ
no P) o (noQ
F
F
F
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)]
ETERCICIOS
Sean
de los conjuntos
{n N
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.
:
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)
"
I
f
I