LOGICA PROPOSICIONAL Y TEORIA DE CONJUNTOS

¯
¯ ¯  ¯   
  

 
  c c c

c

c
 
c
cc

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
     cc
c    c c
c
c  c   cc c c c  c   c  c   c  c
 c c   c
c P
    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  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 · È  c
c9%*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 Æc
c
c  
"c-
 cc c c -c 
c
"c.c/c0 c 
 c
c
 c .c c
c
 c cc 
c
c 
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/c0cc
c

c^
  c ^ c c ¯ ^ cc Æc"cc   ö = c Æc
c "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 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 
cR
  ccc2ó !c

c2!cc c
c
 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 
 c
c  3 c c   
c
c
c  
c c
 c

"cc c cc4 cc 5c
c c c 
cc
c  
cc
c

c
  c c ¯ ^  c 6 "c6 cc
c
cc5
c4444444   cc cccc 6 ["c7,89:88;,8c44444444444444

cccc
 c c 

 c
c
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

Æcc
c  
cc

 c cc
cc  
c 5"c5;c@cc
cc c cccM;c@cc
c5 
c Æc
c
c
 c
 c cc c cc
"cc5ccMc

c


 c^c^ c       (   (  

( (

c c c

(

c c ¯^ c 

 c
c
cc ccc[ cÆcc"c.c/7.ccc["c>cc
c[c7 cc Æ

c c [c [c ? c

 c c

c

 c

 c   c



cc c

Ã

í

îÃ

í

ñ ñ 












































































à ï ð ò
ò c

¯ 

c

9
 9
 "cc K
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 2!c  

c c
c
 c
 c
c[c
c2!c
c c[c8c c
c[c7, c ~ 
~c*~c ¯
cc
c
'
 c
!  c   c[cc
c
"c³ ( * + ,R,- c c     

 ³  c
 c
 
c  
c
c  
cc c
 c
c c
c
 c
 
c
cc
c
c
cc
c8c
c
c
c 
cc
c
c c

c  
c
c   c ;cW8c7c,c0c:c.c(

c

c

c


'c  "c

c c
 
c
c
 c
 
cc  c
c7c 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 6c c
  c
 c
c
'
 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 S;W

c

c

cCc(c.c:c0c,c7c8c97c9,c90c9:c9.c9(c

c

c

'c c     

  * ¯c
c
 cc
c c c
c
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 c
c
'
 cc
 c 

 cc ¯
c
'
 cc
c
 c 
cc
c
'
 cc  c
c
 c[c 

cc
c 
 cc
c "c

c 

 c c

c

 c

 c   c

³ ( * +c



cc c

Ã

ó

ôÃ

ó

÷ ÷ 












































































à õ ö ø
ø c

¯ 

c

 c     
 9  -4 - 5 6 ,,,  ,    
!7c 5c c 
cc
c cc9c c
cc c c
c
 c 
cc2!cc
c
c
 c  c  c
c
 cc c 
' c/8c Æc

cc
c
 c 
' c
c
c
 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 
 c
c
 c 
' ccc
  c "c Æc
c c 
c- -cc8ccc[c
c 
' c8c9c cc
c c 
  c1 c¯c c c
c c 
  c1 c 
 cc c 
c
c8 c ¯'
"cc ,c9c7(c;c8c ,c;cc7(c ;cYc c ;cYc:c 7;c:c,c;cc:c c ~ 
~c
~c ¯c
c
'
 c[cc  c c
c
 c
 cc

  c ¯'
"c‫ ܣ‬,,,,83  cc9   ³ :  : !" cc c ~ 
~c
~c ¯c
c
'
 c[cc  c c
c
 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

 c
cMc c[c5cc ccMcc  c
c

 cc 5c 
c
c
'
 cM cc 

cccc
'
 cc
'
 c  
"c‫ ؿ ܣ‬9c Æc
"cc5cc

 c
cMc 5cc

 c
cMc 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

 cc5cc
cM c  ‹
c [c

c

 ccMc
c
c
c c P¯1P¯Æ¯+5 gNcAP5c  c
c 
'
 c
"c;WW'WW7 ''W'WW7 ''W'WW7 ''£'c ¯'
"c6

 c
c
'
 c 
c"c1;W7W
'W '' c c ~ 
~c¯9¯ ¯c 7     c¯c
c
'
 c[c
c
c

 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 c

c

 cc ¯'
"cÆc ;Wó,³c>HH?'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  

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 cc
c
'
 c
 
c 
 c ¯'
"cK;Wcc
c 'ccc5;Wcc
c 'c A 
cc  
"c

cccccccccccccccccccccccccccccccccccccccccccccc cc 0    
     ¯c[
c
'
 c[c
c
c
c

 c ¯'
"cc P;Wcc 
cc
cP
c
c1 '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?7877'c
c
'
 c'
  c ~¯ ~"c  c  
'
 c   c c 5c 
c [

c  
'
 c  
c 
c 
'
 c5 c c ¯ ¯~c9~9¯
~c 7  • 
 c c

c
c
c
'
 "c  5;Wó³c)0cc.HHC'c

 '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&
c
c 
c
ccc 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

•c
cc
 c

c 
 c
cc

cc
"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 
cc
ccc
c

 ccMc c5"c c7,c

77c ,:c

7.c

• c5c;W cW ''c cJ 
cc
c
c 
cc
"c c cóc5cc

c cc5cc cW 'c5cc cWW ''c5cc

7(c

WW ''ó5c

¯
c
c
 c 
c
c 
c   cc  
c [c:?c' 
c
c  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 
c
c  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
c
ccÆc c>c
ccg

  cJ 
 c
c
c< 
"c 0c

.c Cc ?c :c

> c

Æc
c
'
 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  
c
c c cc
c "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'c
c
 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;08c
5M;7,c c
M5;> c c 6

 "c.D
5c c:cD
Mc c 0>c

(8c :>c C8c 788c c 70 •c
c  cc 

cc
 cc c["c · 7(,c 

cc
cKgc · :,,c 

ccÆ
cM  c · .>,c 

cc 
c · >,c 

cc
c0cK
 c · ¯
c.,c
c 

cc


ccc0cK
 c c Æc0?8c
c 

cc c
c
c,c
 ccJ 
 c 

c  c
c 
"c c 0888c

7,.8c ,:.>c 0(:8c  5 c c 7: ¯
c
c
cc
c
 c c7,8c'
 c
c

c
c
c
c

c
c
c 
c c

c
c
c 


cÆcc c[c(>c
 c

c
c  c

c0,c

cc
c
c

c:8c

c 
c
c  c

c.c

c
c  c c
c

c 
c7Cc

c
c
c c  c

cc  c
c
c  c c:c'
 c

c
c c

 c 5cJ 
 c
 c

c
c
c  c

"c c McJ 
 c
 c

c
c  c

c c
c
"c c ,:c c(:c

07c c:?c 0(c c(?c ,?c c(?c  5 c c 7. J 
cc
c
c 

c c' c
c 
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  cc
c
c c

c c

c P 
c
c  
"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é cc•cé•c c c ^  Mc c•c
c c c 7C •c
c  cc788c
   c:?c
c
c
c c.0cc
c
cM c Æc,Cc
c
c


cc
c  c

 cJ 
 c
c
c
c  "c c ,>c

0>c :>c .>c 7>c 7> •c:8c

cc
c
c7.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? Æ"c
5cücMc;c>c ccccc ccccc
5c.cMc;,c c 6

 "c
5cæcMc

c c

ccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc ccccccc >c

?c

78c

77c

 5 c

,8 • 
c
c
'
 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.''cJ
cc
c
c 
cc  "c c cW0c.'cc5cc cW.'cc5cc c.cóc5cc cWW.''cc5cc

WWW.'''c5c

,, •
c  "cJ 
cc
c
c 

c c' c
c
c 
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!!cc
c
'
 cc
  "cccc5c;cW,c c0cc9,'c c 7c

0c .c Cc

 5 c

,: J 
cc
c

c[c  
cc
c 
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

Æc5c
c0c

  c6

 c
D15c ,cc

:cc >cc

7(cc

c 5 c

,( •c08c 
c[c'
c  cc¯ cc  c
c
c
 
"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
c
ccÆ c · >c
ccg

  c c J 
 c
c
c< 
"c c .c

Cc 0c :c  5 c c ,C •c
c  ccC8c' "c · ,:c

c ' c
c c
c

c7.c& c · >c
c

c ' c
 c
c
c c
c cc7>c&  c · •c
c[c
c
c cc7>c& c7:c
c

c ' c
 c
c
 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
c
c

"c7.8c 
c

c  cgcC.c
c 
c0.c 
c 5
 c  
c .8c 1  
c 

c C8c 
c 5

c M c gc c  
c :8c 
c 

c  c gc c 1  
c 

c 08c 
c 5

c gc c 5
 cM c.c
c 
c c5
 cM c c,c
c

cMcgc 
c c5
 c M cÆcc
c c
 c
c
c  cJ 
 c
c
c
  "c 7(Cc

,.Cc ,:Cc >?Cc  5 c c c c c  c c

c

 c

 c   c



cc c