¯ ¯ ¯ ¯ c c c
c
c ccc
c
cccccccccccccccccccccccc c c c
2011 c c c
Ý Ý
LIC. RONDÓN RAMÍREZ CARLO S VÍCTO R
à à à c
¯
c
LOGICA
PROPOSICIONAL
g g
! " # $ P ccc c cc c c cc c c c c c c c c c c c c P ccc cc c%cc c c c cc c c c c c c c c c c c c c c c c c c
cc c c c c c c c c c c c c &c c c c ' c c c c
c c ¯ ¯¯ ¯ gg g # ¯ c c c c c c c c c c P c c c cc c c c c c cc c c c c c% c c "c cccc c ¯ ´ % c c c c c cccc c c c cc c ´ ccc ´ c cc c c c ¯ (c c c c c c c c c c c c c c c c c c c c c c c c c c ¯ · cc )c · 9 c c · M c c c · &c c)c · È cc9%*c · 9 c c c c c c
c
Ã
Ã
à c
¯
c
c c~¯ "c + c c c c c c c c c c c c ¯ ¯P Æ c c c c c cc c,c cc cc c ¯ cc Æccc "c- cc c c -c c "c.c/c0 c cc c .c cc c cc cc c-åcc c c -c åc/c0 c cc c cåc c c c c c . c c c c c c c c cc/c0ccc c^ c ^ c c ¯ ^ cc Æc"cc ö = c Æcc "cc ö ë c c cc ö ë c c cc c c c c c c 1 c c c c c c c c c c c c cc c c
©P¯c cc c c c c c c c c c c c c c c c c c c c c c cc c c c c c c ¯ ^ c Æccc c cR ccc2ó !c c2!cc cc c c c c c.c cc c c cc.c c 9~9~~¯c ~ c ¯c c c c cc c c c c c cc 3 c c c c c c c c"cc c cc4 cc 5cc c c ccc cccc c c ¯ ^ c 6 "c6 ccccc5c4444444 cc cccc 6 ["c7,89:88;,8c44444444444444
cc< c cccccccccc c
© P ¯©¯P cÆ c c c "c c c< c cc[ c cc ccc "c c c
c
c
c c
ccc
Ã
Ã
à c
¯
c
- -c c c-c c c c - c1c c ccccc' c c cc c c c c c c ¯ ^ cc Ëc cc cc c Ëcc>cc c Ëcc cc c c Ëcc¯c cc cc c
c 9 c ^ c c ^ c < c c c c c c c c c c c c cc cc c cc c ¯ ^ cc Ëc ,?ccc c c c.cc c ËccÆcc c c c c Ëcc6 cc c c c c Ëcc@c cc c cc ¯ ^ cc ¯ cccc c cc "c 7 ccA cccc cccccccccccccccccccccccccccccccccccccccccc cc Æcc , Æc08Bcc ccc c c[c7 ccccccccccccccccccccccccccccc c cc 0 ¯c7:c ccCc c cc:, cccccccccccccccccccccccccccccccccccccccc cc Æcc ccc : ¯c7:cc cc:,c ccCc cc cc:, ccccccccc . ¯c,c cc0c c cc:> ccccccccccccccccccccccccccccccccccccccccc cc Æcc
¯c,cc cc:>c cc0cc cc:> ccccccccccccccccccccc cc cc C Æccc c c cc cccccccccccccccccccccccc cc cc > Æcc/c78c c,cc0c/c7 ccccccccccccccccccccccccccccccccccccccccc cc cc ? c c c c c c cccccccccccccccccccccc cc c c
c ^ cc c c c[c c ' c0c c:c cc c c c c c cÆ c.c c cc
5cc c cc>c c ccc "c,cc0c/c7 ccc/c78 cc c ¯© Æ c c [c c c c c c c c cc c cc c c c[c c "cc c
c c ~cc c ccc c c- -c - c c c [
-cc c cc c c c
c
c
c c
ccc
Ã
Ã
à c
¯
c
c ¯ ^ "ccccDË[c/c c2 c c !c ¯P ¯ ¯©¯P cccc c ccc c cc ccc c c[cc c cc ccc cc cc c M c c c c c c c c c - - c 1 c cc ccc c c c[ccc4c c
c c^c c c Æ cc "cEc cÂc ¯^ c @cc[c c¯ Fcc c c
c 1 c ccc "c Æccc c c cc cc1 c 5"cccc 5;c@cc[c M;c¯ Fcc c Æccc c c ccc c cc "cc5cEcMcccccccccc5ccM c c cc
c^c^ c
[ Â [ !
! !
c c c
!
c
¯^ c Æcc"c7:9./7.cc ccc["c>cc c c cc cc cccÂ[c Æ c c [c Â[c c c
c c
c
c
c c
c
ccc
Ã
"
#Ã
"
& & Ã $ % ' ' c
¯
c
c c c cc c c c c c c c c c - - ccc
c c^c c Æ cc "ccc c ¯^ c @cc cc cc c5 c c
c c c c c
Æccc cc c cc cc c 5"c5;c@cc cc c cccM;c@cc c5 c Æccc c c cc c cc "cc5ccMc
c
c^c^ c ( (
( (
c c c
(
c c ¯^ c cc cc ccc[ cÆcc"c.c/7.ccc["c>cc c[c7 cc Æ c c [c [c
c c
c c
c c ¯ c c ^^c c c cc c c c cc ccc- c
c c
- c c c c c c c ccc cc c cc c c c Æ cc "ccc
c c
c
c
c c
ccc
Ã
)
*Ã
)
à + , . . c
¯
c
c
c
c^c^ c ü
G G G G
G G
c c c
c ¯^ c Æcc"cFcc cc ccc["cFcc c cc cc cccüc[ cc Æ c
c
ÆcFcc ccc c ccccccc[cc<c
c
ÆcFcc c cc c cccc
c c c c c c c
c
c
c
¯^ cc cc6 c cccc cc cc c ccc c "cc -Æ
c
!c /01 2"c4 4 c44 c c 44c c cÿ[cc 3456"c !ccc c2 cc4ccc c cccc [c c [c c c [c c [c c c [c c [c c [c c [c [ÿ c c
ccccccc c^c c
c
c Æ cc "ccÿc ¯^ c ccc c5 c c c c
c c c
c
c
c c
c
cc c
Ã
7
8Ã
7
; ; Ã 9 : < < c
¯
c
c c
Æccc c c cc cc1 c 5;c ccc M;c5 cc c Æccc c c ccc c cc "c5cÿcMc c c c^c^ c ÿ
c
c c c c c c
c c c c2!cc cc cc c2[!cc c c
c ¯^ c Æc"c5cA cc cc1 ccc["c?cHc7 c6 cc cc ccÿ[c Æ c "c5cA cc cc1 c444444cccc ["c?cHc7c44444444444444444
cc
c c c c ^c c c c c c c c "c -
cc c c c
-c c c c c c c c c c c c c c c^c^ c
c
¯^ c
c
5 cccc cc5' cc cc
c
c
c c c
c
c
c c
cc!c
Ã
=
>Ã
=
A A Ã ? @ B B c
¯
c
c c c c c ëc cc c c c c c
Æccc c c cc cc1 c 5;c5 ccc M;c5' cc cc Æccc c c ccc c cc "c5cucMc c
c ^ c5ccc c c¯cc c c[c cc cc ccc c ^c c c c c c ¯c c [c c c c [c c c[c ¯^ c cc c[c'c c "cccÂc[c ^ "cccc 'cc c 'cccc c ccc cc ! c2 ! c ¯^ cccc"ccÂc[c c
c c^c c c c c c
¯^ c c ccc c c
c c
c
c c c c c c c c
c
c c [c c c c c c c - -c c c c c c c 1 c c [c c c c c c c c "c 7 cÆc cc cc c c , cÆc cc "cccccc c ¯^ c 1 c ccc< c cÆc cc cc c "c9 c^ c^ c c
cÆc cc "c c9 c^ c^ c c cÆccc "cc c 1 c c[cc "cc c9 c c^ c^ c c
c c
c
c
c c
cc"c
Ã
C
DÃ
C
G G Ã E F H H c
¯
c
c
c^c^ c $
c c ¯^ c,cc ccc"c,c cc c c
c c I ¯P© cccccc c"cc c % cc J c,
c c cccccc c c P¯ Ëc c c c c c c c c c c c [c c [c cc cc c Ëc Æc c [c c [c c c Pc c c c c c c c c cc c Ëc Æc c c c c cc c c c c c c c c c c [cc ¯ ¯¯ cc c c ¯ ¯~ccc9~9¯~c c 87 c c cc "c Ëc I!c c cc Ëc Cc9c7.c/c.8cc ,
,
Ëc ß ,. c JI!c cc "cc c c Kcc cc
c c c c cc c c c c c cc c c c cc c + c c cc c 8, c J cccc c c "cc Ëc L c c
cc #c Ëc ¯c ccc cc cc Ëc Mcc c[c!c cc Ëc Æ c[c cc c cc Ëc ¯cccc c c[ccc c cc c7c
c,c c0c c:c c c c
c
c
c c
c.c
cc#$c
Ã
K
LÃ
K
O O Ã M N P P c
¯
c
80 c ccc "cc Ëc ¯c c ccc c cc Ëc c c c c[ c cc cc Ëc + ccc cc Ëc 6 c?88c c c[cc c c c cc Ëc cMccc cc Ëc ¯c c[cc& c cc7,c cc J c c c c"cc c8c
c7c c,c c0c c:c c 8: c 6 cc cc cccc "cc
0 , ß . C
, ß 77c
ß ß
ß c
c
ß ß
c
c<c
c<c
cc
c
c<c
c 8. c cc cc ccccccc "cc
c c Æ"c0c9c7c;cCc "c:c9c:c;c>cc
cc cc c["c,c9c,c;c.cccc c ccccc:c9c:c;c78 c
c M ccc¯&c c ccc< cc c<c
cc c<
c<
c
ccc[c c cccc c[ccc c 78 c Æccc "cc ccccccccccccccccccccccccccccccccccc c c cc c ¯cc cc cc cccc "cc
c
c
c c
c c c
c<c cc cc c c
ccc ccc
c
c
c c
c<
c<c
cc##c
Ã
Q
RÃ
Q
U U Ã S T V V c
¯
c
77 c cc cc c"cc [ c
c
c c c
cc
c<c c
c c
c
c<
c<cc
c
c c c c<
c
c Æcc c c c ccc c Æc c c c c cÆ c c c c c c c c ccc c c c ¯cÆ cc cc c cc cc c Æc c c c c c c c c Æ c c c c
c c ëc Ncc c cc cc c cc 7: cÆcc[c c cc' c70 c+ ccc c cc cc c & "c
c
c 7. c cc cc cccc c "c c cc"c,9:O.c c797;,cc0/.c c cÆc./,c c:9,; c c097O:c c c cc c["cc,H0c c:/,c c7/,c c cÆc.9,cO>c c cc c["c:9 O78cc.90;>c c cÆc 97H.9,c c H.c c7H,cc c c
c c
c
c
c c
cc# c
¯
à à à c
c
¯!¯¯ ¯gg c c c cc c c c c c c c c c c c c c c c c c c c c c c c c c c%c c cc c c c c c c c c c c c "c g g g
cü"
c
c
c
g
g
 c
c
ü#" Â#c
üÂ#" #c
g Âü#" c
üÂ#" c
Âü#" Â#
üÂ#" #
gg
# #c
Â# #Âc
u# #u
g gg
ü#" ü#"c
Âü#Â" üÂ#"Âc
uü#u" üu#"u
gg gg
ü#Â" ü#"Âü"c
Âü#" üÂ#"üÂ"c
ÿü#Â" üÿ #"Âüÿ"
gg
ÿ# #c
üÿ#" Â#c
c
c
g gg
u# üÿ#"Âü#ÿ"
u# üÂ#"ü#"
c
c
c
c
W
W
 $ Y X ! %& % " " ! W W
' $'
X
X
Y
%& (%
Â' '
#g g
g
u# üÿ#"Âü#ÿ"
c
c
$ %
ü#"Âü#"
üÂ#"üÂ#"
c
c
c cc c c c c c c c c c cc c
c c c c c c c cc cc c c ¯ c c c c c cc "c ! ÿ c c ! ÿ cccc c !ÂP cccc c$cM c ! P c c !Pc Pcc c c c
c c "c u !ÿ Pÿ ÿ !c c
à à à c
¯
c
c u ! Pÿ !c c u ! P !c c u ! P !$ c c u ! P !$QM c u ! P ! c u ! P R c c c c ÿ c c
"cM ¥ ÿ! ÿ! ÿ!Pÿ ÿ !Rc c M ¥ ÿ! ÿ ! ÿ!P ÿ !R c M ¥ ÿ! ! !P !R c M ¥ ÿ!Âc ! ! !R$QM c M ¥ ÿ!Âc  ! Â! !R$QM c M ¥ ÿ!Âc  !c P Â!cPR c M ¥ ÿ!Âc cR c M ¥ ÿ!Âcccc cR c M ¥ ÿ!Âcccÿc cR c M uc c c c
\
9 L Z[
]
c$ P Â! !P! u!Ruc c c c c c cc "c ! ÿ c c c c "c ! !c c c c "c ! c c c c "c Â!c c c c "c ÿ ÿ !Pÿc c c c c "c Â! Â!PRc ccc c cc "c c c cc c c c c c c c c c c 9 c c c c c c c c ccc c cc "c c c c cc c c c c cc c c c 9 c c c c cc c c !"# !$%%"&'"()(%('*" +$%$,-$,$%"*"$(%.
^ a
!'(/(01 *(%$!2! %3-'4 %%(,(" 8 $(%*"(-)$9'(%"!!'(/(01 *(%$!! %3-'4 %%(,(" : ` %3-'4 %%(,(" ;"* 5()(%"!!'(/(01 *(%$!
b
< ' +$! %3-'4 %$%(,(" 2$!!'(/($$1 *(%$! =
`!'(/(0!
%3-'4 %$%(,(" $3"(1 *(%$!0! % 3-'4 %$%(,("
"53$!"# 5$%. ^ 6 !'(/(67c c2 6_ *(%$!67[2 6` %3-'4 %%( ,(" 67
c
Ã
c
dÃ
c
g g à e f h h c
¯
c
ccc c c Â[ cÿ uÂ[
ÿc [
Â[ cÿc
 cc[Â
c c ccc cc c
jklkml)mll!!jkmlnl")llo!kpq2lo)roslk!rkt!jol)jk!jml>!l4jou "nxr!"qjnrk. i v""!mjo j! w wr w !! j } } } | |} } | | y k lk ml k l l ) !! ") ! ! ~! ) ! >! 4 2~ ) jqy z ) !! j|} n") o ~)2!|}~!)}"!|!!} ! p ÿc{ } ! ) >! 4 ! ~ |} } } } | } } } } ~! ) >! 4 ! " ?! "! ) !! ! ") !
{|} !|}~!)}"!|!!} } | } | } } } } ~! |} ) | " } " " ) ! ) !! ") ! ! ~! ) ! ! !>!42)|}@})|}|"!|!!} })!!}{
ccc c c cÿ [Â
Â[ cÿ
cc[ AÂ
[u Âc
c c ccc cc c
!)"!)"2>A " ! BA A ! " £ ¤ ¤ £ ¤ £ ¤ ¤¤ ¤°¤ ¤ "¨ ¥ !©¡¥ ¯¦ ¡¢! ¡)" ¨§ ¨©! ¡¥ ¥)¦§" ¡ ¨ ¤ £ ¤ ¤ £ ¤ ¬¤ ¤ £ £ ¤ ® ©¡¥¡2 ¨)£ ¨© ¥>«¡©¡¥¡«A ¨! ¥ BA ¨ ¥ ¨ ¥ «A ¡!¡¦§"§ ¤°¤ ¤ £ £ £ ¤ ¡¢!£¡)"¤¤¨§£¤¤¤¨©¬¤ ! ¡¥ ¥)¦§" ¡ ¨©¡¥¡ 2 « )«¡¡«) 2 ± >«¡©¡¥¡ ¤ ° £¤ £ ¨! ¥ BA ¨ ¥ ¨ ¥¡! ¡¦§" § ¤°¤ ¤ £ ¨"©¡¬¤¨)¤¤¥"¡¢¤!£¤¡)"¤£¨§¤¤¤¨¬¤ ©! ¡¥ ¥)¦§" ¡ ¨©¡¥¡2¨ ² ¤ ¤ £ ¤ £ ° ¥ §¡«A¯¦ >«¡©¡¥ ¨! ¥ BA ¨ ¥ ¨ ¥ ¡¡!¡¦§"§
!". ! )" ¤! ¤ÿc ¡¢ª!£ ¥)¦§"¡ ¨©¡¥¡¤ £¡¢¤!£>¬¤ «¡©¡¥¡ ¤ ª¨ ! ¥ BA ¨ ¥ ¡¢!£¤¥£ ª ¡!¡¦§"§ "
c c
c
ccc c c Â[ cc  Â[ cu  c [Aÿ  Â[ ÿ
c c
CIRCUITOS LOGICOS ¯cc[c cc cc c! c cc c1 c c ccc[cc c c c c c c c c c c c c c c c c c c c
cccccccccccccccccccccccccc c c 1 c& c c c! ccccc "c ¯ccMccc[cc c! c c c[cc cc
¯cc3ccc[c cc c! c c c[cc cc ¯cc& cc[cc c! c c cc c c c cc c ccc "cc³´ ³c cc!µ´µ"³"µ c c c
c
c
c c
cc#c
Ã
¶
·Ã
¶
º º Ã ¸ ¹ » » c
¯
c
Mc ¯)~c¯c~c¯ *~c¯c¯¯c c c c cc c[c cc c c
c
c
c c c c c c [c c c c c c ! c c [ c c c c c cc ccc ccc cc c cc 'ccÂc[ c
c 7c 7c 8c 8c
[c 7c 8c 7c 8c
c Â[c 7c 8c 8c 8c
c
c ¯cc cc cc c[c c[c cc c c!c 2c 8!c c [c c cc cc cc c c 5cc ccÂc[ccccc2¬ !c c
c ¯)~c¯c~c¯ *~c¯c9 ¯ ~c c c c cc c[c cc c
c
c c Æc ccc c c[c c ccc[c cc c c c cc c[c!c c27!c c c c cc cc c cc c c cc c28! c ¯c c ccc cc ccc ccc[ c c c [c [c 7c 7c 7c 7c 8c 7c 8c 7c 7c 8c 8c 8c c 5cc ccc[cc ccc cc cc c
c c
c
c
c c
cc#c
Ã
¼
½Ã
¼
À À Ã ¾ ¿ Á Á c
¯
c
c
c
~ "c5cc cc cc "c c c
c c c c c ¯' "cc
c ¯' "c 7 cc c ccc cM c cÿc[c Æ c ÿ[[ccc c c
c
cc[ccÂc c Æ c
c
c
c c cc c
Æ c ccÂcc cc[cccc[cÂc cc c
c
c c c c c c
c
c
c c
cc# c
Ã
Â
ÃÃ
Â
Æ Æ Ã Ä Å Ç Ç c
¯
c
LÓGICA CUANTIFICACIONAL c FUNCION PROPOSICIONALcc 5c c c c c c c 1c c c c c c c c c c c c c c cc c c c c2!c c c c 2!c c c ' c c c c c c c c c 2!c c c ccc c c c c c c c c c 1c c 1c c c c c c ccóc c ¯ "cc 1;97H?c c 2!c c c ' c c c c c 1c c c c c c cc c c c c Æ"c;c,cócSc,97Hc?cc c cccccc ;78cócSc7897Hc?cc c c 1 c c c1cccc c c
~c¯+¯ c c ¯cc'cc ccccccc "c c c c ^ ^ c ccc c c c[c--cc cc cc ' c c[cc cc c[ccc c cc c cccc ' cc[ccc ccc c c cc c[cc c c cc c c ¯^ c
c Æc c c ' c c c cc c ccc ' cc"c c c c ¯cc cc cccc[c cc "c c c c 5c c[ccc ccc[c ccc c cc c[ c c[c c c c ccc cc cc c c cc ' c ccc cc c ccc[c c cc "c c c c Ic c "ccc cc c ccc cc c c c cc c c c
c
c
c c
cc#!c
Ã
È
ÉÃ
È
Ì Ì Ã Ê Ë Í Í c
¯
c
~c¯ c c ¯cccccc c c c ^
c cc c c c c[c- c -c ccc c ' cccc c cc c¯c ccc c cc cÀ c cccc ' cc[cc ccc c c cc cc cc c cc c c ¯^ c
c Æc c c ' c c c cc c ccc ' cc"c c c c + c ccc c cc"c c c c 5c c c cc ' c c ccc c c c[c c c c c ccc cc c c cc cc c[c c ' c [ cc c "c c c c ¯c c[c c c c c ccc c[c cc[c c !c cc c c ¯ c ~c¯ cc¯ c ~c¯+¯ c cc c1ccc c ccc cc c [c cc c"c c c Ic c "cc c cccc9c cccc[c cc9 c Æcc' c "c c c 1 c cc[c cc cc[cc ccc[c c "c c c cccccc c cc c!ccc c c
c c
c
c
c c
cc#"c
à à à c
¯
c
¯ · c c c cc Tcc c c c c Î c c c cc c c c c c"c c cTcc c c cTcc Tc c cuccc c c c cuccc c c 9 c "cc !ccÿc c c gg ¯ g "c9 !c "9 !P "c9 !c "c9 !c
"c9 ! "c9 !c
ó"c9 !c
ó"c9 ! ó"c9 !c
ó"c9 !c
ó"c9 ! ó"9 !c
c %c c c c c c c c c c c c c c c c c c c c c c c c c c c c c
c &c c c ¥ c c c c /c ¥ c c c c c c cc c¥/cc c cc c c c c%c c c c Ð c c Ï Ñ c cc c c cc cÚ Ú Ñ c c "cc "c c¥/cc c c c ¥ c c c c c c c c c c c c c c c 9 c ' c c c c c c c c c c c c c
c c c c c c c c c c c c c c c c c c c c c c c c c c cc c c c c cc %cc c c c c ¯ Ò"c c c - c c % c c c -c c c c -c c % c c c cc -cc c% cc ccc c c ' c c ¯ Ò"cc c c có c c Ó c c ó P ó c cc ¯ ¯9L9L ÔÕ
·
c cc c c Tcc Ö c 9 c cTcc cc c c c
c
à à à c
¯
c
·
c
c c c c c c
c c c c Tc c c c c c c c c c c
c cucc cc c c c 9 c "c !ccc c c ccccc% c cc c c c c c c c c c c c c c c c c c c c c cc c#c Tc × c $c c c c c c c "c 9 !"ccc c c c c c $ !"cc c cc c#c c cc c "ccc"cc9 !c ÿc$ !c 9 c c ccc c c c c c c c cc c#c c 9 c ccc c9 !c ÿc c$ !c 9 c c cc cc c c c c c cc c#c c
· - c c c c -c c Ø cc c 9 c ccccc c ccc c cc c c c c c "cc c À ! Uc#!c cc c $ c{ c c c "c-ccc -ccg c c c c-cc -c cc · - c c -c c Ù cc c c c c c c c "c -c c c c c c c c c c c c c -c cc c c "c Ðc! !cc c · c c c cc Tcc c c cc c Ú "cc c c c c c c c c c c c c c c c c c c Tccc c cVccc c c Vccc c c ,cc À !cUc c · c c c c c c cc c c c cc c c
c c c & c c c c c c c c c c c cc c cc c cc cc c cc c c c cc c % , - c c c c c% c c c c c cc c cc c cc c c c cc c c c cc c &.( - c c c cc c ccc c c c c cc c cc c cc cc c cc c c c cc c
-c c c c c c c c c c c c c c c c c c cc c %-c c c c c c c c c c c c c c c c c c c c cc c c c cc c
c
Ã
Û
ÜÃ
Û
ß ß Ã Ý Þ à à c
¯
c c^ ^c^ ^c c^cMc c c Æc[c c ccc cc7>c& c¯ccc cccc ccc c c cc cc cc c c · ccc c"c
c
c cc c cc c c c ^ c ^ c c ^ c c "c¯c c c cc c c[c cc c
¯ ^c c ^c c^c c^ c c^c c c "c+ c c c c c cc:c
c
PROBLEMAS PROPUESTOS c
7 Æ c cc cccc cc · + c cc c c cc cc · + c ccc cc · + c ccc cc , Æ c cc c ccc cc · ¯cc cc & cc · 6 cc cc · ¯cc cc · 6 c c c 0 Æ c cc "cc · + cc cc · 6 c cc · 5c cc cc · c c c cc · Æc cc ' c c c ' cc · cc cc · c cc cc · cc cc · 5 c c c c c cc · 5 c c c cc c : c c c c[c cc cc[c "c uÿ[c
Âc[ccc DW [Â' Â[c Dÿ[ÂDÿ[c [ÿD[ÿÂ[c c . P cc c c cc "c
c c
c
c
c
c
c c
cc
c
Ã
á
âÃ
á
å å Ã ã ä æ æ c
¯
c
c
c
c c cc c c[c cc c "c
c
c
C c cc c "c
c
c > cc c c cc c ccc c
c
c
? Æ c cc "cc 76 cc cc ,¯cc c 06 c c c :¯cccc c .+ c c c c c 6 c c[c c c c c
c
c
c c
cc c
à à à c
¯
c
c ! c cc c c c c c · c cc cc c c c · c cc c c · c cc c c ! c cc c c c c cc c c c c c cc c c c c c% c c c ! c c c c "c ! "c"c "c ! ccccccccccc" "c"c c!c ! "c"c !cccc"c"c !c ! "c !ccc !Pccccc"c ! !Pc
! "c"c !ÂPcccc"c"c !Pc c ! c c c c c c c c "c c c c c c c c c c Tc c c c
c
Ã
ç
èÃ
ç
ë ë Ã é ê ì ì c
¯
c
TEORIA
DE
CONJUNTOS
c +cc c cccc c1 c cc cc cc c ccc ccc"c2¯c c c c c cc
' cc[ cc c[ccc c c[c c c[cc ' c c c c c c ! c c ' c [c c c c ' c cc c "cc Æc c c c "c 5c Mc 4c c c c c c c "cc c4c P¯ ¯¯P¯¯ó ¯cc c[c cc c ccc ' c cc c ' cc "ccóc5cccc"c2c cc ' c5!c c cccccccc"ccóc5cccccccc5cc cc"c2c c cc ' c5!c Æc c c c óc 5c c c c ¯ ¯ c c c c cc 5c c c c c c ~¯ ~¯c Æc Mc c ' c c c c "cc c c c c c c c c "c óMc óMcóMcóMcóMcM c P "c c ÆcMcc ' c c cc c "c cc c c c c c c "c óMc óMc óMc óMc Mc M c P "c"c X c ¯' "cc c ' "c ccc ! c P¯©¯¯ ¯Pc@ cc c c c c 1 c cc cc ccc c cc¯c cc c c c c c c c c c c ¯¯ ~c¯c~ ~c Kc ' cc c c cc c cc[!c c c c cc ' c Kc ' cc cc c "c cc c c c 9 "c Kc ' c c c c c c c c c c c c c c ' c & c c c cc c ¯' "c !"#$%&' c c "c Mc c c ' c c c c c "c87,0:.(C>? c
c c
c
c
c c
cc c
Ã
í
îÃ
í
ñ ñ Ã ï ð ò ò c
¯
c
9 9 "cc Kc ' c c c c c c c c c ' cc ccc c cc c cc c ¯' "c ( ) ) !" c c "c c c c ' c c c 2!c c c c c cc[c c2!cc c[c8c c c[c7, c ~ ~c*~c ¯cc c ' c! c c[ccc "c³ ( * + ,R,- c c ³ c c c c c cc c c c c c c ccc cc ccc8c ccc cccc c c c c c ;cW8c7c,c0c:c.c(
c
c
c
'c "c c c c c c cc cc7c c cc c c ( ¯c c c c c c[ccc c c ' cc c[c c cc c c c cc 6c c c cc ' cc c c c !c c c c c& cc c cc cccc c c c c c c c c c [c c c [c c c c c c c c c c c c !c c c S;W
c
c
cCc(c.c:c0c,c7c8c97c9,c90c9:c9.c9(c
c
c
'c c * ¯cc ccc c cc c2 !cc cc8c cc c c c c c c c * . , (,,/, (,,, 0 1c c + Æ c [ c [c c c c c c c c c c c c c c ' c c c c- -c + ,, , ,2,3, c c 4 1 c c c c c c c [c c c c c c c c c ' c c c c c c c c c ' c c c c cc ' cc c cc ¯c ' cc c c ccc ' cc c c c[c cc c ccc "c
c
c c
c
c
c c
³ ( * +c
cc c
Ã
ó
ôÃ
ó
÷ ÷ Ã õ ö ø ø c
¯
c
c 9 -4 - 5 6 ,,, , !7c 5c c ccc cc9c c cc c c c c cc2!cccc c c cc cc c ' c/8c Æccc c c ' c cc c-cc"c-c;cc9c có,c Æc c 9 ¯c ¯ c c c c c --c c c c c c "c P c ;c c Xc c c c c c c c - -c c c9 ¯c c c ;c c J cc c ' ccc c "c Æcc c c- -cc8ccc[cc ' c8c9c ccc c c1 c¯c c cc c c1 c cc c cc8 c ¯' "cc ,c9c7(c;c8c ,c;cc7(c ;cYc c ;cYc:c 7;c:c,c;cc:c c ~ ~c~c ¯cc ' c[cc c cc c cc c ¯' "c ܣ,,,,83 cc9 ³ : : !" cc c ~ ~c~c ¯cc ' c[cc c cc c cc c ¯' ",( ܣ,,, c9 ,,,,X3, c c ¯ ~¯c¯¯c~ ~c g KÆgNc ¯c N@K+NÆc ÆKM N@K+NÆ c Æc c [c c ' c 5c c c ' cMc c[c5cc ccMc c[c5cc ccMcc c c cc 5c cc ' cM cc cccc ' cc ' c "c ؿ ܣ9c Æc"cc5cc ccMc 5cc ccMc 5cc ccMc c cÆ "cc ؿ ܣ9 ; À ฺ ܣ ܣ9 c c ¯' "c Æc c ' "c 5;W,:(>'c M;W,:(>787,'c M;W 'c ;W 'c c c["c ؿ ܣ9c [c c c cc5cccM c c [c c ccMc ccc c P¯1P¯Æ¯+5 gNcAP5
ccccccccccccccccccc c c
c
c
c c
c
cc
c
Ã
ù
úÃ
ù
ý ý Ã û ü þ þ c
¯
c
ÆKM N@K+Nc1PN1gN c c[c5cc ' c ccMcc ؿ ܣ9cÂc5Mc "c c"c25cc ' c ccM!cc25ccc c ccM!c ¯' "cÆcc ' cP;W7,0'ccc ' cc1;W7,0:.('c c[cP1c c:ó1c.ó1c(ó1cc[c:Pc.Pc(Pc 1PN1g¯5¯Æc 55cc44444444444 41 c c
Æc5McÂcMcc5
444
1 c+ c Æ"c5McÂcM5cc5;Mc444
c1 c5 c £cc5 44444444444
cÀc ' c5c c£ccc ' c c gAK55c ¯c N@K+NÆ c c ' c 5c c Mcc c [c c cc c cc 5Mc cM5 c c "c5;Mc cDc5McÂcM5c 1PN1g¯5¯Æc 5;5cÀc5c444444444
1 c c
5;Mc cM; cc5c;c c4444
c1 c c 5;MccM;5c44444444c1 cc c 9 c cc ' c5c cc ' c ccc ' c c c c c ' cc5 c "ccܲሺ4 c c cc" ccc"cc ' c cc5ccc ' cc cc5 c c "cc" Τ < ܣcc"cc ' c cc5ccc ' c c c ccc[c cc c ' cc5 c 5ccc cc cc5cc2F!c2Fó,³c cc cc cc ,5cc,F c ¯' "c6 cc ' c c"cMc;cW7,' c Æ c Æ c["cM;,c cc,M;,,;:c cc"cM;WW7'W,'cW7,'£'c c ' c ¯' "c6 cc ' c c"c;WcW7 '' c Æ c Æc"c;0c c,;c,0;>c c c ' c "c;WW'WW7 ''W'WW7 ''W'WW7 ''£'c ¯' "c6 cc ' c c"c1;W7W'W '' c c ~ ~c¯9¯ ¯c 7 c¯cc ' c[c cc c cc c c "c £c c c c "c c£;Wc c 'c c "c c [ c c c c [c c c ccc ccc cc cc ¯' "cÆc ;Wó,³c>HH?'c cc ' c c [c c c c c c [cc c[c>c c c[c?c c ;£c , ¯c c ' c c c c c ' c ' c c c cc c ' c cc c cK c
c c
c
c
c c
cc !c
Ã
ÿ
Ã
ÿ
à c
¯
c
+ !c c c ' c c c c c c c c c [c cc c c ' c c ccc ' c c c ¯' "cK;Wccc 'ccc5;Wccc 'c A cc "c
cccccccccccccccccccccccccccccccccccccccccccccc cc 0 ¯c[c ' c[ccc c c ¯' "cc P;Wcc cccP cc1 'c c c M;WóSc,.HH,C'c c c +;W,,,,4'c : ¬ c ¯c [c ' c c c c c ' c ¯' "cÆ;cWW,'W.('W,(>''cc<;W£cW:'W:.''c . c c ' c c' c c ccc c c c ¯c cc "c5cc' c cMcc c ccvccó5cÂcóM c ¯' "cÆcÆ;W7,0'c c+;W>?7877'c c ' c' c ~¯ ~"c c ' c c c 5c c [ c ' c c c ' c5 c c ¯ ¯~c9~9¯~c 7 c cc cc ' "c 5;Wó³c)0cc.HHC'c
<;Wóc,/8cÂc,H8'c M;W(,.97;8'c P;Wc,0C,9C,;8'c M;W.90:C0,7,97,90(;8'c , 6 cc ' c ccc ' "c 5;W(:09,:,(7;8'c 0 c c ccc ' "c 5;W c cc[cc,;7('c
;Wóc,90;7.'c ;WóIc,7,;8'c ¯;Wó.HH7,'c <;WóS,,0;8'c : c c ccc ' "c A;W,:(>784'c
P;W,0(777>4'c Æ;W77,'c 1;W c' c' c c c4'c . Æc5;W,0.C'cccccc c c c c c c c
c
c
c c
cc "c
à à à c
¯
c
! óc ! c ! Rc
! Róc $ c c c ' "c ómRc M ( óMRc ómRc c $ ómRc cc' c c c cc c c c ! Mc ! $c c c c c ' c c "c ! ó Rc ! M óm Rc !
Ç
óPc óPRc
! $ ó Rc ! ó ( Rc ! ¬ ccc c c cc Rc $ cccMc cc Mcc c c' "c ! ( RccccM óm ( Rc ! óm RcccM Rc c "ccMcc c c ' c c cM c cc c cc( cc ()c "c Rc M Rc Rc c c c c c c )c ! Mc ! $c ! c
! Mc ! M c ! $Mc ! c ! M c ! $c c Rcc ' c cc óRc cccQc cc "c
Ç
c c
= >Ç
c c c c
c cc cMcMc Mc "c RRRc c c c )c cóc c cRóc c ó c c c c R c c RRc c Róc c RRc R c c £ó c c c c
Ã
Ã
à c
¯
c
~9¯ ~¯c~c~ ~c g KgNc Zc P¯KgN c c c c c ' c 5c c Mc c c ' c c c c cc c c c5c c c c cMc "c5éMcc5c cMc Æ ccc "c ܣ9 ܣ, ? ,, 9 c A "c
gg
cccccccccccc ccccccccccccc c NMƯP5 gZ"cÆ"cM5cc5éM;5c 1PN1g¯5¯Æ"c 5éM;Mé5c c c c
5éMé ;5éMcé c 5 c 5é5;5c c c g c 5éK;Kc 5é£;5c c c ¯ c c g+¯PƯ gZ c c c c c ' c 5c c Mc c c ' c c c c c[c cc c c ' ccc c "c5.Mcc5c cMc Æ cc"c ת ܣ9 ܣ, ,, 9 c A "c
cccccccccc ccccccccccccc NMƯP5 gN"cÆ"cM5cc5.M;Mc c c c cÆ"c5c cMc c ' c' cc5.M;£c 1PN1g¯5¯Æ"c 5.M;M.5c c c c
5.cM. ;5.Mc. c 5 c 5.5;5c c c g c 5.K;Kc 5.£;5c c c ¯ c c 1PN1g¯5¯Æc NM1¯M¯+5Pg5Æ"c 5éM. ;5éM.5é c 5.Mé ;5.Mé5. c ¯Xc¯c5MÆNP gNc 5é5.M;5c 5.5éM;5c ' 5éM 5 c cM c
c c
c
c
c c
c
cc#c
Ã
Ã
à c
¯
c
ggg
g
F Æ"c5Mcc c cc5é Méc g<¯P¯ g5 c ¯c [c ' c c c c c 25!c c c c ' c 2M! c "c5c Mc Æc"c5c c cMc c5c Æ cc"c ܣ9 ܣ, ,, @ 9 c A "c
ccc ccc c NMƯP5 gN¯Æ"cc · Æ"cM5ccMc c5c;c£c · Æ"c5c cMc c ' c' c5M;5cM5;Mc g<¯P¯ g5cÆgM¯+Pg 5 cc c! cc c ' c5c cMccc ' c c c c c[c cc25!c c2M!c c cc c "c5cücMc Æ cc"c ܣᇞ 9 , ሺ ܣ94 ? ሺ9 ܣc ccc c c c cc ܣᇞ 9 ሺ, ? ܣ94 @ ځܣ9 c + !"c ܣᇞ 9 ሺ ܣ94 ሺ9 ܣ4c A "c
cccc ccc c NMƯP5 gN¯Æ"c · Æ"cM5ccccMcüc5c;c5c cMc · Æ"c5c cMc c ' c' c5cücM;c5céMc 1PN1g¯5¯Æc 5cücM;5MéM5c
5cücM;5éM5.Mc 5cüc5;£c 5cüc£;5c NM1¯M¯+N c ¯c c c 5cc c ' c c c c c [c cc ' c cKc c cc25! c "c5c5 c5c 5 c Æ cc"cc ܣA @ ; ܣcK5c A "c
c c c
c
c
c c
cc c
Ã
Ã
à c
¯
c
/¯~c P cccc c[ccc ' c c c c ccccc¯' "cM;W,0.'ccccM;0c c 1 cc cc c c !ccccc "c KgZc¯c N@K+NÆ"cc cg"ccc 5éM;59M5.Mc c K;5éM9c
cgg"cc 5éMé ;59M9 5.M5. M. 95.M. c c 9~ ¯ c9~9¯~c c 7 Æc cc c cc c cc cc c c5cMc c c c c c c c c c c c c c c c c c c
c , c c c
J c cc cc "cc J c cc c c "cc J c cc c c "cc J c ccc c5"cc J c cc c5"cc J c cc5c cMc c c "c J c cc5c cMc c c "cc J c c cc cc c "cc J c cc c c c "cc J c cc c cc c "c J c ccMc c c5cc "cc W7c,c0'cW:c.c('cWC'cW7c:c.cC'cW7'cW.'cW7c.c,'cW>'cW:c.c(cC'cc c W7c,0c:c.c('cW,'c
W7c,'cW:c.c('cWC'cW7c:cC'cW7'cW.'cW7c.c,'cW>'cW:c.c(cC'cc c W7c,0.c('cW0'c W7c,c0'cW:c.c('cWC'cW7C'cW7'cW.'cW7,'cW>'cW:c(cC'cc c W7c,0c:c.c('cW('c W,c0'cW:c.c('cWC'cW.cC'cW7'cW.'cW7'cW>'cW:c.c(cC'cc c W('cW7'c c 5 c Æ"c5c;cW.cW,'c?'c&cc cccc cW,'cóc5cc
cWW,''cc5cc c?cóc5cc c
c
c c
cW.c?'cóc5cc
W.W,''c5c
ccc
Ã
Ã
à c
¯
c
0 c c c c c c : c c c c c c . c (
c C
ccc c c ccccc"c cW,c.c0'c;cW0c.c,'c
cW:'cócWW:'c.'c cW0'ccW,c0c:'c c cócW0cW:'c.'c c ccW0 cW:'c,'c Æ"ccKc;cWcócSccÂc8cccHc78'c 5cæcM*c;cW8c(c?'c 5cc.cMc;cW7c,cC'c 5c cMc;cW0c.'c J ccccc c ccMc c5"c c7,c
77c ,:c
7.c
c5c;W cW ''c cJ cccc cc"c c cóc5cc
c cc5cc cW 'c5cc cWW ''c5cc
7(c
WW ''ó5c
¯cc c cc c cc c [c:?c' cc c:0cc +c 0?c c 5 [c 7?c c c +c c ,7c c c 5 [ c Æc 7(c 'c c +c c 5 [c c .c c c ' c !c c c c c c ' c cc c 08c
0:c 7:c 0?c 5 c
c
c08c c[c'c cc¯ c7(c' c[c c< c7(cg c c77cÆc.cc c c c< c cÆc c0cc c c !c g c.c cccÆc c>c ccg cJ c c c< "c 0c
.c Cc ?c :c
> c
Æcc ' c¯cc c¯c;cWc9c, c0 c cc9c,c77' c6 "c2c c !cc 7,c 70c 7:c 7.c 7(c
?
JI!c c cc c ccc "c
c c c 5éM c
.5.M+c 5.M c 5.M. c 5 c 78 5c;cWc c'cMc;cWc c'cc cc ' c c"c5cæcM c c 7,c
7.c 7>c ,8c >c 77 Æ"c5c;W7c,c0.'ccMc;W,c0c:.'c c 6 "ccD5c.cMccæc5cücMccMc c 7c
,c 0c
c c
c
c
c c
:c
.c
ccc
Ã
Ã
! ! Ã " " c
¯
c
7, Æ"c 2!c c c c c c c 5c c Mc c ' c c ["c 5éM;08c5M;7,c cM5;> c c 6 "c.D5c c:cDMc c 0>c
(8c :>c C8c 788c c 70 cc cc cc cc c["c · 7(,c cccKgc · :,,c ccÆcM c · .>,c cc c · >,c ccc0cK c · ¯c.,c c ccccc0cK c c Æc0?8cc cc c c c,c ccJ c c cc "c c 0888c
7,.8c ,:.>c 0(:8c 5 c c 7: ¯ccccc c c7,8c' c cccccccc c cccc cÆcc c[c(>c ccc cc0,cccccc:8cc cc cc.ccc c ccc c7Ccccc c ccc c cc c c:c' ccc c c 5cJ c cc cc c"c c McJ c ccc cc c c "c c ,:c c(:c
07c c:?c 0(c c(?c ,?c c(?c 5 c c 7. J cccc c c' cc c "c
c
c Õ § è ^
5cæcMcüc c 5cücMcéc c 5cücMcéc c 5cücMc c5c.cMc.c c 5 c
c 7( c c cccc c
c c
c P cc "c Õ 5ccMc.c cécMc
c c
c
c
c c
ccc
Ã
#
$Ã
#
' ' Ã % & ( ( c
¯
c
Mcc5céc céM .c § 5c cMc c c è Mc c5cé cccéc c c ^ Mc cc c c c 7C cc cc788c c:?c ccc c.0cc ccM c Æc,Cc cc cc c c cJ cc cc "c c ,>c
0>c :>c .>c 7>c 7> c:8c cccc7.c cc(c cc c[ cJ c c c c c c cc c[c c[c cC"cc c 7>c
7.c 7,c 78c (c 7? Æ"c5cücMc;c>c ccccc ccccc5c.cMc;,c c 6 "c5cæcMc
c c
ccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc ccccccc >c
?c
78c
77c
5 c
,8 cc ' c2M!"ccMc;cW,c c.c9c(c;c8'c c W,7'c
W,.'c W,0'c W7:'c
W0:'c
,7 Æ"cc;cW0cW.''cJcccc cc "c c cW0c.'cc5cc cW.'cc5cc c.cóc5cc cWW.''cc5cc
WWW.'''c5c
,, c "cJ cccc c c' ccc c c "c
c c
c c5ccMcæcW5cæcM'ccccccccccccccc c5cücMcæc cc ccccccccccccccccccccccc cW5cc c[cMcc 'c æc cc cW5c[cMc c c'cæcW c c5cæcM'ccc c c5c
c c ,0 6 c!!ccc ' cc "cccc5c;cW,c c0cc9,'c c 7c
0c .c Cc
5 c
,: J ccc c[c ccc c "c
c c
c
c
c c
ccc
Ã
)
*Ã
)
à + , . . c
¯
c
c c c c c c c ,. c
c c5c.cMc c ccc
c5c.c c cMccc c5c.cMcc c c c5c[c cæcWMc c5cæc 'cc c 5 c
c
c
Æc5cc0c c6 cD15c ,cc
:cc >cc
7(cc
c 5 c
,( c08c c[c'c cc¯ cc ccc "c · 7(c' c[c c< c · 7(cg c · 77cÆc · .cc c c c< c cÆ c · 0cc c c !cg c · .c cccÆ c · >c ccg c c J c c c< "c c .c
Cc 0c :c 5 c c ,C cc ccC8c' "c · ,:cc ' cc c cc7.c& c · >c cc ' c ccc c c cc7>c& c · cc[c c c cc7>c& c7:c cc ' c cc c J c [& c c ' c c c c c c c c c c c [c c ' c "c c :c
.c (c Cc >c ,> ¯c c c c [c c c c cMc c c K c c c c cc "c7.8c cc cgcC.cc c0.c c 5 c c .8c 1 c c C8c c 5c M c gc c c :8c c c c gc c 1 c c 08c c 5c gc c 5 cM c.cc c c5 cM c c,cccMcgc c c5 c M cÆccc c c cc cJ ccc "c 7(Cc
,.Cc ,:Cc >?Cc 5 c c c c c c c
c
c
c c
cc c