14
"#$ % &'()*+,,%-& . /. /-0%,. 1)*2(&. 12. Deducción natural modal 23 4564 789:6;<= >458??=<<8?4@=5 ;3 5A564@8 >4 >4>;77AB3 386;?8< 98?8 <8 <BCA78 @=>8< 'D ;3= 98?8 4< 5A564@8 EF G =6?= 98?8 4< 5A564@8 E$H /85 <BCA785 @=>8<45 5=3 ;38 4I6435AB3 >4 <8 <BCA78 9?=9=5A7A=38< 456;>A8>8 43 <8 9?A@4?8 98?64 >4 4564 <AJ?=H K=? 458 ?8LB3 M8?4@=5 ;5= >4 6=>85 <85 ?4C<85 >4 A3N4?437A8 >4< 5A564@8 !"#$ 8< 7=356?;A? <=5 5A564@85 @=>8<45 >4 >4>;77AB3D 7=3 <8 58<O4>8> >4 P;4 45685 ?4C<85 8M=?8 54 89<A783 8 NB?@;<85 >4 %& Q H 12.1 El sistema T 23 4568 5477AB3 456;>A8?4@=5 ;3 5A564@8 >4 >4?AO87AB3 386;?8< 98?8 <8 <BCA78 @=>8< 'D 4< 7;8< <<8@8?4@=5 !"' REA564@8 >4 *4?AO87AB3 'SH ,=@43L8?4@=5 7=3 ;38 ?4C<8 >4 A3N4?437A8 4P;AO8<4364 8 <8 ?4C<8 >4 34745A687AB3T EA 2 45 ;3 64=?4@8 >4 <8 <BCA78 9?=9=5A7A=38<D 436=3745 £2T Introducción de £ (£I) !! 2 K £2 (47=?>4@=5 P;4 ;38 NB?@;<8 2 >4 %( 45 ;3 64=?4@8 >4 !"#$ 5A G 5B<= 2 9;4>4 54? >4?AO8>8 5A3 34745A>8> >4 3A3C;38 5;9=5A7AB3H K8?8 9=>4? ;6A<AL8? <8 ?4C<8 R£%S >4J4U @=5 >4@=56?8? 9?A@4?= P;4 <8 NB?@;<8 2 45 ;3 64=?4@8 >4 !"#V 7=@= 43 4< 5AC;A4364 4W4@9<=T QH )*+,- 5477AB3 $HFH 25 9=5AJ<4 ;6A<AL8? 5=<8@4364 <85 ?4C<85 >4 !"#D 3= <85 >4 !"#VD 43 <8 7=356?;77AB3 >4 <=5 5A564@85 @=>8<45 >4 >4>;77AB3D 94?= <85 >4?AO87A=345 ?45;<683645 54?:83 4I745AO8@4364 <8?C85 G >AN:7A<45H 1X5 8>4<8364 O4?4@=5 <8 >AN4?437A8 8 6?8OY5 >4 ;3 4W4@9<=H !"#$%&'#() %*+,-+,-. ,*0*% #'(' *-1

Introducción a La Lógica Moderna. Deduccion Natural Modal

Embed Size (px)

DESCRIPTION

Introducción a La Lógica Moderna. Deduccion Natural Modal

Citation preview

Page 1: Introducción a La Lógica Moderna. Deduccion Natural Modal

!"#$

% & ' ( ) * + , , % - & ! . ! / . ! / - 0 % , . ! 1 ) * 2 ( & .

!"#$%&'())*+,$,-.(/-0$12'-0

23!4564!789:6;<=!>458??=<<8?4@=5!;3!5A564@8!>4!>4>;77AB3!386;?8<!98?8!<8!<BCA78!@=>8<

'D!;3=!98?8!4<! 5A564@8!EF!G!=6?=!98?8!4<! 5A564@8!E$H!/85! <BCA785!@=>8<45!5=3!;38

4I6435AB3!>4!<8!<BCA78!9?=9=5A7A=38<!456;>A8>8!43!<8!9?A@4?8!98?64!>4!4564!<AJ?=H!K=?

458!?8LB3!M8?4@=5!;5=!>4!6=>85!<85!?4C<85!>4!A3N4?437A8!>4<!5A564@8!!"#$!8<!7=356?;A?

<=5! 5A564@85!@=>8<45! >4! >4>;77AB3D! 7=3! <8! 58<O4>8>! >4! P;4! 45685! ?4C<85! 8M=?8! 54

89<A783!8!NB?@;<85!>4!%&QH

!"#!$30$4*4.&1-$5

23!4568!5477AB3!456;>A8?4@=5!;3!5A564@8!>4!>4?AO87AB3!386;?8<!98?8!<8!<BCA78!@=>8<!'D

4<!7;8<!<<8@8?4@=5!!"'!REA564@8!>4!*4?AO87AB3!'SH!,=@43L8?4@=5!7=3!;38!?4C<8!>4

A3N4?437A8! 4P;AO8<4364! 8! <8! ?4C<8!>4!34745A687AB3T!EA!!! 45!;3! 64=?4@8!>4! <8! <BCA78

9?=9=5A7A=38<D!436=3745!!!T

!"#$%&'(()*"+&,+!!"!#$

!!!!"

!! !!"

(47=?>4@=5!P;4!;38!NB?@;<8!!!>4!%(!45!;3!64=?4@8!>4!!"#$!5A!G!5B<=!!!9;4>4!54?

>4?AO8>8!5A3!34745A>8>!>4!3A3C;38!5;9=5A7AB3H!K8?8!9=>4?!;6A<AL8?!<8!?4C<8!R!%S!>4J4U

@=5!>4@=56?8?!9?A@4?=!P;4!<8!NB?@;<8!!!45!;3!64=?4@8!>4!!"#V!7=@=!43!4<!5AC;A4364

4W4@9<=T

QH!)*+,-!5477AB3!$HFH!25!9=5AJ<4!;6A<AL8?!5=<8@4364!<85!?4C<85!>4!!"#D!3=!<85!>4!!"#VD!43!<8!7=356?;77AB3!>4!<=5

5A564@85!@=>8<45! >4! >4>;77AB3D! 94?=! <85! >4?AO87A=345! ?45;<683645! 54?:83! 4I745AO8@4364! <8?C85! G! >AN:7A<45H!1X5

8>4<8364! O4?4@=5! <8! >AN4?437A8! 8! 6?8OY5! >4! ;3! 4W4@9<=H

!"#$%&'#() %*+,-+,-./,*0*%/#'('*-1

Page 2: Introducción a La Lógica Moderna. Deduccion Natural Modal

!"#

$ % & ' ( ) * + , -.

!"# /012304,!56,�,789,�,6:;

-, 6, <=>?@2A2BC,., 89,�,6, -,7�D:, ,!, 6,�,789,�,6:, -E.,7�D:,F, !56,�,789,�,6:;, !,7!D:,

*G,@2H=20CI0,10HJG,K0,2CL010CA2G,0@IM,NG@GKG,0C,0J,GO2?PG,(4,<2,!!Q,0CI?CA0@,!R

!"#$#%&'#(%)*+)!!"!#$

, !!"

!" !,

S@IG,10HJG,0@,A?C?A2KG,H0C01GJP0CI0,A?P?,TUSVQ,=CG,GN1032GA2BC,K0J,>12CA2>2?,P0EK203GJ4,!"#"$$"%&'%"$$",7/0J,@01,C0A0@G12?,GJ,@01:R,U?@?I1?@,JG,JJGPG10P?@,TSJ2P2CGEA2BC,K0,!V,>G1G,PGCI0C01,JG,A?W010CA2G,A?C,JG@,K0PM@,10HJG@,K0,()!*R

7!S:,0@,=CG,10HJG,K0,2CL010CA2GQ,C?,K0,0X=23GJ0CA2GR,&?1,J?,IGCI?,C?,>=0K0,@01G>J2AGKG,G,=CG,>G1I0,K0,=CG,LB1P=JGR,*G,@2H=20CI0,0@,=CG,=I2J2YGA2BC,2CA?110AIG,K0,JG10HJG4

!$#

<2,0@IG,2CL010CA2G,L=01G,>01P2I2KG,>?1,JG,10HJGQ,0J,@2H=20CI0,G1H=P0CI?,@01ZG,3MJ2K?4

!$%# U?,0@,C0A0@G12?,X=0,[?,0O2@IGR

\?,C?,0O2@I?R

*G,I01A01G,10HJG,K0,()+,C?@,K2A0,X=0,@2,=CG,LB1P=JG,0@,301KGK01GQ,0CI?CA0@,0@>?@2NJ0,X=0,@0G,301KGK01G4

,%-./*0''#(%)*+)�!"�%$

, !"

!" �!"

S@IG, 10HJG, IGPN2]C, 0@, A?C?A2KG, A?P?, TS&VQ, =CG, GN1032GA2BC,K0, JG, L1G@04,,$$"% &'-.$$",7/0J,@01,GJ,@01,>?@2NJ0:R,%J,2H=GJ,X=0,JG,10HJG,GCI012?1Q,K0N0,@01,G>J2AGKG,G,JZC0G@0CI01G@,K0,=CG,K0123GA2BCR,*G,@2H=20CI0,0@,=CG,G>J2AGA2BC,011BC0G,K0,JG,10HJG4

-, 8!%, ,." #%, -,7!S:, &''(')

Page 3: Introducción a La Lógica Moderna. Deduccion Natural Modal

!"##

% & ' ( ) * + , , % - & ! . ! / . ! / - 0 % , . ! 1 ) * 2 ( & .

EA!<8!8364?A=?!>4?AO87AB3!456;OA4?8!94?@A6A>8D!4<!5AC;A4364!8?C;@436=!54?:8!OX<A>=T

!"#$ EA!1B3A78!456X!7858>8D!436=3745!6A434!;3!459=5=H

EA!45!9=5AJ<4!P;4!1B3A78!456Y!7858>8D!436=3745!6A434!;3!459=5=H

/8!5AC;A4364!?4C<8!>4!!"'!3=!45!;38!?4C<8!>4!A3N4?437A8!5A3=!>4!4P;AO8<437A8H

/8!?4C<8!9;4>4!54?!;6A<AL8>8!98?8!?44@9<8L8?!;38!NB?@;<8!9=?!;38!NB?@;<8!4P;AO8<4364

A37<;5=!7;83>=!Y568!M874!98?64!>4!;38!NB?@;<8!@X5!7=@9<4W8H!/8!?4C<8!6A434!7;86?=

A356837A85!P;4!456X3!J858>85!43!4<!78?X764?!>;8<!=! A364?>4NA3AJ<4!>4! <=5!=94?8>=?45

@=>8<45H!K=?!45=!<<8@8?4@=5!8!<8!?4C<8!Z*;8<A>8>[T

-'./)&.&!"%$

!! T!T \�\!�! T!T \!\!

\!! T!T �\!!\! T!T \�!

23!4<!5AC;A4364!4W4@9<=!;6A<AL8?4@=5!8<C;385!>4!<85!?4C<85!456;>A8>85!M8568!4<

@=@436=H!*4@=56?8?4@=5!P;4!4<!5AC;A4364!8?C;@436=!45!OX<A>=!43!!"'T

!%$ !,!]!*

R�,!]!*S!�!2

�2

,=@=!P;4?4@=5!>4?AO8?!;38!NB?@;<8!9=5AJ<4@4364!O4?>8>4?8D!<8!456?864CA8!@X5!543U

7A<<8!45!>4?AO8?! <8! <46?8!9?=9=5A7A=38<!Z2[!G!>459;Y5!;6A<AL8?! R�%SH!K8?8!>4?AO8?!Z2[

>4J4@=5!>4?AO8?!4<!836474>4364!>4!<8!54C;3>8!9?4@A58H!/8!5AC;A4364!45!<8!>4?AO87AB3

7=@9<468T

!"$ Q! ,!�!2"

^" �,!�!2! Q!R�%S! &''('

Q! !,!]!*! E;9=5A7AB3!

^! R�,!]!*S!�!2! E;9=5A7AB3!

"! !,! Q!R]2S!

F! ,! "!R!2S!

$! �,! F!R�%S!_! *! Q!R]2S!

#! �,!]!*! $D!_!R]%S!

`! 2! ^D!#!R�2S!

a! �2! `!R�%S!

!"#$%&'#() %*+,-+,-./,*0*%/#'('*--

Page 4: Introducción a La Lógica Moderna. Deduccion Natural Modal

"#`

, . K b ' + / ) ! Q^

,=35A>4?4@=5!;3!4W4@9<=!@X5!7=@9<4W=H!*4@=56?8?4@=5!P;4!4<!5AC;A4364!8?U

C;@436=!45!OX<A>=!43!!"'T

!)$ !\.!�!\�\c

�\,!�! \!\*

\R�.!�!!,S

�*!]!c

*4J4@=5!>4?AO8?!;38!7=3W;37AB3H!/8!456?864CA8!@X5!5437A<<8!45!>4?AO8?!78>8!;3=!>4!<=5

4<4@436=5!>4!<8!7=3W;37AB3!A3>4943>A4364@4364H!K8?8!>4?AO8?!Zc[!>4J4@=5!=J6434?!4<

836474>4364!>4!<8!9?A@4?8!9?4@A58D!9;45!45!NX7A<!>4?AO8?!Zc[!>4!Z\�\c[H!d!98?8!>4?AO8?

Z�*[!>4J4@=5!=J6434?! 4<! 836474>4364!>4! <8! 54C;3>8!9?4@A58D! 9;45!>4! Z\!\*[! 54

9;4>4!>4?AO8?!Z�*[!>A?4768@4364H!/8!>4?AO87AB3!7=@9<468!45!7=@=!5AC;4T

K8?8! N87A<A68?! <8!>4?AO87AB3!>4!9?=9=5A7A=345!@X5!7=@9<4W85D! A36?=>;7A?4@=5

;38!54?A4!>4!?4C<85!98?8!<8!./,01/234/56!>4<!=94?8>=?!@=>8<H!/8!9?A@4?8!?4C<8!45!;38

?4C<8! >4! 4P;AO8<437A8! G! 6A434!>=5! A356837A85H!,=@=!45! ;38! ?4C<8! 98?8! >A56?AJ;A?! 4<

=94?8>=?!@=>8<D!<8!<<8@8?4@=5!Z2P;AO8<437A8!1=>8<!*A56?AJ;6AO8[T

01')2./,"().+3%&./+&)4#$)5'#)2.+"&'%$

!R!!]!#S T!T !!!]!!#

�R!!�!#S T!T �!!�!�#

EA!<8!7=3W;37AB3!>4!>=5!NB?@;<85!45!347458?A8@4364!O4?>8>4?8D!78>8!;3=!>4!<=5!4<4U

@436=5!>4!<8!7=3W;37AB3!>4J4!54?!347458?A8@4364!O4?>8>4?=H!d!5A!>=5!NB?@;<85!5=3

347458?A8@4364! O4?>8>4?85! A3>AOA>;8<@4364D! 436=3745! 5;! 7=3W;37AB3! 45! 347458?A8U

Q! !\.!�!\�\c! E;9=5A7AB3

^! �\,!�!\!\*! E;9=5A7AB3

"! \R�.!�!!,S! E;9=5A7AB3

F! \�.!]!\!,! "!R*41S!

$! \�.! F!R]2S!

_! !\.! $!R*S!

#! \�\c! QD!_!R�2S!

`! !c! #!R*S!

a! c! `!R!2S!

Qe! \!,! F!R]2S!

QQ! �\,! Qe!R*S!

Q^! \!\*! ^D!QQ!R�2S

Q"! �*! Q^!R*S!

QF! �*!]!c! aD!Q"!R]%S!

!"#$%&'#() %*+,-+,-./,*0*%/#'('*-2

Page 5: Introducción a La Lógica Moderna. Deduccion Natural Modal

!"#a

% & ' ( ) * + , , % - & ! . ! / . ! / - 0 % , . ! 1 ) * 2 ( & .

@4364!O4?>8>4?8H!K=?!=6?8!98?64D!5A! <8!>A5G;37AB3!>4!>=5!NB?@;<85!45!9=5AJ<4@4364

O4?>8>4?8D!78>8!;3=!>4!<=5!4<4@436=5!>4!<8!>A5G;37AB3!>4J4!54?!9=5AJ<4@4364!O4?>8U

>4?=H!d!5A!>=5!NB?@;<85!5=3!9=5AJ<4@4364!O4?>8>4?85!A3>AOA>;8<@4364D!5;!>A5G;37AB3

45!9=5AJ<4@4364!O4?>8>4?8H

2<!5AC;A4364!4W4@9<=!M874!;5=!>4!<8!2P;AO8<437A8!1=>8<!*A56?AJ;6AO8H!*4@=5U

6?8?4@=5!P;4!4<!5AC;A4364!8?C;@436=!45!OX<A>=!43!!"'T

!*$ !RK!]!(S

\�\(!�!�RE!�!'S

�E!�!�'

Q! !RK!]!(S! E;9=5A7AB3!

^! \�\(!�!�RE!�!'S! E;9=5A7AB3!

"! !K!]!!(! Q!R21*S!

F! !(! "!R]2S!

$! \�\(! F!R*S!

_! �RE!�!'S! ^D!$!R�2S!

#! �E!�!�'! _!R21*S!

25!A@9=?68364!3=!=<OA>8?!P;4!4568!?4C<8!>4!4P;AO8<437A8!5B<=!3=5!94?@A64!>A56?AU

J;A?!4<!=94?8>=?!>4!34745A>8>!43!<8!7=3W;37AB3!G!4<!>4!9=5AJA<A>8>!43!<8!>A5G;37AB3H!/8

?4C<8!3=!3=5!94?@A64!>A56?AJ;A?!4<!=94?8>=?!>4!34745A>8>!43!<8!>A5G;37AB3T

!R!!�!#S T!T !!!�!!#

2<!9?=J<4@8!?45A>4!43!P;4!>4!!R!!�!#S!3=!5A4@9?4!45!9=5AJ<4!A3N4?A?!!!!�!!#H!/8

A3N4?437A8!3=!45!9=5AJ<4!7;83>=!#!45!<8!34C87AB3!>4!!H!K=?!4W4@9<=D!5A!!R!!�!#S!45

Z!R2!�!\2S[D!3=!9=>4@=5!A3N4?A?!Z!2!�!!\2[D!7=@=!<=!A<;56?8!4<!5AC;A4364!785=T

!+$ &47458?A8@4364D!2A3564A3!387AB!43!+<@!=!3=!387AB!43!+<@H

!,$ &47458?A8@4364!2A3564A3!387AB!43!+<@!=!347458?A8@4364!2A3564A3!3=!387AB

43!+<@H

2<!9?A@4?!43;37A8>=!45!7A4?6=f!ZR2!�!\2S[!45!;3!64=?4@8!G!6=>=5!<=5!64=?4@85!5=3

347458?A8@4364!7A4?6=5H!K4?=!4<!54C;3>=!43;37A8>=!45!N8<5=!9=?P;4!2A3564A3!3=!643:8

P;4!3874?!347458?A8@4364!43!8<Cg3!5A6A=!43!98?6A7;<8?H

K=?!?8L=345!83X<=C85!68@9=7=!9=>4@=5!8>=968?!<8!5AC;A4364!?4C<8!>4!4P;AO8U

<437A8T

�R!!]!#S T!T �!!]!�#

2<!9?=J<4@8!43!4564!785=!?45A>4!43!P;4!>4!�!!]!�#!3=!5A4@9?4!45!9=5AJ<4! A3N4?A?

�R!!]!#SH!,=35A>4?4@=5!4<!5AC;A4364!4W4@9<=T

!"#$%&'#() %*+,-+,-./,*0*%/#'('*-3

Page 6: Introducción a La Lógica Moderna. Deduccion Natural Modal

!"#

$ % & ' ( ) * + , -.

!"# /0,123456789:8,;<04=18,>?8,@<0A,3698,16,B6C6:29,D8,E?8F6,G<CH,80:8,6I<,J

80,123456789:8,;<04=18,>?8,&8DC<,3698,16,B6C6:29,D8,E?8F6,G<CH,80:8,6I<K

!$%# /0, 123456789:8,;<04=18,>?8, :69:<, @<0A, 5<7<,&8DC<,36989, 16,B6C6:29,D8

E?8F6,G<CH,80:8,6I<K

/1,;C478C,89?9546D<,80,F8CD6D8C<,;8C<,81,083?9D<,80,L610<K,/9,0M7=<1<0N,O�@,P,�&Q

80,F8CD6D8C6N,;8C<,O�R@,P,&SQ,80, L6106K

%?9>?8,80:<0,8T87;1<0,7?80:C69,>?8,9<,;?8D8,U6=8C,?96,C8316,D8,!"#$%&'!()*$&,>?8,9<0,;8C74:6,D40:C4=?4C,81,<;8C6D<C,D8,985804D6D,89,16,D40J?95429,J,81,D8,;<04V

=414D6D, 89, 16, 5<9T?95429N, 0M, 80, ;<04=18, 80:6=1858C, ?96, C8316, D8, $(+!,!(*$&, 89, 80:<0

560<0W

!"#$%$"&'()*+,(-),'./%'01/'2()!"#$%

, !!"�,!#, �R!"P,#S

, , J,

!, !R!"�,#S, !, �!"P,�#"

/1,043?489:8,8T87;1<,U658,?0<,D8,80:6,C8316K,X87<0:C6C87<0,>?8,81,043?489:8

6C3?789:<,80,FY14D<,89,-./W

!$$# �R$,P,XS

�X,�, RZ�[,�,!\S

!RZ[,�,\S

-, �R$,P,XS, ]?;<045429

., �X,�,RZ�[,�,!\S, ]?;<045429

!, �$,P,�X, -,R^BXS,

_, �X, !,RP/S,

`, Z�[,�,!\, .N,_,R�/S,

a, !Z[,�,!\, `,RXS,

b, !RZ[,�,\S, a,R^BXS,

/1, 043?489:8,3C?;<,D8, C83160, D8,-./, 08, 6;1456, 6, L2C7?160,>?8, 5<9:89369, 81

<;8C6D<C,;6C6,16,47;14565429,80:C45:6K,*6,;C478C6,C8316,80,?96,C8316,D8,8>?4F6189546

>?8,08,=606,89,16,D8L4945429,D8,16,47;14565429,80:C45:6W

!*3-'&(&'4")$./%'&/()!"&%

!R!,�,"S W,W R!,��,"S

!"#$%&'#() &&*+,*+-./+,011/"'('1,+

Page 7: Introducción a La Lógica Moderna. Deduccion Natural Modal

!"`Q

% & ' ( ) * + , , % - & ! . ! / . ! / - 0 % , . ! 1 ) * 2 ( & .

/8!5AC;A4364!?4C<8!>4!!"'!45!;38!?4C<8!>4!A3N4?437A8!P;4!3=5!94?@A64!8C?4C8?

4<!@A5@=!=94?8>=?!@=>8<!8<!836474>4364!G!8<!7=3547;4364!>4!<8!A@9<A787AB3!456?A768T

67,$.&%$,4+&,+/.+)37/)(.()*"+,4#$)(#.!"(#&$

!!�!"" !!�!""

" G!

!" !!!�!!"" !" �!!�!�"!

/8!5AC;A4364!>4?AO87AB3!;6A<AL8!<85!>=5!g<6A@85!?4C<85H!K?=J8?4@=5!P;4!4<!5AU

C;A4364!8?C;@436=!45!OX<A>=!43!!"'T

!-.$ .!�!c

!.

!c

Q! .!�!c! E;9=5A7AB3

^! !.! E;9=5A7AB3

"! !.!�!!c! Q!R)%2S!

F! !R!.!�!!cS! "!R%2S!

$! !.!�!!c! F!R!2S!

_! !c! ^D!$!R�2S!

25!A@9=?68364!83=68?!P;4!<8!?4C<8!)%2!54!89<A78!8!<8!A@9<A787AB3!456?A768!94?=!3=

8! <8! A@9<A787AB3!@864?A8<H!,=35A>4?4@=5! <85! 7=3547;437A85! >4! 5;! 89<A787AB3! 43! 4<

5AC;A4364!785=T

!-"$ .!�!c

!.!�!!c

2564!8?C;@436=!6A434!;38!9?4@A58!O4?>8>4?8!G!;38!7=37<;5AB3!N8<58!7;83>=!Z.[!45

347458?A8@4364!O4?>8>4?8!G!Zc[!45!7=36A3C4364@4364!O4?>8>4?8D!7=@=!43!4<!5AC;A43U

64!4W4@9<=T

!-"#$ EA!6=>=5!<=5!@8?A>=5!5=3!M=@J?45!7858>=5D!436=3745!cA<<!,<A36=3!45!;3!M=@U

J?4! 7858>=H

EA! 347458?A8@4364! 6=>=5! <=5!@8?A>=5! 5=3!M=@J?45! 7858>=5D! 436=3745!34U

7458?A8@4364!cA<<!,<A36=3!45!;3!M=@J?4!7858>=H

25!347458?A8@4364!O4?>8>4?=!P;4!6=>=5!<=5!@8?A>=5!5=3!M=@J?45!7858>=5D!94?=!3=!45

347458?A8@4364!O4?>8>4?=!P;4!cA<<!,<A36=3!548!;3!M=@J?4!7858>=H!23!8<Cg3!@;3>=

!"#$%&'#() %*+,-+,-./,*0*%/#'('*2%

Page 8: Introducción a La Lógica Moderna. Deduccion Natural Modal

"`^

, . K b ' + / ) ! Q^

9=5AJ<4!cA<<!,<A36=3!9;>=!M8J4?!94?@8347A>=!5=<64?=H!23!7=3547;437A8D!4<!7=3>A7A=38<

>4!<8!9?4@A58!45!O4?>8>4?=!94?=!4<!7=3>A7A=38<!>4!<8!7=37<;5AB3!45!N8<5=H

.<C=!5A@A<8?!=7;??4!43!4<!785=!>4<!=94?8>=?!>4!9=5AJA<A>8>H!,=35A>4?4@=5!4<

5AC;A4364!8?C;@436=T

!-%$ .!�!c

�.!�!�c

2564!8?C;@436=!6A434!;38!9?4@A58!O4?>8>4?8!G!;38!7=37<;5AB3!N8<58!7;83>=!Zc[!45

347458?A8@4364!N8<58!G!Z\.[!45!;38!O4?>8>!7=36A3C4364D!7=@=!43!4<!5AC;A4364!4W4@U

9<=T

!-%#$ EA!cA<<!,<A36=3!45!;3!M=@J?4!5=<64?=D/436=3745!M8G!5=<64?=5!P;4!456X3!7858>=5H

EA!45!9=5AJ<4!P;4!cA<<!,<A36=3!548!;3!M=@J?4!5=<64?=D!436=3745!45!9=5AJ<4!P;4

M8G8!5=<64?=5!7858>=5H

/8!9?4@A58!45!O4?>8>4?8!9=?P;4!4<!836474>4364!G!4<!7=3547;4364!5=3!N8<5=5H!K4?=!<8

7=37<;5AB3!45!N8<58!9=?P;4!4<!836474>4364!45!O4?>8>4?=!94?=!4<!7=3547;4364!45!N8<5=H

1;7M85! >4! <85! ?4C<85! >4! A3N4?437A8! 43!!"'! 5=3! 83X<=C85! 8! <85! >4! <8! <BCA78

9?=9=5A7A=38<!7<X5A78H!'836=!78.3,9:86-6,!7=@=!78.3,908;;-6,!54!7;@9<43!98?8!<8

A@9<A787AB3!456?A768H!K8?8!@836434?!<8!;3AN=?@A>8>!>4<!5A564@8D!6?868?4@=5!8!<85!>=5

?4C<85!7=@=!785=5!>4!;38!?4C<8!@X5!C434?8<D!<8!?4C<8!98?8!<8!4<A@A387AB3!>4!<8!A@9<A78U

7AB3!456?A768H

0/)3)".()*"+&,+/.+)37/)(.()*"+,4#$)(#.+"�&$

!!�!"" !!�!""

!" G! \"!

!" "" !" #!!!

hA38<@4364D!9=>4@=5!A36?=>;7A?!;38!?4C<8!83X<=C8!8<!5A<=CA5@=!MA9=6Y6A7=!>4!<8

<BCA78!9?=9=5A7A=38<T

8)/%9)43%+:)7%#;#)(%+3%&./+")*'$

!!�!""

"!�!$"

!" !!�!$!

!"#$%&'#() %*+,-+,-./,*0*%/#'('*2&

Page 9: Introducción a La Lógica Moderna. Deduccion Natural Modal

!"`"

% & ' ( ) * + , , % - & ! . ! / . ! / - 0 % , . ! 1 ) * 2 ( & .

,=35A>4?4@=5!8<C;3=5!4W4@9<=5!P;4!;6A<AL83!<85!?4C<85!874?78!>4!<8!A@9<A787AB3

456?A768H!K?=J8?4@=5!P;4!<8!5AC;A4364!NB?@;<8!45!;3!64=?4@8!43!!"'T

!-)$ !.��!cS!�!R\c��!\.S

Q! .!�!c! E;9=5A7AB3

^! !R.!�!cS! Q!R%2S!

"! !R\c!�!\.S! ^!R'?835S!

F! R\c!�!\.S! "!R%2S!

$! !.!�!cS!�!R\c!�!\.S! QUF!R�%S!

EA!3=!7=36X?8@=5!7=3!<8!?4C<8!R'?835SD!P;4!=?ACA38<@4364!94?643474!8!!"#VD!<8!>4?AU

O87AB3!54?:8!@;7M=!@X5!<8?C8!G!7=@9<4W8T

Q! .!�!c! E;9=5A7AB3!

^! ! \c!! E;9=5A7AB3!

"! ! ! .! E;9=5A7AB3!

F! ! ! c! QD!"!R�2S!

$! ! ! \c! ^!R(S!

_! ! \.! "U$!R\%S!

#! ! \c!�!\.! ^U_!R�%S!

`! R.!�!cS!�!R\c!�!\.S! QU#!R�%S!

a! !iR.!�!cS!�!R\c!�!\.Sj! `!R!%S!

Qe! R.!�!cS!�!R\c!�!\.S! a!R%2S!

QQ! !R.!�!cS!�!!R\c!�!\.S! Qe!R)%2S!

Q^! R.!�!cS!�!R\c!�!\.S! QQ!R%2S!

Q"! .!�!c! E;9=5A7AB3!

QF! \c!�!\.! Q^D!Q"!R�!2S

Q$! R.!�!cS!�!R\c!�!\.S! Q"UQF!R�%S!

%37<;A@=5!4568!>4?AO87AB3!5A@9<4@4364!98?8!P;4!4<!<476=?!54!M8C8!;38!A>48!>4!<8!>AN4U

?437A8!436?4!;58?!!"#!G!!"#V!7=@=!J854!98?8!7=356?;A?!!"'H

!"#$%&'#() %*+,-+,-./,*0*%/#'('*2*

Page 10: Introducción a La Lógica Moderna. Deduccion Natural Modal

"`F

, . K b ' + / ) ! Q^

K?=J8?4@=5!8M=?8!P;4!<8!5AC;A4364!NB?@;<8!45!;3!64=?4@8!>4!!"'T

!-*$ RiR2!�!*S!]!R*!�!,Sj!]!2S!�!,

Q! iR2!�!*S!]!R*!�!,Sj!]!2! E;9=5A7AB3!

^! R2!�!*S!]!R*!�!,S! Q!R]2S!

"! 2!�!*! ^!R]2S!

F! *!�!,! ^!R]2S!

$! 2!�!,! "D!F!REk1S

_! 2! Q!R]2S!

#! ,! $D!_!R�2S!

`! RiR2!�!*S!]!R*!�!,Sj!]!2S!�!,! QU#!R�%S!

&01234345/ -.6-

7H!*4@;456?4!P;4!78>8!;38!>4!<85!5AC;A43645!NB?@;<85!45!;3!64=?4@8!43!!"'H

QH \�2!�!\2 ^H !iR.!]!cS!�!Rc!�!,Sj

"H !R.!]!cS!�!�c FH R!\c!]!'S!�!\�c

$H iR�k!�!\!ES!]!!\kj!�!�\E _H R!,!�!!*S!�!R,!�!*S

#H iRl!�!/S!]!!\/j!�!!\l ` iR!E!�!!KS!]!�\Ej!�!�\K

aH !R.!]!\cS!�!\�c QeH \R!R2!�!kS!]!\!\2S!�!�k

8H!*4@;456?4!P;4!78>8!;3=!>4!<=5!5AC;A43645!8?C;@436=5!45!OX<A>=!43!!"'H

QH �.!�!�c ^H �Rk!]!mS

�R.!�!cS!�!, �l!�! \�m�, !\l

"H h!��!0 FH !R&! !)S

!\0 &!�!K

!\h )!�!K

$H �K!�!' _H E!�!R'!]!+S

!\K!�!' !E

!+

#H �R\*!]!\2S `H �Rn!�!oS

�.!�!!* �n!�!�p\. �o!�!�q

�Rp!�!qS

!"#$%&'#() %*+,-+,-./,*0*%/#'('*24

Page 11: Introducción a La Lógica Moderna. Deduccion Natural Modal

!"`$

% & ' ( ) * + , , % - & ! . ! / . ! / - 0 % , . ! 1 ) * 2 ( & .

aH !R'!�!ES QeH !i\(!�!RE!]!'Sj

!\' �(

!E �E!]!�'

QQH !i1!�!R&!�!)Sj Q^H \�RE!�!'S

�& R+!�!nS!�!�E�R1!�!)S �\n

Q"H !Rn!]!(S!�!o QFH !R.!]!cS!�!!R\.!]!\cS

!n iR.!�!cS!]!Rc!�!.Sj!�!\�,\o!�!\( �\,

Q$H �R/!�!1S Q_H !ic!]!R2!�!\0Sj

!\/ R!l!�!�kS!�!\!c

1!�!\& �0\!& �2!]!\k

Q#H �ic!�!R,!]!*Sj Q`H �iR/!�!1S!]!R/!�!rSj

�.!�!\�c �K!�! \�r�.!�!\�R,!]!*S !\/

\. \K

!"#"$624$4*4.&1-4$78$9$7:

,=@=!OA@=5!43!4<!789:6;<=!QeD!<8!8>A7AB3!>4<!8IA=@8!EF!8<!5A564@8!'!N=?@8!4<!5A564@8

EFD!G!<8!8>A7AB3!>4<!8IA=@8!E$!8!'!N=?@8!4<!5A564@8!E$H!23!4568!5477AB3!456;>A8?4@=5

;3!5A564@8!>4>;76AO=!98?8!4<!5A564@8!EF!G!;3=!98?8!E$H!,=@=!8@J=5!5A564@85!5=3

4I6435A=345!>4!'D!;6A<AL8?4@=5!!"'!7=@=!4<!9;36=!>4!98?6A>8!98?8!<8!7=356?;77AB3!>4

<=5!>=5!5A564@85!>4!>4>;77AB3H!/=5!<<8@8?4@=5!!"<!G!!"=H

!"<!54!7=356?;G4!8s8>A43>=!<8!5AC;A4364!?4C<8!8!!"'H!25!;38!?4C<8!>4!4P;AO8U

<437A8!J858>8!43!4<!8IA=@8!EFT!EA!!!D!436=3745!!!!H

8)4#,3.+8<+")+$

!! T!T !!!

�! T!T ��!

!"#$%&'#() %*+,-+,-./,*0*%/#'('*21

Page 12: Introducción a La Lógica Moderna. Deduccion Natural Modal

"`_

, . K b ' + / ) ! Q^

2<!985=!>4!!!!!8!!!!456X!O8<A>8>=!9=?!R!2S!G!4<!985=!>4!�!!8!��!!456X!W;56ANA78>=

9=?! R�%SH!2<!985=!>4!��!!8!�!!45!;38!7=3547;437A8! <BCA78!>4<!8IA=@8!EFD!9;45!45

9=5AJ<4!9?=J8?!P;4!7;8<P;A4?! NB?@;<8!>4! <8! N=?@8!��!!�!�!! 45!;3! 64=?4@8!>4!EF

;6A<AL83>=!<8!9?A@4?8!4P;AO8<437A8T

Q! \R��!!�!�!%" E;9=5A7AB3

^! \R\��!!�!�!%! Q!R%@9<S!

"! \\��!!]!\�!! ^!R*41S!

F! ��!!]!\�!" "!R*&S!

$! \�!" F!R]2S!

_! !\!! $!R*S!

#! !!\!! _!REFS!

`! ��!" F!R]2S!

a! \!\�!! `!R*S!

Qe! \!!\!! a!R*S!

QQ! ��!!�!�!" QUQe!R\2S!

,=35A>4?4@=5!;3!4W4@9<=!>4!;3!8?C;@436=!OX<A>=!43!!"<H

!-+$ �,!�! \!!*

!*

\,

Q! �,!�!\!!*! E;9=5A7AB3

^! !*! E;9=5A7AB3

"! �,!�!\!*! Q!REFS!

F! \\!*! ^!R*&S!

$! \�,! "D!F!R�!2S!

_! !\,! $!R*S!

#! \,! _!R!2S!

!"=!54!7=356?;G4!8s8>A43>=!<8!5AC;A4364!?4C<8!>4!4P;AO8<437A8!8!!"<H!/8!?4C<8

456X!J858>8!43!4<!8IA=@8!E$T!EA!�!D!436=3745!!�!H

8)4#,3.+8=!"),$�! T!T !�!�!! T!T !!

2<!985=!>4!!�!!8!�!!456X!W;56ANA78>=!9=?!R!2S!G!4<!985=!>4!!!!8!�!!!456X!W;56ANA78>=

9=?!R�%SH!2<!985=!>4!�!!!8!!!!45!;38!7=3547;437A8!<BCA78!>4<!8IA=@8!E$D!9;45!45

!"#$%&'#() %*+,-+,-./,*0*%/#'('*25

Page 13: Introducción a La Lógica Moderna. Deduccion Natural Modal

!"`#

% & ' ( ) * + , , % - & ! . ! / . ! / - 0 % , . ! 1 ) * 2 ( & .

9=5AJ<4!9?=J8?!P;4!7;8<P;A4?!NB?@;<8!7=3!<8!N=?@8!�!!!�!!!!45!;3!64=?4@8!>4!!"=;6A<AL83>=!<8!9?A@4?8!98?64!>4!<8!?4C<8T

Q! \R�!!!�!!!%" E;9=5A7AB3

^! \R\�!!!�!!!%! Q!R%@9<S!

"! \\�!!!]!\!!! ^!R*41S!

F! �!!!]!\!!" "!R*&S!

$! \!!" F!R]2S!

_! �\!! $!R*S!

#! !�\!! _!RE$S!

`! !\!!! #!R*S!

a! \�!!! `!R*S!

Qe! �!!" F!R]2S!

QQ! �!!!�!!!" QUQe!R\2S!

/8!O8<A>4L!>4<!5AC;A4364!8?C;@436=!>4943>4!>4!<8!8749687AB3!>4!<8!?4C<8!RE$ST

!-,$ 1!�!l

l!�!\�\1

�1

1

Q! 1!�!l! E;9=5A7AB3

^! l!�!\�\1! E;9=5A7AB3

"! �1! E;9=5A7AB3

F! �1!�!�l! Q!R)%2S!

$! l!�!!1! ^!R*S!

_! �l!�!�!1! $!R)%2S!

#! �1!�!�!1! FD!_!REk1S

`! �!1! "D!#!R�2S!

a! !1! `!RE$S!

Qe! 1! a!R!2S!

&01234345/ -.6.

7H!*4@;456?4!P;4!<=5!5AC;A43645!8?C;@436=5!5=3!OX<A>=5!43!!"<H

QH �\!k ^H \�m

�\k !\�m

"H !!h!�!0 FH ��RK!�!rS

!h �K!�!�r0

!"#$%&'#() %*+,-+,-./,*0*%/#'('*2-

Page 14: Introducción a La Lógica Moderna. Deduccion Natural Modal

"``

, . K b ' + / ) ! Q^

$H R�1!�!��1S!�!& _H !!��E!R�1!�!&S �E

#H (!�!E `H !!2!�!!!h

!( �\h

!!E \!2

aH !!RK!]!rS QeH !\r!�!!!\(

!K!]!!!r �(

�r

8H!*4@;456?4!P;4!<=5!5AC;A43645!8?C;@436=5!5=3!OX<A>=5!43!!"=H

QH ��* ^H !�!�/!�* �/

"H �. FH �!&!�!��K!�.!�!�!c \�K

c \!&

$H �!2 _H �!�!.

��,!�! \!2 .

\�,

#H 0!�!!m `H �!\k

m!�!0 �,!�!�k�m \,

m

aH !!Rk!]!�!2S QeH !!.!�!�!c

!�k!]!�2 ��R\!.!�!!cS

QQH !��R\h!�!�\0S Q^H �\&!�! \&

�R\!h!�!!�\0S �&

&

!"#$%&'#() %*+,-+,-./,*0*%/#'('*22