Paez, A. - Introducción a La Lógica Moderna

download Paez, A. - Introducción a La Lógica Moderna

of 540

Transcript of Paez, A. - Introducción a La Lógica Moderna

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    1/539

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

    * , * , ) - ! ( * . % & / $ " *

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    3/539

    !"#$% & ()*+

    ,"-$.#/00 , 1"

    ! 2! 213 , 0! 4.#*$"!

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    4/539

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

    ! 2+("34 !5%6

    ! 7+#8%"4#(&( (% 9.4 2+(%4: ;&)#%+)#&4 ?.)#&9%4,

    @%A&"=&$%+=. (% ;#9.4.BC&

    D%93B.+.4E FFGHGHG I FFGHGGG: JK=: /LF0I/L0MJ(#)#.+%4 7+#&+(%4

    >&""%"& M NO MGP/1: J(#B#)#. 27 Q2A&"=&(. 23"%. HG1Q

    R.S.=5, @:>:, >.9.$T#&D%93B.+.4E FFGHGHG P FFGHGGG: JK=: /MUMI /01M I /0GG: ;&KE %K=: /MLU>.""%. %9%)="*+#).E #+B%(.9.$T#& I !"#+=%( #+ >.9.$T#&

    D.(.4 9.4 (%"%)Z.4 "%4%"8&(.4: J4=& A

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    5/539

    ! #$%&'&$%(&

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    6/539!"#$%$&'(#) *+,-.,-./ -+123 ('#'4

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    7/539

    0567869:5

    0$/1*(!% !"""

    23 (%"(/0#%4564!(%4&/,*,)-!(* 2232 78'9/4,*,)-!(*: 223; /"'"(!*&%423? *$-'./"#%4 !"&'(#!@%4 2A23B 4!,%-!4.%4 (*#/-)$!(%4 2=23> 4%$!#/4 2C23C 4!,%-!4.%4 D!0%#9#!(%4

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    8/539

    %"""

    0 $ / 1 * ( ! %

    ;3E /"'"(!*&%4 ('*"#!1!(*&%4 BA;32A ,*4!"#*I!4&/#$ B=

    =3 4/.6"#!(*&/,,/"-'*G/#$ BC=32 (%"&!(!%"/4&/@/$&*& BC=3; #*5,*4&/@/$&*& BE=3= #*'#%,%-J*4H (%"#$*&!((!%"/4 >=3B (%"4!4#/"(!* 4/.6"#!(* >F=3> @*,!&/K/!.0,!(*(!)"4/.6"#!(* CA=3CL ,*5*$$*&/4D/11/$

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    9/539

    ix

    P R E F A C I O

    SEGUNDAPARTE

    LALGICADEPRIMERORDEN

    6. INTRODUCCINALALGICADEPREDICADOS 1476.1 INTRODUCCININFORMALALC 148

    6.1.1 TRMINOS SINGULARES 148

    6.1.2 TRMINOSGENERALES 149

    6.1.3 ENUNCIADOSSINGULARES 150

    6.1.4 ENUNCIADOSGENERALES 152

    6.2 INTRODUCCINFORMALALLENGUAJELC 153

    6.3 SINTAXISFORMALDELC 162

    6.4 ENUNCIADOSCATEGRICOS 168

    6.5 ENUNCIADOSCATEGRICOSCOMPLEJOS 177

    6.6 ENUNCIADOSCONCUANTIFICACINMLTIPLE 185

    6.7* LAFORMANORMALPRENEXADEUNAFRMULADELC 193

    6.8 LGICACUANTIFICADACONIDENTIDAD 200

    6.9 DESCRIPCIONESDEFINIDAS 206

    7. SEMNTICADELLENGUAJELC 212

    7.1 LAVALUACINE INTERPRETACINDELASFRMULASDELC 213

    7.1.1 ELUD 213

    7.1.2 LA INTERPRETACINDELOSPREDICADOS 214

    7.1.3 LA INTERPRETACINDELASCONSTANTES 217

    7.1.4 VALUACIONESNO INTERPRETADAS 218

    7.1.5 DEFINICINFORMALDEUNAVALUACIN 220

    7.2 R EGLASDEVALUACINDELC 221

    7.2.1 REGLASPARAFRMULASATMICAS 221

    7.2.2 REGLASPARAFRMULASMOLECULARES 223

    7.2.3 REGLAS PARA FRMULASCUANTIFICADAS 225

    7.3 MODELOS 233

    7.4 PROPIEDADESSEMNTICASDELASFRMULASDELC 239

    7.5 EQUIVALENCIASEMNTICA 244

    7.6 CONSISTENCIA SEMNTICA 247

    7.7 VALIDEZE IMPLICACINSEMNTICA 249

    7.8 SEMNTICAPARALCI 253

    7.9* ELFRAGMENTOMONDICODELC 255

    C O N T E N I D O

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    10/539

    !

    ! " # $ % & ' (

    )* +",(-#.0#1#"0%00#"# 234

    )*5 "#6-%. 0#0#.&(7!(.'&'89 0# -(. &:%9;'$'&%0("#. 234

    )*2 1%-:%&'(9#.#9:9+",(-0#1#"0%0 233

    5C*@*5 .#7+9;'&%-#',9'D'%9% 4>3

    5C*@*2 .#7+9;'&%I"'!I#%9% 4> U5#0#&Z :; :C 7@8C< 3@?>;2:;=> 72:64837>383< 6:3@C48 =: ;:7:32=8= >468 7>38 =2H:6:;4: =: C83 7>383 3@?@:348335C> ?>6 A8N:6 32=> K3483 3@?@:3483 U7"(-%"#& .,.51)($#&YXN!WDY\ZE

    )8=8 @;8 =: C83 7>383 3@?@:3483 :3 @;8 ()"*%+, U!"6).&(&Z J C> L@: ]6:3@C48 =:;:7:32=8=^ :3 C8 $-'$.#+%&' U&+-!

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    16/539

    Y

    ) , F _ $ ( - & !

    3@?>;:9>3 L@: C83 ?6:92383 =: @;8 =:=@7725; 3>; R:6=8=:683< :3 29?>32NC: L@: C87>;7C@325; 3:8 H8C38E 0C 7>;7:?4> =: =:=@7725; =:H2;2=> ?>6 ,623454:C:3 7>66:3?>;=:A8348 72:64> ?@;4> 8C 7>;7:?4> 9>=:6;> =: R8C2=:I C5B278 L@: :34@=286:9>3 :; :34:

    C2N6>E 0; 89N>3 783>3 C> L@: =2342;B@: :C 68I>;892:;4> 7>66:74> =:C 2;7>66:74> :3 C8!"%&%"*.$(6, '% 5. *%"'.'E

    '@68;4: :C ?:62>=> A:C:;P3427>< C8 C5B278 86234>4KC278 H@: >?878=8 ?>6 C8 C5B278:34>278< J :; ?86427@C86 ?>6 C83 >N683 =: )6232?> UYW\DY\` ,E)EZ< ?:6> 4683 3@6:=:37@N6292:;4> ?>6 ?864: =: C>3 7>9:;48623483 =: H2;8C:3 =: C8 ,;42BG:=8=< C8 C5B278=: ,623454:C:3 6:7@?:65 3@ ?>32725; =>92;8;4:E ->3 7>9:;48623483 8B6@?86>; C>3 3:2346848=>3 C5B27>3 =: ,623454:C:3 N8S> :C 4P4@C> ="0.,#,U2;346@9:;4>Z< @; 4K692;> L@:,623454:C:3 9239> ;@;78 @42C2I5< J L@: 6:HC:S8 C8 H>698 :; L@: C>3 ?:62?84K427>3 2;4:6D?6:486>; :C ?8?:C =: C8 C5B278E , =2H:6:;728 =: C>3 C5B27>3 :34>27>3< L@: 7>;32=:68N8; 8C8 C5B278 7>9> ?864: =: C8 H2C>3>HP8 92398< C>3 7>9:;48623483 =: ,623454:C:3 R:P8; :C:34@=2> =: C8 C5B278 35C> 7>9> @;8 ?6>?:=K@4278< @;8 ?6:?868725; ?868 :C :34@=2> =: C8H2C>3>HP8E

    '@68;4: 9M3 =: =>3 92C 8a>3 C8 C5B278 86234>4KC278 H@: 7>;32=:68=8 C8 b;278C5B278 ?>32NC:< J 35C> :; :C 32BC> c"c 3: A272:6>; :R2=:;4:3 3@3 C2924872>;:3< :; ?86427@DC86< :; 3@3 8?C27872>;:3 :; C83 984:9M42783E .>44C>N d6:B: U!WXWD!eYfZ J )A86C:3O8;=:63 F:267: U!WVeD!e!XZ 3:;486>;< 2;=:?:;=2:;4:9:;4:< C83 N83:3 ?868 :C =:3866>DCC> =: C8 C5B278 9>=:6;8E O2; :9N86B>< C8 >N68 9M3 2;HC@J:;4: :; C8 A234>628 4:9?68;8=: C8 ;@:R8 C5B278 H@: 7"(,$(!(. >.)?%-.)($. U!e!\D!e!VZ< :376248 ?>6 g:6468;=%@33:CC U!W`YD!e`\Z J ,CH6:= #>64A hA24:A:8= U!Wi!D!eX`ZE 0C ?6>?5324> =: :348 >N68

    :68 =:9>34686 L@: C8 86249K4278 ?@:=: 3:6 6:=@72=8 8 C8 C5B278< :3 =:726< L@: 7@8CL@2:6R:6=8= 86249K4278 ?@:=: 3:6 :T?6:38=8 J ?6>N8=8 :; 4K692;>3 ?@689:;4: C5B27>3E,@;L@: :C ?6>J:74> H2;8C9:;4: 3: :;H6:;45 8 =2H27@C48=:3 2;38CR8NC:3< 3@ C:B8=> :32;=237@42NC:E 0; ?629:6 C@B86< 2;46>=@S> @;8 ;>48725; 3@?:62>6 8 C8 =: d6:B: J F:267:L@: 3875 8 C8 C@I :C ?>=:6 :T?6:32R> =: C8 C5B278 9>=:6;8E 0; 3:B@;=> C@B86< :3429@C5:C 2;4:6K3 ?>6 :C :34@=2> =: C83 ?6>?2:=8=:3 =: C>3 3234:983 H>698C:3< :34@=2> L@:7>;=@726P8 8C =:37@N6292:;4> =: 6:3@C48=>3 4:5627>3 48; 29?>648;4:3 7>9> :C H89>3>$:>6:98 =: .j=:C U!eV!ZE d2;8C9:;4:< :; C8 2;46>=@7725; 8C C2N6> %@33:CC :T?C>65 C837>;:T2>;:3 :;46: C8 ;@:R8 C5B278 J C>3 ?6>NC:983 468=272>;8C:3 =: C8 9:48HP3278 J C8:?234:9>C>BP8< =:R:C8;=> 3@3 83?:74>3 9M3 2;4:6:38;4:3 =:3=: @; ?@;4> =: R2348 H2C>D

    35H27>E-8 C5B278 3: A8 =:3866>CC8=> 9M3 6M?2=89:;4: :; C>3 bC429>3 72:; 8a>3 L@:

    =@68;4: 4>=8 3@ A234>628 8;4:62>6< J C8 C5B278 86234>4KC278 35C> 7>;3424@J: @;8 ?864: 9:D;>6 =: C8 C5B278 9>=:6;8E 0C 3234:98 =:3866>CC8=> ?>6 hA24:A:8= J %@33:CC 3: A87>;R:642=> :; :C 3234:98 :34M;=86< J :3 :; :3: 3:;42=> L@: 3: =:;>92;8 .&/%$, $.1+%2

    $,< 8 ?:386 =: 4:;:6 @;8 6:C8725; 9@J 4:;@: 7>; C8 C5B278 =: C8 ,;42BG:=8=E '@68;4:C>3 bC429>3 >7A:;48 8a>3 A8; 8?86:72=> 9bC42?C:3 3234:983 C5B27>3 L@: :T42:;=:; C8C5B278 7CM3278< > L@: 2;4:;48; 6::9?C8I86C8 =:C 4>=>< =8;=> >62B:; 8 .&/%$,+ '- $.1+%2

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    17/539

    V

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

    $,+E 0; :34: C2N6> ;>3 C292486:9>3 8C :34@=2> =: C8 C5B278 7CM3278 J =: @;8 =: 3@3:T4:;32>;:3< C8 C5B278 9>=8CE

    )>9:;I86:9>3 ;@:346> :34@=2> =: C8 C5B278 2;46>=@72:;=> 8CB@;>3 =: C>3 4K692;>39M3 29?>648;4:3 =:C R>78N@C862> C5B27>E .:;:68C9:;4: C>3 3:6:3 A@98;>3 68I>;89>3J =:H:;=:9>3 ;@:34683 2=:83 @42C2I8;=> >6872>;:3 =:7C86842R83< ;> >6872>;:3 2;4:66>DB842R83< 29?:6842R83 > :T7C89842R83E O5C> 8 468RK3 =: @;8 >68725; =:7C86842R8 ?>=:D9>3 =:726 8CB> L@: C>3 =:9M3 ?@:=:; S@IB86 7>9> R:6=8=:6> > H8C3>E ,C H>69@C86 @;8?6:B@;48 ;> :3489>3 :T?6:38;=> 8CB> R:6=8=:6> > H8C3>< J @;8 >6=:; ;>3 ?@:=: ?86:D7:6 =:38B68=8NC: > 2;>?>64@;8< ?:6> ;@;78 8CB> R:6=8=:6> > H8C3>E , 8L@:CC83 >6872>D;:3 L@: ?@:=:; 3:6 @42C2I8=83 ?868 =:726 8CB> R:6=8=:6> > H8C3> C83 CC8986:9>3

    "'#'$%,!-+E ->3 32B@2:;4:3 3>; :S:9?C>3 =: :;@;728=>3[!"# $6:3 9M3 72;7> :3 2B@8C 8 ;@:R:E

    !$# 0C 0R:6:34 :3 C8 9>;48a8 9M3 8C48 =:C 9@;=>E

    !%# 034M CC>R2:;=>E

    ! ->3 :C:H8;4:3 R@:C8;E

    ,@;L@: B:;:68C9:;4: A8NC89>3 =: :;@;728=>3 R:6=8=:6>3 > H8C3>3< =:N:9>34:;:6 ?6:3:;4: L@: C>3 :;@;728=>3 ;> 3>; R:6=8=:6>3 > H8C3>3 :; 3P 9239>3E -8 68I5;:3 L@: @;8 J C8 92398 >68725; ?@:=: 3:6 @42C2I8=8 ?868 :T?6:386 7>383 7>9?C:489:;4:

    =2H:6:;4:3 =:?:;=2:;=> =:C A8NC8;4: J =:C 7>;4:T4> :3?872>4:9?>68CE )>;32=:6:9>36 :S:9?C>< :C :;@;728=>[

    !'# 0C ?6:32=:;4: =: 0348=>3 (;2=>3 :3 A2S> =: @; :T ?6:32=:;4:E

    O2 8CB@2:; ?6>;@;725 :34: :;@;728=> :; !eef< =2S> 8CB> H8C3>< 92:;4683 L@: 32 C> ?6>;@;D725 :; Y\\X< =2S> 8CB> R:6=8=:6>E ':C 9239> 9>=>< :C :;@;728=>[

    !(# k> 3>J ?6>H:3>6 =: H2C>3>HP8E

    :3 R:6=8=:6> :; N>78 =: lG6B:; 18N:6983 J H8C3> :; N>78 =: d2=:C )8346>E

    /@7A>3 H2C53>H>3 A8; CC898=>()-(-+%$%-'"+8 8L@:CC83 R:6=8=:3 > H8C3:=8=:3L@: 3>; :T?6:38=83 ?>6 @; :;@;728=>E O:Bb; :34: ?@;4> =: R2348< @; 9239> :;@;728=>?@:=: :T?6:386 ?6>?>3272>;:3 =2H:6:;4:3< 7>9> :; C>3 :S:9?C>3 !'#J !(#< J C8 92398?6>?>32725; ?@:=: 3:6 :T?6:38=8 @42C2I8;=> :;@;728=>3 =2H:6:;4:3< 7>9> :; :C 32B@2:;D4: :S:9?C>[

    !)# /864P;:I B8;5 C83 :C:772>;:3E

    !*# -83 :C:772>;:3 H@:6>; B8;8=83 ?>6 /864P;:IE

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    18/539

    X

    ) , F _ $ ( - & !

    -> 9239> >7@66: 7>; C>3 32B@2:;4:3 46:3 :;@;728=>3[

    !+# O;>m 23 mA24:E

    !",# -8 ;2:R: :3 NC8;78E!""# O7A;:: 234 m:233E

    ->3 :;@;728=>3 !+#

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    19/539

    f

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

    ;:3< C8 =:H2;2725; =:C 7>;4:T4> ;>3 ?:6924: 4683C8=86 :C R8C>6 =: R:6=8= =: C8 ?6>?>32D725; 8C :;@;728=>< J 35C> =: :3: 9>=> :3 ?>32NC: A8NC86 =: :;@;728=>3 R:6=8=:6>3 >H8C3>3E F:6> 32 @;> =:3:8 :R2486 :C @3> =: C83 ?6>?>3272>;:3< :; R:I =: =:726 L@: C83

    ?8C8N683 ]R:6=8=:6>^ J ]H8C3>^ 3: 8?C278; 8 C83 ?6>?>3272>;:3 > 8 C>3 :;@;728=>3< 3:?@:=: 8H26986 L@: C> L@: ?6>?289:;4: 3: ?@:=: CC8986 R:6=8=:6> > H8C3> :3 :C 874> =::92325; =: @; :;@;728=>< :3 =:726< C8 7>;S@;725; =: @;8 >68725; 8H269842R8< L@: :3 @;8:;42=8= C2;BGP34278< J 3@ 7>;4:T4> ?68B9M427> =: :92325;E p@2;: U!e`VZ< @;> =: C>3C5B27>3 9M3 2;HC@J:;4:3 =:C 32BC> cc< A8 ?6>?@:34> L@: :34>3 874>3 =: :92325; ?@:=:;3:6 468;3H>698=>3 :; >6872>;:3 L@: 2;7C@J8; 2;H>698725; 87:678 =: 3@ 7>;4:T4> ?68BD9M427>E ,3P< :; R:I =: =:726[ ]034M CC>R2:;=>^< @; :;@;728=> 7@J> R8C>6 =: R:6=8=?@:=: R86286 7>;4:T4@8C9:;4:< =:729>3[ ]034M CC>R2:;=> :; g>B>4M 8 C8 9:=28;>7A:=:C f =: 8N62C =: Y\\f^ U:C 9>9:;4> :T874> :; :C L@: :3762N> :3483 CP;:83ZE , :34: 42?>=: :;@;728=>3< p@2;: C>3 CC898 ]>6872>;:3 :4:6;83^< J 3>; :CC83 C83 L@: 42:;:; C8?6>?2:=8= =: 3:6 R:6=8=:683 > H8C383E

    -8 ?6:H:6:;728 ?>6 8CB@;8 =: C83 =>3 2;4:6?6:4872>;:3 ?6:3:;48=83 8L@P :3486M=:4:692;8=8 ?>6 C83 7>;R2772>;:3 H2C>35H2783 =:C C:74>6E 0C :H:74> ?6M7427> ?868 :C:34@=2> =: C8 C5B278 :3 L@: ?>=:9>3 7>;7:;4686;>3 :T7C@32R89:;4: :; :C :34@=2> =:C>3 :;@;728=>3 =: ;@:346> C:;B@8S:< J 832B;86C: 8 K34>3 C83 ?6>?2:=8=:3 =: R:6=8= JH8C3:=8=< 32:9?6: J 7@8;=> 83@989>3 L@: :C 7>;4:T4> =: @3> =: 78=8 :;@;728=> A832=> ?C:;89:;4: =:H2;2=>E

    '>3 87C86872>;:3 H2;8C:3 3>; ?:642;:;4:3E 0; ?629:6 C@B86< 7@8;=> 8H26989>3L@: @; :;@;728=> ?>3:: 72:648 ?6>?2:=8= C5B278< ;> C: :3489>3 832B;8;=> :38 ?6>?2:D

    =8= 8C :;@;728=> :; 7@8;4> >NS:4> HP327> ?86427@C86< :3 =:726< :; 7@8;4> 7>C:7725; =:3>;2=>3 :9242=>3 > 98;7A83 =: 42;48 :; @; ?8?:CE )8=8 :;@;728=> ?86427@C86 :3 @;%@%-!5."=: @; )(!#=: >68725; L@: 3: 786874:62I8 ?>6 :3486 7>9?@:348 ?>6 C83 923D983 ?8C8N683 :; :C 9239> >6=:; J 7>; C8 92398 ?@;4@8725;E F>6 C> 48;4>< 7@8;=>A8NC89>3 =: C83 ?6>?2:=8=:3 C5B2783 =: @; :;@;728=>< 83@929>3 L@: :348 ?6>?2:=8=3: 8?C278 8 4>=>3 C>3 :S:9?C86:3 =: :3: 42?> ?86427@C86 =: :;@;728=>E 0; 3:B@;=> C@B863 83@926 L@: C>3 :;@;728=>3 L@: @42C2I89>3 3>; >6872>;:3 =:C :3?8a>C C:;B@8S: ;84@68C< 48C J 7>9> :3 @42C2I8=> :; :C ?6:3:;4:E F>=6P8 3@7:=:6 L@::T87489:;4: C83 923983 986783 :; :C ?8?:C > C>3 9239>3 3>;2=>3 3:8; @42C2I8=>3 ?8688H26986 7>383 :;4:689:;4: =2342;483 :; =2H:6:;4:3 9>9:;4>3 J :; =2H:6:;4:3 2=2>983E

    F>6 C> 48;4>< 32:9?6: =:N:9>3 6:C842R2I86 C>3 :;@;728=>3 L@: @42C27:9>3 8 ;@:34687>9@;2=8= C2;BGP34278E

    O2B@2:;=> :C @3> 468=272>;8C< CC8986:9>3 8C :34@=2> C5B27> =: C83 6:C872>;:3 :;46::;@;728=>3< .&/%$, ()-(-+%$%-',.< 32; L@: :CC> 29?C2L@: @; 7>9?6>923> =:C 8@4>6 7>;C8 :T234:;728 =: ?6>?>3272>;:3E

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    20/539

    i

    ) , F _ $ ( - & !

    ";=2L@: 7@MC:3 =: C83 32B@2:;4:3 >6872>;:3 3>; :;@;728=>3E

    !E n'5;=: L@:=8 O898678;=8oYE q#> 9: R@:CR83 8 CC8986r

    VE g:2S2;B :3 @;8 72@=8= :;>69:E

    XE F>6 H8R>6 72:668 C8 ?@:648 7@8;=> 38CB83E

    fE -8 8@4>3@H272:;728 ?:46>C:68 =:C ?8P3 35C> =@686M 72;7> 8a>3 9M3E

    iE np@2K; R8 ?629:6>o

    `E X s i t !\E

    WE 034: :S:67272> :3 7>64>E

    0; :C @3> 7>42=28;>< C8 ?8C8N68 ]86B@9:;4>^ 3: 6:H2:6: 8 @; 68I>;892:;4> @42C2I8=>?868 =:H:;=:6 @;8 4:323 > ?868 7>;R:;7:6 8 >46>3 =: C8 R:6=8= =: @; :;@;728=>E.:;:68C9:;4: =:729>3 L@: C8 7>;7C@325; =: @; 86B@9:;4> 3: 32B@: =: C83 ?6:92383E0; :34: 4:T4> ?86426:9>3 =: @;8 =:H2;2725; @; ?>7> 9M3 89?C28 =: C8 ?8C8N68[

    (;,)/#*"'3-:3 @;8 3:7@:;728 H2;248 =: :;@;728=>3E 0C bC429> :;@;D728=> =: C8 3:7@:;728 :3 C8$-'$.#+%&'< 92:;4683 L@: C>3 =:9M3 :;@;728D=>3 3>; C83()"*%+,+=:C 86B@9:;4>E

    -8 =:H2;2725; 8;4:62>6 ;> 6:L@2:6: L@: C83 ?6:92383 =:C 86B@9:;4> 3:8; R:6=8=:683< ;232L@2:68 ?C8@32NC:3E $89?>7> 3: 6:L@2:6: L@: A8J8 6:C8725; 8CB@;8 :;46: C83 ?6:92383J C8 7>;7C@325;< ;2 489?>7> L@: :C 86B@9:;4> ?@:=8 3:6 @42C2I8=> :; C8 ?6M74278E F>6:S:9?C>< C>3 32B@2:;4:3 :;@;728=>3 H>698; @; 86B@9:;4>[

    !"$# ./012343[ /2 =>C>6 =: 78N:I8 :3 ?:>6 L@: 92 =>C>6 =: 9@:C83E

    -8 :346@74@68 8459278 =:C 8B@8 ;> :3 9@J 7>9?C:S8E

    56789:32;7[ 0; $82C8;=28 C>3 8@4>3 468;3248; ?>6 C8 2IL@2:6=8E

    0C 86B@9:;4> 8;4:62>6 :3 @; 9@J 98C 86B@9:;4>< @;> L@: ;8=2: ?>=6P8 @42C2I86< ?:6> :3@; 86B@9:;4> 3:Bb; ;@:3468 =:H2;2725;E 0; B68; 9:=2=8< :C :34@=2> =: C8 C5B278 7>;323D4: :; :348NC:7:6 L@K :3 C> L@: =2342;B@: @; N@:; 86B@9:;4> =: @;> L@: ;> C> :3E ->332B@2:;4:3 86B@9:;4>3 3>; 9M3 7:678;>3 8 C>3 @42C2I8=>3 :; C8 R2=8 =28628[

    !"%# ./012343[ $>=>3 C>3 989PH:6>3 3>; R:64:N68=>3E

    ,CB@;83 76284@683 9862;83 3>; 989PH:6>3E

    56789:32;7[ ,CB@;83 76284@683 9862;83 3>; R:64:N68=83E

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    21/539

    `

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

    !" ./012343[ O2 l@8; ;> CC:B8 8;4:3 =: C83 =2:I< ?:6=:6:9>3 :C 46:;E

    l@8; ;> CC:B5 8;4:3 =: C83 =2:IE

    56789:32;7[ F:6=29>3 :C 46:;E

    !"'# ./012343[ 0C efu =: C83 ?:63>;83 L@: 7>92:6>; :; :C 6:348@68;4: =:C8 :3L@2;8 8;>7A: 3: :;H:695E

    )C8@=28 7>925 8;>7A: :; :C 6:348@68;4: =: C8 :3L@2;8E

    56789:32;7[ )C8@=28 3: :;H:695E

    0; 78=8 @;> =: :34>3 783>3< C83 ?6:92383 8?>J8; C8 7>;7C@325;< ;>3 =8; N83:3 ?86876::6 L@: K348 :3 R:6=8=:68E O2; :9N86B>< A8J @;8 B68; =2H:6:;728 :;46: C>3 =>3?629:6>3 :S:9?C>3 J :C 86B@9:;4> !"'#E 0; C>3 =>3 ?629:6>3 783>3< C8 R:6=8= =: C83?6:92383 B868;42I8 ;:7:386289:;4: C8 R:6=8= =: C8 7>;7C@325;E 0; :C 86B@9:;4> !"'#6 :C 7>;46862>< C8 R:6=8= =: C83 ?6:92383 35C> A87: L@: C8 7>;7C@325; 3:8 8C489:;4:?6>N8NC:< ?:6> ;> ?@:=: B868;42I86 L@: K348 3:8 R:6=8=:68E ,C H2; J 8C 78N>< )C8@=28?@:=: :3486 :;46: :C f ?>6 72:;4> =: C83 ?:63>;83 L@: ;> 3: :;H:695 4683 7>9:6 :; :C6:348@68;4: =: C8 :3L@2;8E ->3 86B@9:;4>3 =: :34: 42?> 3: =:;>92;8; ."0+-%,)#&(,'+$)(*#&J 3:6M; :C 4:98 =: C8 32B@2:;4: 3:7725;E

    )@8;=> C8 R:6=8= =: C83 ?6:92383 =: @; 86B@9:;4> B868;42I8 C8 R:6=8= =: C87>;7C@325;< =26:9>3 L@: :C 86B@9:;4> :3 =:=@742R89:;4: RMC2=>< J =26:9>3 L@: :3=:=@742R89:;4: 2;RMC2=> :; 783> 7>;46862>E /M3 ?6:72389:;4:[

    (; 86B@9:;4> :3!"!#$3%4,*"'3" 41.%!-32 J 35C> 32 :3 29?>32NC: L@:3@3 ?6:92383 3:8; R:6=8=:683 J 3@ 7>;7C@325; H8C38E 03!"!#$3%4,*"'3"%'41.%!-:; 783> 7>;46862>E

    -8 H>698 9M3 7>662:;4: =: 6:?6:3:;486 @; 86B@9:;4> =:=@742R> :3 3:?868;=>C83 ?6:92383 =: C8 7>;7C@325; 7>; @;8 CP;:8 A>62I>;48CE ,3P< ?>=:9>3 6::3762N26 :C86B@9:;4> !"%#=: C8 32B@2:;4: 98;:68[

    !"%4# $>=>3 C>3 989PH:6>3 3>; R:64:N68=>3E

    ,CB@;83 76284@683 9862;83 3>; 989PH:6>3E

    ,CB@;83 76284@683 9862;83 3>; R:64:N68=83E

    -8 R264@= =: @; 86B@9:;4> =:=@742R89:;4: RMC2=> 6:32=: :; L@: C8 7>;7C@325;32:9?6: ?6:3:6R8 C8 R:6=8= =: C83 ?6:92383E F:6> :348 ?6>?2:=8= =: C>3 86B@9:;4>3=:=@742R89:;4: RMC2=>3 ;> >N:=:7: 8 3@ 7>;4:;2=>< 8 C> L@: 3: 8H2698 :; :CC>3< 32;>9M3 N2:; 8 3@5-)*, .&/%$,E 0C 8;4:62>6 86B@9:;4> 42:;: C8 32B@2:;4: H>698 C5B278[

    $>=>3 C>383>;AE

    ,CB@;>3 /3>;8E

    ,CB@;>3 /3>;AE

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    22/539

    W

    ) , F _ $ ( - & !

    034: :3L@:98 32:9?6: ?6>=@7: @; 68I>;892:;4> L@: ?6:3:6R8 C8 R:6=8= 7@8;=> C83C:4683 ]8^< ]A^ J ]/ 3>; 6::9?C8I8=83 ?>6 4K692;>3 B:;:68C:3 L@: =:;>48; 7>;S@;D4>3 > 7C83:3 =: 7>383< 7>9> :; :C 32B@2:;4: :S:9?C>[

    !"(# $>=>3 C>3 726@S8;>3 ?CM3427>3 3>; 627>3E

    ,CB@;>3 9K=27>3 3>; 726@S8;>3 ?CM3427>3E

    ,CB@;>3 9K=27>3 3>; 627>3E

    , =2H:6:;728 =:C 86B@9:;4> !"%#< :; :C L@: C83 ?6:92383 3>; =: A:7A> R:6=8=:683< :;:34: 783> C8 ?629:68 ?6:9238 :3 7@:342>;8NC:[ ;> :3 72:64> L@: 8N3>C@489:;4: 4>=>3 C>3726@S8;>3 ?CM3427>3 :; :C 9@;=> 3:8; 627>3E F:6> =:3=: @; ?@;4> =: R2348 C5B27>< :3266:C:R8;4: 32 C8 ?6:9238 :3 =: A:7A> R:6=8=:68E -8 ?6:B@;48 L@: =:N:9>3 A87:6;>3:3[ n32 C83 ?6:92383 H@:68; R:6=8=:683< 3:6P8 ?>32NC: L@: C8 7>;7C@325; H@:68 H8C38o

    $8;4> :; :C 86B@9:;4> !"%#7>9> :; :C !"(#C8 6:3?@:348 :3 ;:B842R8E F>6 :38 68I5;?>=:9>3 8H26986 L@: :C 86B@9:;4> !"(#489N2K; :3 =:=@742R89:;4: RMC2=>E

    )>;32=:6:9>3 >46>3 =>3 86B@9:;4>3 L@: ?>3::; :348 92398 H>698 C5B278E

    !")# $>=>3 C>3 ?:7:3 3>; 989PH:6>3E

    ,CB@;>3 8;298C:3 4:66:346:3 3>; ?:7:3E

    ,CB@;>3 8;298C:3 4:66:346:3 3>; 989PH:6>3E

    !"*# $>=>3 C>3 NbA>3 3>; 38N2>3E

    ,CB@;>3 ?MS86>3 3>; NbA>3E

    ,CB@;>3 ?MS86>3 3>; 38N2>3E

    0; :C 86B@9:;4> !")#< C83 =>3 ?6:92383 3>; H8C383 J C8 7>;7C@325; :3 R:6=8=:68E 0; :C!"*#< @;8 =: C83 ?6:92383 J C8 7>;7C@325; 3>; H8C383E F:6> 8@; 83P< C>3 86B@9:;4>3 3>;=:=@742R89:;4: RMC2=>3 ?>6L@:< 32 83@929>3 7>;468HM74278 > A2?>4K42789:;4: L@: 3@3?6:92383 3>; R:6=8=:683< 3:6P8 29?>32NC: L@: C8 7>;7C@325; H@:68 H8C38E

    )>;32=:6:9>3 8A>68 @; 86B@9:;4> 7>; @;8 H>698 C5B278 =2H:6:;4:[

    !"+# $>=>3 C>3 989PH:6>3 3>; R:64:N68=>3E

    ,CB@;83 76284@683 9862;83 3>; R:64:N68=83E

    ,CB@;83 76284@683 9862;83 3>; 989PH:6>3E

    0C 86B@9:;4> :3 =:=@742R89:;4: 2;RMC2=> ?>6L@: 32 83@929>3 C8 R:6=8= =: C83 ?6:92383 3: B868;42I8 C8 R:6=8= =: C8 7>;7C@325;E O@?>;B89>3 L@: =:N2=> 8C 78C:;4892:;4>BC>N8C< 4>=>3 C>3 989PH:6>3 =:C 986 =:38?86:7:;E 0; 48C 783>< C8 7>;7C@325; =:C 86B@D9:;4> 3:6P8 H8C38< ?:6> 3:B@26P8 32:;=> 72:64> L@: 4>=>3 C>3 989PH:6>3 3>; R:64:N68=>3J L@: 8CB@;83 76284@683 9862;83< 7>9> C>3 ?:7:3< 3>; R:64:N68=>3E 03 =:726< :T234: C8?>32N2C2=8= =: L@: C83 ?6:92383 3:8; 72:6483 J C8 7>;7C@325; H8C38E F>6 :3> :3 @; 86B@D9:;4> =:=@742R89:;4: 2;RMC2=>E 0C 86B@9:;4> 42:;: C8 32B@2:;4: H>698 C5B278[

    !"#$%'( )*+*,+*-. %%012 "&'&4

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    23/539

    e

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

    $>=>3 C>383>;AE

    ,CB@;>3 /3>;AE

    ,CB@;>3 /3>;8E

    %::9?C8I8;=> C83 C:4683 ]8^< ]A^ J ]/ ?>6 4K692;>3 B:;:68C:3 =2H:6:;4:3< >N4:;:D9>3 :C 32B@2:;4: 86B@9:;4>< :C 7@8C :3 7C8689:;4: 2;RMC2=>E

    !$,# $>=>3 C>3 ?MS86>3 42:;:; 8C83E

    ,CB@;>3 989PH:6>3 42:;:; 8C83E

    ,CB@;>3 989PH:6>3 3>; ?MS86>3E

    F>6 >468 ?864:< :C A:7A> =: L@: 4>=8 C8 2;H>698725; 7>;4:;2=8 :; @; 86B@9:;4>3:8 =: A:7A> 72:648 ;> 8H:748 C8 R8C2=:I > 2;R8C2=:I =:C 9239>E F>6 :S:9?C>< :C 32B@2:;D

    4: 86B@9:;4> :3 =:=@742R89:;4: 2;RMC2=> 3:Bb; ;@:3468 =:H2;2725; 8 ?:386 =: L@:48;4> C83 ?6:92383 7>9> C8 7>;7C@325; 3>; =: A:7A> R:6=8=:683[

    !$"# $>=>3 C>3 L@24:a>3 R2R:; :; C8 78?248C =: 07@8=>6E

    $>=>3 C>3 N>B>48;>3 R2R:; :; C8 78?248C =: )>C>9N28E

    $>=>3 C>3 7868L@:a>3 R2R:; :; C8 78?248C =: v:;:I@:C8E

    $>=>3 C>3 C29:a>3 R2R:; :; C8 78?248C =: F:6bE

    0C ?6>NC:98 6:32=: :; L@: :3 ?>32NC: L@: C>3 ?:6@8;>3 =:72=8; 789N286 =: 78?248C< 83Pp@24> 32B8 32:;=> C8 78?248C =: 07@8=>6< g>B>4M C8 =: )>C>9N28 J )868783 C8 =: v:;:D

    I@:C8E 03 =:726< :3 ?>32NC: L@: C83 ?6:92383 3:8; 72:6483 J C8 7>;7C@325; H8C38E-8 R8C2=:I =:=@742R8 =: @; 86B@9:;4> B:;:68C9:;4: ;> :3 3@H272:;4: ?868 L@:

    K34: 3:8 87:?48=>E F868 ?>=:6 =:H:;=:6 8=:7@8=89:;4: @;8 7>;7C@325; 3: ;:7:3248;> 35C> L@: :C 86B@9:;4> 3:8 =:=@742R89:;4: RMC2=>< 32;> 489N2K; L@: C83 ?6:92383 >68I>;:3 8=@72=83 :; 3@ =:H:;38 3:8; '% ?%$?# R:6=8=:683E )@8;=> :34> >7@66:3 L@: :C 86B@9:;4> :3 =:=@742R89:;4: 7>;3234:;4:[

    (; 86B@9:;4> :3!"!#$3%4,*"'3" $-'+%+3"'3"32 J 35C> 32 :3 =:=@742R8D9:;4: RMC2=> J 4>=83 3@3 ?6:92383 3>; R:6=8=:683E 03!"!#$3%4,*"'3"%'$-'+%+3"'3":; 783> 7>;46862>E

    F@:=: >7@6626 L@: @; 86B@9:;4> =:=@742R89:;4: RMC2=> 4:;B8 @;8 > 9M3 ?6:92383H8C383 L@: ?@:=:; 3:6 :C292;8=83 32; 8H:7486 C8 R8C2=:I =:C 9239>E F>6 :3>< 8;4:3 =:=:3:7A86 @; 86B@9:;4> RMC2=> ?:6> =:=@742R89:;4: 2;7>;3234:;4:< 3: =:N: :T892;8632 C83 ?6:92383 H8C383 3>; ;:7:386283 ?868 3@ R8C2=:IE

    !"#$%'( )*+*,+*-. %%012 "&'&5

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    24/539

    !\

    ) , F _ $ ( - & !

    ,@;L@: 3:6P8 =:3:8NC: L@: 4>=>3 C>3 86B@9:;4>3 L@: @42C2I89>3 H@:68; =:=@742R8D9:;4: RMC2=>3< :; C8 98J>6P8 =: C>3 783>3 ;> 7>;489>3 7>; :R2=:;728 3@H272:;4: >8=:7@8=8 ?868 B868;42I86 C8 R:6=8= =: C83 8H269872>;:3 L@: A87:9>3E $8; 35C> :;C83 72:;7283 H>698C:3< J L@2IM3 :; C8 H2C>3>HP8< :3 ?>32NC: @42C2I86 86B@9:;4>3 =:=@7D42R89:;4: RMC2=>3 7>9> N83: =: C83 7>;7C@32>;:3 >N4:;2=83< ?:6> :; 4>=83 C83 72:;D7283 ;84@68C:3 J 3>728C:3 =:N:9>3 8=92426 32:9?6: C8 ?>32N2C2=8= =: L@: C837>;7C@32>;:3 N838=83 :; C8 :R2=:;728 6:@;2=8 8 468RK3 =: C8 :T?:62:;728 6:3@C4:; 3:6:L@2R>78=83E , ?:386 =: :3>< ;> 3: ?@:=: =:726 489?>7> L@: C8 :R2=:;728 7>; C8 L@:7>;489>3 786:I78 =: R8C>6E (; N@:; 86B@9:;4> ?@:=: 8@9:;486 :; @; 8C4> B68=> C8?6>N8N2C2=8= =: L@: C8 7>;7C@325; 3:8 R:6=8=:68E 0; 48C:3 783>3 =:729>3 L@: :C 86B@D9:;4> :3 2;=@742R89:;4: H@:64:[

    (; 86B@9:;4> :3 %'!#$3%4,*"'3" 5#")3" 32 J 35C> 32 3@ 7>;7C@325; :38C489:;4: ?6>N8NC: =8=8 C8 R:6=8= =: C83 ?6:92383E

    -8 H@:6I8 =: @; 86B@9:;4> 2;=@742R> :3 @;8 7@:3425; =: B68=>E ,C 8a8=26C: > L@2486C:?6:92383 8 @; 86B@9:;4> 2;=@742R> ?>=:9>3 8C4:686 C8 ?6>N8N2C2=8= =: L@: 3@ 7>;7C@D325; 3:8 R:6=8=:68E 034> ;> >7@66: :; :C 783> =: C>3 86B@9:;4>3 =:=@742R>3< :; C>37@8C:3 C8 R8C2=:I =:C 86B@9:;4> ;> 3: R: 8H:748=8 ?>6 C8 8=2725; =: 9M3 ?6:92383E F>6:S:9?C>< :C 32B@2:;4: 86B@9:;4> :3 =:=@742R89:;4: RMC2=>[

    !$$# $>=>3 C>3 A>9N6:3 3>; 9>648C:3E->3 B62:B>3 3>; A>9N6:3E

    ->3 B62:B>3 3>; 9>648C:3E

    O@ R8C2=:I ;> 3: R: 8H:748=8 32 8B6:B89>3 @;8 ?6:9238 8=272>;8C[

    !$%# -8 78N68 38C45 3>N6: C8 C@;8E

    $>=>3 C>3 A>9N6:3 3>; 9>648C:3E

    ->3 B62:B>3 3>; A>9N6:3E

    ->3 B62:B>3 3>; 9>648C:3E

    0C 86B@9:;4> 32B@: 32:;=> =:=@742R89:;4: RMC2=> 2;7C@3> 32 C: 8B6:B89>3 ?6:92383L@: 7>;468=2B8; C83 ?6:92383 >62B2;8C:3[

    !$ #2;Bb; A>9N6: :3 9>648CE

    $>=>3 C>3 A>9N6:3 3>; 9>648C:3E

    ->3 B62:B>3 3>; A>9N6:3E

    ->3 B62:B>3 3>; 9>648C:3E

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    25/539

    !!

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

    )>9> R:6:9>3 9M3 8=:C8;4:< =: @;8 7>;468=27725; C5B278 :3 ?>32NC: =:=@726 7@8CL@2:67>38E F>6 C> 48;4>< @; 86B@9:;4> =:=@742R> 7@J83 ?6:92383 3:8; 7>;468=274>6283 32:9D?6: 3:6M RMC2=>< ?:6> 786:7:6M =: 7@8CL@2:6 @42C2=8=E

    0; 6:3@9:;< @; 86B@9:;4> =:=@742R> 32B@: 32:;=> RMC2=> 32; 29?>6486 L@K 9M3:34M 3@7:=2:;=> :; :C 9@;=>E #> 3@7:=: C> 9239> 7>; @; 86B@9:;4> 2;=@742R>E )>;D32=:6:9>3 :C 32B@2:;4: :S:9?C>[

    !$'# -8 98J>6P8 =: C>3 S86=2;:6>3 786:7: =: :34@=2>3 @;2R:6324862>3E-@=m2B :3 @; S86=2;:6>E

    w\Eex-@=m2B 786:7: =: :34@=2>3 @;2R:6324862>3E

    -83 =>3 CP;:83 L@: 3:?868; 8 C83 ?6:92383 =: C8 7>;7C@325; 2;=278; L@: 3: 46848 =: @;86B@9:;4> 2;=@742R> J :C ;b9:6> :;46: 7>67A:4:3 2;=278 :C B68=> =: ?6>N8N2C2=8= L@:C83 ?6:92383 C: 7>;H2:6:; 8 C8 7>;7C@325;< L@: ?@:=: 3:6 7@8CL@2:6 ;b9:6> :;46: \ J !2;7C@32R:YE &N3:6R:9>3 8A>68 C> L@: 3@7:=: 7@8;=> 8a8=29>3 9M3 2;H>698725;[

    !$(# -8 98J>6P8 =: C>3 S86=2;:6>3 786:7: =: :34@=2>3 @;2R:6324862>3E

    -@=m2B :3 @; S86=2;:6>E

    -@=m2B :3762N25 @;> =: C>3 C2N6>3 9M3 2;HC@J:;4:3 :; C8 A234>628 =:C8 H2C>3>HP8E

    -@=m2B ?:64:;:7: 8 @;8 =: C83 H892C283 9M3 62783 =: v2:;8Ew\E!x

    -@=m2B 786:7: =: :34@=2>3 @;2R:6324862>3E

    0C B68=> =: ?6>N8N2C2=8= L@: :C ;@:R> 7>;S@;4> =: ?6:92383 C: 7>;H2:6: 8 C8 7>;7C@325;:3 9@J N8S>E O2 8a8=2K689>3 9M3 2;H>698725;< :C B68=> =: ?6>N8N2C2=8= ?>=6P8 N8S868b; 9M3< > L@2IM3 3@N26 @; ?>7>E 0C ?@;4> H@;=89:;48C :3 L@: C8 H>648C:I8 =: @;86B@9:;4> 2;=@742R> 32:9?6: =:?:;=:6M =: C8 2;H>698725; =: C8 L@: =23?>;B89>3< >?>6 =:726C> :; 4K692;>3 H2C>35H27>3< =: ;@:3468 324@8725; :?234K9278E

    ->3 ,)/#*"'3-+ (-) ,',.-/6,J C>3 ,)/#*"'3-+ $,#+,."+;>3 ?6>?>672>;8;C>3 :S:9?C>3 9M3 7C86>3 =: 68I>;892:;4>3 2;=@742R>3VE 0; @; 86B@9:;4> ?>6 8;8C>BP83 @;8 8H2698725; 87:678 =: @; :R:;4> > =: @; >NS:4> 8 ?86426 =: 3@ 3292C24@=

    7>; >46>3 :R:;4>3 @ >NS:4>3 L@: A:9>3 :T?:629:;48=> :; :C ?838=>E ->3 32B@2:;4:33>; :S:9?C>3 2;H>698C:3 =: 86B@9:;4>3 ?>6 8;8C>BP8[

    !$)# 0; 4>=83 C83 7C83:3 L@: A: 4>98=> 7>; :C ?6>H:3>6 v86B83< C>3 :TM9:;:3A8; 32=> =: :37>B:;728 9bC42?C:E F>6 C> 48;4>< :; C8 ?65T298 7C83: L@: 4>9:7>; :C ?6>H:3>6 v86B83 C>3 :TM9:;:3 3:6M; =: :37>B:;728 9bC42?C:E

    YE 03483 7>;R:;72>;:3 H@:6>; ?6>?@:3483 ?>6 1:9?:C U!eifZE

    VE 0; B, &(&)%-. '% 560($.< l>A; O4@864 /2CC U!W\iD!W`VZ ?6>?@3> C>3 9K4>=>3 =: 2;H:6:;728 2;=@742R8 9M37>;>72=>3< C>3 7@8C:3 7>9N2;8; 86B@9:;4>3 8;8C5B27>3 J 78@38C:3E

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    26/539

    !Y

    ) , F _ $ ( - & !

    !$*# (; 9K=27> 7>;7C@J: L@: :C 9:S>6 4684892:;4> ?868 C>3 3P;4>983 =: C8 3:a>68)AMR:I :3 C8 =6>B8 c ?>6L@: :348 =6>B8 A8 4:;2=> @; :H:74> N:;KH27> :;4>=>3 C>3 ?872:;4:3 7>; C>3 9239>3 3P;4>983E

    0; ;2;B@;> =: C>3 =>3 86B@9:;4>3 C83 ?6:92383 B868;42I8; L@: C8 7>;7C@325; 3:8 R:6D=8=:68[ :C ?6>H:3>6 v86B83 ?@:=: =:72=26 789N286 :C H>6984> =: 3@3 :TM9:;:3< J C8=6>B8 c ?@:=: ;> 3:6 :H:742R8 :; :C 783> =: C8 3:a>68 )AMR:IE O2; :9N86B>< C8 2;H>6D98725; ?6>?>672>;8=8 :; C83 ?6:92383 ;>3 =8 ?2: ?868 ?:;386 L@: C8 7>;7C@325; :372:648E 0; 4K692;>3 B:;:68C:3< @; 86B@9:;4> 8;8C5B27> 42:;: C8 32B@2:;4: :346@74@68EF86429>3 =: 72:648 2;H>698725; 7>;>72=8[

    (; >NS:4> > :R:;4>C42:;: C83 786874:6P3427838A/D

    (; >NS:4> > :R:;4>E42:;: C83 786874:6P3427838A/D

    ,A>68 7>;32=:689>3 @;8 786874:6P34278 F L@: C ?>3::< ?:6> L@: ;> 38N:9>3 32 E489N2K; ?>3::E '8=83 C83 3292C24@=:3 2;2728C:3 :;46:CJE< 7>;7C@29>3 L@:E?6>N8NC:D9:;4: 489N2K; ?>3:: C8 786874:6P34278 FE

    0; C>3 86B@9:;4>3 78@38C:3< C8 78@38 :3 2;H:62=8 8 ?86426 =: 3@ :H:74>< > :C:H:74> :3 2;H:62=> 8 ?86426 =: 3@ 78@38E F:6> :; 78=8 @;> =: :34>3 783>3 C8 ?8C8N68]78@38^ :3 @38=8 =: 98;:68 =2H:6:;4:E (;8 78@38 ?@:=: 3:6 :;4:;=2=8 7>9> @;H874>6 ;:7:3862> ?868 C8 >7@66:;728 =: @; H:;59:;>< @; H874>6 32; :C 7@8C :C H:;59:;>;> A8N6P8 >7@662=>E 0C >TPB:;> :3 @;8$,#+, '"$"+,)%,=:C H@:B>< ?@:3 ;> >7@66: :;3@ 8@3:;728E F:6> @;8 78@38 489N2K; ?@:=: 3:6 :;4:;=2=8 7>9> @; H874>6 L@: :3

    3@H272:;4: ?>6 3P 3>C> ?868 L@: >7@668 @; H:;59:;>E -8 2;B:3425; =: @; y2C> =: ?C@4>;2>:3 $,#+, +#5%$%"'3"=: @;8 9@:64: =:38B68=8NC:< ?:6> ;> :3 @;8 78@38 ;:7:38628?>6L@: :T234:; 9@7A83 >4683 7>383 L@: ?>=6P8; 78@386 @;8 9@:64: =:38B68=8NC:E

    F868 ?>=:6 2;H:626 @;8 78@38 8 ?86426 =: 3@ :H:74>< C8 78@38 =:N: 3:6 @;8 78@38;:7:38628< 7>9> :; :C 32B@2:;4: :S:9?C>[

    !$+# (; ?6>H:3>6 =:37@N6: L@: :C :;38J> =: =2:I ?MB2;83 :;46:B8=> ?>6 @;> =:3@3 :34@=28;4:3 :3 2=K;427> 8 @; 4:T4> H89>3> =: @; 8@4>6 86B:;42;>E 0C?6>H:3>6 7>;7C@J: L@: :C :34@=28;4: 7>?25 3@ :;38J> ?>6L@: K38 :3 C8 b;27878@38 ?>32NC: =: 4898a8 7>2;72=:;728E

    k ?868 ?>=:6 2;H:626 @; :H:74> 8 ?86426 =: 3@ 78@38< C8 78@38 =:N: 3:6 @;8 78@383@H272:;4:< 7>9> :; :C 32B@2:;4: :S:9?C>[

    !%,# (; N25C>B> 3:CC8 A:69K42789:;4: @; 6:72?2:;4: L@: 7>;42:;: N874:62838:65N2783E ':3?@K3 =: @;8 3:98;8< J 8;4:3 =: 8N626 :C 6:72?2:;4:< :C N25C>B>7>;7C@J: L@: 4>=83 C83 N874:6283 8:65N2783 :34M; 9@:6483E

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    27/539

    !V

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

    0C :H:74>< C8 9@:64: =: 4>=83 C83 N874:6283 8:65N2783< :3 2;H:62=> 8 ?86426 =: @;8 =: C8378@383 3@H272:;4:3 =: 3@ 9@:64:E

    ,@;L@: 3:8 7>9b; 786874:62I86 C8 6:C8725; 78@38C :; 4K692;>3 =: 3@H272:;728 J

    ;:7:32=8=< ;> :T234: ;2;B@;8 H>698 =: ?6>N86 L@: C83 C:J:3 78@38C:3 29?CP72483 :; :34:42?> =: 86B@9:;4>3 3:8; R:6=8=:683E -8 68I5; :3 L@: C8 6:C8725; =: 78@38 J :H:74> ;>:3 @;8 6:C8725; C5B278 L@: ?@:=8 3:6 =:37@N2:648 . !"(#"(E -83 C:J:3 78@38C:3 3>;=:37@N2:6483 8 468RK3 =: C8 :T?:62:;728< 8 ?86426 =: @; ;b9:6> C29248=> =: >N3:6R872>D;:3< J ;> :T234: ;2;B@;8 B868;4P8 =: L@: C> L@: 3: A8 >N3:6R8=> :; :3>3 783>3 3:6:?248 :; 8L@:CC>3 783>3 8;MC>B>3 L@: ;> A8; 32=> >N3:6R8=>3XE

    ,C 2B@8C L@: :; :C 783> =: C>3 86B@9:;4>3 =:=@742R>3< :; C>3 7@8C:3 C8 R8C2=:I=:C 86B@9:;4> =:N: 3:6 7>9?C:9:;48=8 7>; C8 R:6=8= =: C83 ?6:92383< :; :C 783> =:C>3 86B@9:;4>3 2;=@742R>3 ;> N8348 7>; 9>34686 L@: @; 86B@9:;4> :3 2;=@742R89:;4:H@:64:E F868 L@: 3:8 87:?48NC:< @; 86B@9:;4> 2;=@742R> H@:64: =:N: 4:;:6 ?6:92383R:6=8=:683[

    (; 86B@9:;4> :3 @;,)/#*"'3- %'!#$3%4-$-'+%+3"'3"32 J 35C> 32 :3 @;86B@9:;4> 2;=@742R> H@:64: J 3@3 ?6:92383 3>; R:6=8=:683E

    (;+%.-/%+*-:3 @; 86B@9:;4> =:=@742R> :; :C L@: C8 7>;7C@325; 3: 2;H2:6: =: =>3

    ?6:92383E (;+%.-/%+*- $,3"/&)%$-:3 8L@KC :; :C L@: C83 ?6:92383 J C8 7>;7C@325;3>; :;@;728=>3 784:B5627>3E k @; "'#'$%,!- $,3"/&)%$-:3 8L@KC L@: 8H2698 > ;2:B8L@: @;8 7C83:< 7>;S@;4> > 784:B>6P8 =: 7>383 :34M 2;7C@2=8 :; >468 7C83:< 7>;S@;4> >784:B>6P8< 4>48C > ?86728C9:;4:E F>6 :S:9?C>< :C :;@;728=>[ ]$>=>3 C>3 ?2;4>6:3 H@98;^8H2698 C8 2;7C@325; 4>48C =: C8 7C83: =: C>3 ?2;4>6:3 :; C8 7C83: =: C>3 H@98=>6:3E

    0; B:;:68C< :T234:; 7@846> H>6983 :; L@: @;8 7C83: ?@:=: > ;> :3486 2;7C@2=8:; >468[

    !E O2 4>=>3 C>3 92:9N6>3 =: @;8 7C83: 3>; 489N2K; 92:9N6>3 =: C8 3:B@;=83 L@: C8 ?629:68 :34M 2;7C@2=8 :; C8 3:B@;=8E

    0S:9?C>[ $>=>3 C>3 4>6:6>3 3>; R:B:48628;>3EYE O2 8C 9:;>3 @; 92:9N6> =: C8 ?629:68 7C83: :3 489N2K; 92:9N6> =: C8

    3:B@;=8< =:729>3 L@: C8 ?629:68 :34M ?86728C9:;4: 2;7C@2=8 :; C8 3:B@;=8E

    0S:9?C>[ ,CB@;>3 4>6:6>3 3>; R:B:48628;>3E

    XE 0C H2C53>H> :37>7K3 '8R2= 1@9: U!`!!D!``iZ H@: :C ?629:6 H2C53>H> 9>=:6;> :; H>69@C86 7C8689:;4: :34:?6>NC:98 :; :C 9".).'# '% 5. ,.)+".5%G. ?+-.,. U!`VeZE

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    28/539

    !X

    ) , F _ $ ( - & !

    VE O2 C83 =>3 7C83:3 ;> 42:;:; ;2;Bb; 92:9N6> :; 7>9b;< C83 =>3 7C83:3 3::T7C@J:; 9@4@89:;4:E

    0S:9?C>[ #2;Bb; 4>6:6> :3 R:B:48628;>E

    XE O2 8C 9:;>3 @; 92:9N6> =: C8 ?629:68 7C83: ;> :3 92:9N6> =: C8 3:B@;=83 L@: C8 ?629:68 :34M ?86728C9:;4: :T7C@2=8 =: C8 3:B@;=8E

    0S:9?C>[ ,CB@;>3 4>6:6>3 ;> 3>; R:B:48628;>3E

    0C :;@;728=> L@: :T?6:38 :C ?629:6 42?> =: 6:C8725; :3 #'%4")+,. ,5%)*,3%4- :3 (,)3%$#.,) ,5%)*,3%4-E 0C :;@;728=>[ ],CB@;>3 4>6:6>33>; R:B:48628;>3^ :T?6:38 C8 2;7C@325; ?86728C =: C8 7C83: =: C>3 4>6:6>3 :; C8 7C83: =:C>3 R:B:48628;>3< ?:6> :C :;@;728=> ;2 8H2698 ;2 ;2:B8 3@ 2;7C@325; 4>48CE 0; 8CB@;>37>;4:T4>3 :C :;@;728=> 42:;: C8 7>;;>48725; =: L@: ;> 4>=>3 C>3 4>6:6>3 3>; R:B:48628D

    ;>3< 35C> 8CB@;>3E F:6> :34627489:;4: A8NC8;=>< C> b;27> L@: :C 3:B@;=> :;@;728=>8H2698 :3 L@: C83 =>3 7C83:3 42:;:; 8C 9:;>3 @; 92:9N6> :; 7>9b;E 038 2;4:6?6:48D725; :3462748 :3 C8 L@: 8=>?486:9>3E 0C 4:67:6 :;@;728=> :3#'%4")+,. '"/,3%4-E d2D;8C9:;4:< :C 7@864> :;@;728=> :3(,)3%$#.,) '"/,3%4-E ,C 2B@8C L@: :; :C 783> 8;4:62>6 ;2 ;2:B8 ;2 8H2698 C8 :T7C@325; 4>48C =: C83 =>3 7C83:3E O: C29248 48; 35C> 88H26986 L@: 8C 9:;>3 @; 92:9N6> =: C8 ?629:68 7C83: ;> :34M 2;7C@2=> :; C8 3:B@;=8E

    ':;46> =: C8 468=2725; 86234>4KC278< C>3 7@846> 42?>3 =: :;@;728=>3 3: >6B8;2I8D6>; :; @; ]7@8=6> =: >?>3272>;:3^ =: C8 32B@2:;4: 98;:68[

    $>=>3 C>383>;A 7>;46862>3 #2;Bb;8:3A< =7>;468=274>62>3

    3@N8C4:6;8725; 3@N8C4:6;8725;

    ,CB@;>383>;A 3@N7>;46862>3 ,CB@;>38;> 3>;A> ?

    -83 C:4683 3: C: 832B;8; 8 C>3 :;@;728=>3 8H269842R>3< 92:;4683 =J ?8 C>3;:B842R>3E -83 C:4683 7>66:3?>;=:; 8 C83 ?629:683 =>3 R>78C:3 :; C83 ?8C8N683 C842;83.;;("-#J ,%0#E ->3 :;@;728=>3 42?> >J =3>;$-'3),2

    !%$3-)%-+ :;46: 3P ?>6L@: :3 29?>32NC: L@: 4:;B8; :C 9239> R8C>6 =: R:6=8=E F>6:S:9?C>< 32 :3 72:64> L@: ]$>=>3 C>3 4>6:6>3 3>; R:B:48628;>3^< =:N: 3:6 H8C3> ;:7:38D6289:;4: L@: ],CB@;>3 4>6:6>3 ;> 3>; R:B:48628;>3^E k 32 :3 H8C3> L@: ]$>=>3 C>34>6:6>3 3>; R:B:48628;>3^< =:N: 3:6 72:64> L@: ],CB@;>3 4>6:6>3 ;> 3>; R:B:48628D;>3^E ->3 =>3 :;@;728=>3 32:9?6: 4:;=6M; R8C>6:3 =: R:6=8= >?@:34>3E -> 9239>

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    29/539

    !f

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

    >7@66: :; :C 783> =: C>3 :;@;728=>3 ]#2;Bb; 4>6:6> :3 R:B:48628;>^ J ],CB@;>3 4>6:D6>3 3>; R:B:48628;>3^E

    ->3 :;@;728=>3 42?> ;$-'3),)%-+?>6L@: ;> :3 ?>32NC: L@: C>3 =>3 3:8;

    R:6=8=:6>3 8C 9239> 42:9?>< 8@;L@: 89N>3 ?@:=:; 3:6 H8C3>3fE %:4>98;=> :C :S:9D?C> =: C>3 4>6:6>3< :3 29?>32NC: L@: C>3 :;@;728=>3 ]$>=>3 C>3 4>6:6>3 3>; R:B:48628D;>3^ J #2;Bb; 4>6:6> :3 R:B:48628;>^ 3:8; 89N>3 72:64>3< ?:6> :3 ?:6H:7489:;4:?>32NC: L@: 89N>3 3:8; H8C3>3E ,CB@;>3 4>6:6>3 7>9:; 786;: J >46>3 ;>E

    F>6 >468 ?864:< C>3 :;@;728=>3 42?> >J ?3>;+#7$-'3),)%-+?>6L@: ;> :3 ?>32DNC: L@: C>3 =>3 3:8; H8C3>3 8C 9239> 42:9?>< 8@;L@: 89N>3 ?@:=:; 3:6 R:6=8=:6>3iE->3 :;@;728=>3 ],CB@;>3 4>6:6>3 3>; R:B:48628;>3^ J ],CB@;>3 4>6:6>3 ;> 3>; R:B:D48628;>3^ ?@:=:; 3:6 89N>3 R:6=8=:6>3< ?:6> :3 29?>32NC: L@: 89N>3 3:8; H8C3>3E

    d2;8C9:;4:< :; C8 468=2725; 86234>4KC278 C8 6:C8725; :;46: C>3 :;@;728=>3 42?> @J :;46: C>3 :;@;728=>3 42?> =J ?< :68 =:;>92;8=8+#7,.3")',$%&'E ->3 :;@;728D=>3 @;2R:638C:3 :68; CC898=>3+#("),.3")'-+J C>3 :;@;728=>3 ?86427@C86:3+#7,.3")2'-+E (; :;@;728=> 3@?:68C4:6;> 29?C278 3@ 6:3?:742R> :;@;728=> 3@N8C4:6;>< ?:6> ;>8C 7>;46862>E 03 =:726< 32 C8 8H2698725; > C8 ;:B8725; @;2R:638C :3 R:6=8=:68< C8 6:3?:7D42R8 8H2698725; > ;:B8725; ?86427@C86 489N2K; =:N: 3:6C>z ?:6> 32 :C :;@;728=> ?86427@DC86 :3 R:6=8=:6>< ;> :3 ?:69232NC: @;2R:638C2I86C>`E

    ->3 :;@;728=>3 784:B5627>3 :68; @42C2I8=>3 :; C8 C5B278 86234>4KC278 ?868 C8 7>;3D46@7725; =: 32C>B239>3E (; 32C>B239> 784:B5627> 6:C872>;8 :T87489:;4: 46:3 7C83:3 >4K692;>3< J 78=8 4K692;> 8?86:7: :T87489:;4: :; =>3 =: C>3 46:3 :;@;728=>3E )>;32D=:6:9>3 :C 32B@2:;4: :S:9?C>[

    !%"# #2;Bb; :3?8a>C :3 ?6>4:348;4:E

    ,CB@;>3 4>6:6>3 3>; ?6>4:348;4:3E

    ,CB@;>3 4>6:6>3 ;> 3>; :3?8a>C:3E

    0C 4K692;> ]:3?8a>C:3^ L@: 8?86:7: 7>9> ?6:=278=> =: C8 7>;7C@325; 3: =:;>92;838)*%'- *,9-)E 0C 4K692;> ]4>6:6>3^ L@: 8?86:7: 7>9> :C 3@S:4> =: C8 7>;7C@325; 3:=:;>92;838)*%'- *"'-)E k :C 4K692;> ]?6>4:348;4:^< L@: ;> 8?86:7: :; C8 7>;7C@D325;< :3 :C38)*%'- *"!%-E -8 ?6:9238 L@: 7>;42:;: :C 4K692;> 98J>6 3: =:;>92;8

    fE 0348 8H2698725; ;> :3 7>66:748 7@8;=> 8CB@;> =: C>3 =>3 :;@;728=>3 :3 @;8 R:6=8= ;:7:38628< :3 =:726< @;:;@;728=> L@: ;> ?@:=: 3:6 H8C3>< 48C 7>9> ]$>=>3 C>3 462M;B@C>3 3>; ?>CPB>;>3^E ->3 :;@;728=>3 =: :34: 42?>;> 42:;:; :;@;728=>3 7>;46862>3E 0; C> L@: 32B@: 83@926:9>3 L@: ;2;B@;> =: C>3 :;@;728=>3 :3 @;8 R:6=8=;:7:38628E

    iE 0348 8H2698725; ;> :3 7>66:748 7@8;=> @;> =: C>3 :;@;728=>3 :3 @;8 H8C3:=8= ;:7:38628< :3 =:726< @;:;@;728=> L@: ;> ?@:=: 3:6 R:6=8=:6>< 48C 7>9> ],CB@;>3 7P67@C>3 3>; 7@8=68=>3^E ->3 :;@;728=>3 =: :34: 42?>;> 42:;:; :;@;728=>3 3@N7>;46862>3E 0; C> L@: 32B@: 83@926:9>3 L@: ;2;B@;> =: C>3 :;@;728=>3 :3 @;8 H8C3:=8=;:7:38628E

    `E 0; :C 78?P4@C> i R:6:9>3 L@: C83 6:C872>;:3 =: 7>;46862:=8=< 3@N7>;46862:=8= J 3@N8C4:6;8725; 35C> 3:7@9?C:; :; C8 C5B278 86234>4KC278< 983 ;> :; C8 C5B278 9>=:6;8E

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    30/539

    !i

    ) , F _ $ ( - & !

    ()"*%+, *,9-)< J C8 L@: 7>;42:;: :C 4K692;> 9:;>6< ()"*%+, *"'-)E ->3 4K692;>398J>6 J 9:;>6 ;> ?@:=:; 8?86:7:6 :; C8 92398 ?6:9238E -8 ?6:9238 98J>6 32:9?6:3: :3762N: ?629:6>E )@8;=> @; 32C>B239> 784:B5627> 7@9?C: C83 7>;=272>;:3 8;4:62>6:3

    =:729>3 L@: :34M :37624> :; 5-)*, "+31'!,)E03483 7>;=272>;:3 ;> =:4:692;8; 7>9?C:489:;4: 759> =:N:9>3 >6B8;2I86 :C

    32C>B239> ?>6L@: :T234:; 7@846> H>6983 =: >6B8;2I86 :C 4K692;> 9:=2>E (; 32C>B239>?@:=: 4:;:6 7@846> 5%/#),+=2H:6:;4:3[

    A2B:/4 " A2B:/4 $ A2B:/4 % A2B:/4 &

    C F F C C F F CO C O C C O C OO F O F O F O F

    ]C^ =:;>48 :C 4K692;> 9:=2> =:C 32C>B239>< J ]D^ J ].^ 8C 3@S:4> J ?6:=278=> =: C87>;7C@325;< 6:3?:742R89:;4:E

    (42C2I8;=> C83 C:4683 832B;8=83 8 78=8 42?> =: :;@;728=> 784:B5627>< ?>=:9>32=:;42H2786 HM72C9:;4: C8 :346@74@68 =: @; 32C>B239> 7>; @;8 3:7@:;728 =: 46:3 C:4683EF>6 :S:9?C>< :; :C 32C>B239> !%"#< C8 ?6:9238 98J>6 :3 =: H>698 =< C8 ?6:9238 9:;>6:3 =: H>698 >< J C8 7>;7C@325; :3 @; :;@;728=> =: 42?> ?E F>6 C> 48;4> 3@ :346@74@68 3:?@:=: 6:?6:3:;486 7>9> =>?E , :348 3:7@:;728 3: C: =:;>92;8 :C *-!-=:C 32C>B23D9>E 0; 4>48C< :T234:; iX 9>=>3 ?>32NC:3E O2 4:;:9>3 :; 7@:;48 C83 7@846> H2B@683 =:C32C>B239>< 4:;:9>3 L@: A8J Yfi H>6983 =2H:6:;4:3 =: 32C>B239>3 784:B5627>3E #84@68CD

    9:;4:< 35C> 8CB@;>3 =: :CC>3 3>; C5B2789:;4: RMC2=>3E O@ R8C2=:I =:?:;=: 48;4> =: 3@H>698 7>9> =: 3@ H2B@68E

    -8 32B@2:;4: C2348 ;>3 2;=278 7@MC:3 3>; C>3 32C>B239>3 C5B2789:;4: RMC2=>3 =:;D46> =: C8 C5B278 86234>4KC278[

    A2B:/4 " A2B:/4 $ A2B:/4 % A2B:/4 &

    ,,, 0,0 "," ,000,0 ,00 ,"" ",","" 0"& &,& 0"&0"& ,&& 0"& ,0&

    ,," ,0& ,," 0,&0,& 0,& 0,& ,,"

    '@68;4: C8 0=8= /:=28< C>3 C5B27>3 83>7286>; ?8C8N683 :; C84P; 7>; C83 3:7@:;D7283 =: C:4683 L@: =:32B;8; :C 9>=> =:C 32C>B239> ?868 L@: C:3 H@:68 9M3 HM72C 6:7>6=867@MC:3 :68; C5B2789:;4: RMC2=>3E F>6 :S:9?C>< :C 32C>B239> L@: 7>;3234: =: 46:3 :;@;D728=>3 42?> 725 7>; C8 ?8C8N68 N3=< ; C8 ?8C8N68 7=C6=86 N8S> 7@MC H2B@683 :68; RMC2=>3< C>3>6B8;2I86>; :; H>698 =: ?>:98< =: C8 32B@2:;4: 98;:68[

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    31/539

    !`

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

    A."3.".H /%5."%,)H D."((H I%"(#J+% !"(#"(&K

    /%&."%H /.-%&)"%&H I%&)(,#H A."#$# &%$+,'.%K

    9%")(.H D.".!)(H D(&.-(&H D.)(&(H I%5.!)#,H

    A#$."'#H I%"(,H ?.3%)K J+."). (,&+!%" .''()

    A".-.,)(!H /.-%,%&H D(-."(&H I%&.!#H I"%&(,L

    ,C ?>:98 C: H8C48; 72;7> =: C83 H>6983 C2348=83 8;4:62>69:;4:E -8 68I5; :3 L@: C>3C5B27>3 9:=2:R8C:3 C83 7>;32=:68N8; H>6983 =KN2C:3< :3 =:726< H>6983 :; C83 L@: 3:>N42:;: @;8 7>;7C@325; 8 ?86426 =: ?6:92383 L@: ?:692426P8; >N4:;:6 @;8 7>;7C@325;9M3 H@:64:E F>6 :S:9?C>< :; C8 H2B@68 ! 3: :T7C@J: 8 ,," 8 H8R>6 =: ,,,E

    0; 9@7A83 >7832>;:3< C8 2;H>698725; =: C8 L@: =23?>;:9>3 ;> ;>3 ?:6924: >N4:;:6C8 7>;7C@325; =:3:8=8 @42C2I8;=> @; 3>C> 32C>B239> 784:B5627>< J 3: 6:L@2:6: =2R2=26 :C68I>;892:;4> :; =>3 > 9M3 ?83>3E )>;32=:6:9>3< ?>6 :S:9?C>< C>3 32B@2:;4:3 :;@;D728=>3[

    $>=>3 C>3 78;48;4:3 =: 6>7y 42:;:; :C ?:C> C86B>E

    ,CB@;>3 :R8;BKC27>3 3>; 78;48;4:3 =: 6>7yE

    $>=>3 C>3 :R8;BKC27>3 76::; :; '2>3E

    #> :3 ?>32NC: =:=@726 =: :34>3 :;@;728=>3< ?>6 9:=2> =: @; 3>C> 32C>B239>< L@:[

    ,CB@;83 ?:63>;83 L@: 76::; :; '2>3 42:;:; :C ?:C> C86B>E

    O: 6:L@2:6: =2R2=26 C8 =:=@7725; :; C>3 32B@2:;4:3 =>3 32C>B239>3[

    !%$# $>=>3 C>3 78;48;4:3 =: 6>7y 42:;:; :C ?:C> C86B>E

    ,CB@;>3 :R8;BKC27>3 3>; 78;48;4:3 =: 6>7yE

    ,CB@;>3 :R8;BKC27>3 42:;:; :C ?:C> C86B>E

    !%%# ,CB@;>3 :R8;BKC27>3 42:;:; :C ?:C> C86B>E

    $>=>3 C>3 :R8;BKC27>3 76::; :; '2>3E

    ,CB@;83 ?:63>;83 L@: 76::; :; '2>3 42:;:; :C ?:C> C86B>E

    -8 7>;7C@325; =:C 32C>B239> !%$#3: 7>;R2:64: :; @;8 =: C83 ?6:92383 =:C 32C>B239>!%%#E ': :34: 9>=> 4:;:9>3 =>3 32C>B239>3 RMC2=>3< L@: 4>98=>3 :; 7>;S@;4> 866>S8;C8 7>;7C@325; =:3:8=8E

    )@8;=> :; @; 86B@9:;4> =:=@742R> 35C> 3: 2;7C@J:; C83 ?6:92383 J C8 7>;7C@D325; 32; A87:6 :T?CP724>3 C>3 :3C8N>;:3 =: C8 78=:;8 32C>BP34278< :C 86B@9:;4> 6:3@C48;4:3: =:;>92;8 @; 36/2E03E (; 3>624:3 ?@:=: 4:;:6 7@8CL@2:6 ;b9:6> =: ?6:92383< J :;

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    32/539

    !W

    ) , F _ $ ( - & !

    @; 86B@9:;4> :T4:;3> C>3 32C>B239>3 L@: H>698; C8 78=:;8 ?@:=:; 3:6 ;@9:6>3>3E 0C32B@2:;4: :S:9?C> =: @; 3>624:3 :3 4>98=> =: C2N6>M60($. &(-365($.=: -:m23 )866>CC6 =: 85($(. %, %5 !.1& '% 5.& -.".*(55.&WE

    ->3 N:NK3 3>; 2C5B27>3E

    #8=2: L@: ?@:=8 =>92;86 @; 7>7>=62C> :3 =:3?6:728=>E

    -83 ?:63>;83 2C5B2783 3>; =:3?6:728=83E

    F>6 C> 48;4>< C>3 N:NK3 ;> ?@:=:; =>92;86 7>7>=62C>3E

    !% -83 ?:63>;83 2C5B2783 3>; =:3?6:728=83E

    ->3 N:NK3 3>; 2C5B27>3E

    ->3 N:NK3 3>; =:3?6:728=>3E

    !%'# #8=2: L@: ?@:=8 =>92;86 @; 7>7>=62C> :3 =:3?6:728=>E->3 N:NK3 3>; =:3?6:728=>3E

    ->3 N:NK3 ;> ?@:=:; =>92;86 7>7>=62C>3E

    0; C83 32B@2:;4:3 C23483 =: :;@;728=>3< C>3 46:3 ?629:6>3 3>; C83 ?6:92383 =: @; 3>624:3 C8 7>;7C@325;E 0C ?6>?5324> =:C :S:67272> :3 :;7>;4686 C>3 =>3 32C>B239>3 =:L@: 7>;3234: :C 3>624:3E (;8 R:I 7>;346@2=>3 C>3 32C>B239>3< 3: =:N: 2;=2786 3@ 9>=> JH2B@68E $>=>3 C>3 :S:9?C>3< 7>; C2B:683 R862872>;:3< 3>; 4>98=>3 =:M60($. &(-365($.

    =: -:m23 )866>CC U!e``[ !i\D!iYZE

    !E $>=>3 C>3 >H2728C:3 N82C8; :C R8C3E

    #2;Bb; ?84> N82C8 :C R8C3E

    $>=83 923 8R:3 3>; ?84>3E

    #2;B@;8 =: 923 8R:3 :3 @; >H2728CE

    YE $>=>3 C>3 L@: C::; :C 9(-%&3>; :=@78=>3E

    #2;Bb; 4>?> ?@:=: C::6E

    $>=>3 C>3 L@: 3>; :=@78=>3 ?@:=:; C::6E

    #2;Bb; 4>?> C:: :C 9(-%&E

    WE -:m23 )866>CC U!WVYD!WeWZ H@: ?6>H:3>6 =: 984:9M42783 :; &TH>6=E O@ 46848=> =: C5B278 H@: :37624> =:;46>=: C8 468=2725; 86234>4KC278 J ;> 7>;3424@J: @;8 7>;462N@725; 29?>648;4: 8 C8 A234>628 =: C8 C5B278 9>=:6;8E O2;:9N86B>< 3@3 :T468a>3 32C>B239>3< J C>3 :;2B983 C5B27>3 J H2C>35H27>3 ?6:3:;4:3 :; 3@3 A234>6283< A8; 32=>@42C2I8=>3 :; C8 :;3:a8;I8 =: C8 C5B278 J C8 H2C>3>HP8 =:3=: :C 32BC> c"cE

    !"#$%'( )*+*,+*-. %%012 "&'&%4

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    33/539

    !e

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

    VE $>=>3 C>3 ?278HC>6:3 3>; 9@C427>C>6:3E

    #2;Bb; ?MS86> B68;=: R2R: =:C ;K7486E

    $>=>3 C>3 ?MS86>3 9@C427>C>6:3 R2R:; =:C ;K7486E

    #2;Bb; ?278HC>6 :3 B68;=:E

    XE #2;B@;8 =: C83 7>383 6>483 :; :348 6:?238 ?@:=: 7>;4:;:6 8B@8E

    $>=>3 C>3 >NS:4>3 8;42B@>3 :; :348 6:?238 :34M; 6>4>3E

    $>=>3 C>3 S866>3 :; :348 6:?238 3>; >NS:4>3 8;42B@>3E

    #2;Bb; S866> :; C8 6:?238 ?@:=: 7>;4:;:6 8B@8E

    fE $>=83 C83 H6@483 38C@=8NC:3 :34M; 98=@683E

    $>=83 :3483 98;I8;83 3>; 38C@=8NC:3E

    #2;B@;8 H6@48 L@: A8J8 76:72=> :; C8 3>9N68 :34M 98=@68E

    03483 98;I8;83 ;> 76:72:6>; :; C8 3>9N68E

    iE -83 HC>6:3 =: 7>C>6:3 32:9?6: 42:;:; 86>98E

    $>=83 C83 HC>6:3 L@: 9: ?C87:; 76:7:; 8C 826: C2N6:E

    $>=83 C83 HC>6:3 L@: 76:7:; 8C 826: C2N6: 42:;:; 7>C>6E

    $>=83 C83 HC>6:3 L@: 9: ?C87:; 42:;:; 86>98E

    ,=:9M3 =: C>3 32C>B239>3 784:B5627>3 L@: A:9>3 :34@=28=> :; C83 =>3 3:772>;:38;4:62>6:3< :T234:; 32C>B239>3 7@J83 ?6:92383 7>;42:;:; "'#'$%,!-+ $-*(#"+3-+< :3=:726< :;@;728=>3 L@: 7>;42:;:; 9M3 =: @;8 8H2698725; > ;:B8725;E 0; C>3 78?P4@C>332B@2:;4:3 ;>3 >7@?86:9>3 :; 9M3 =:48CC: =: :34: 42?> =: :;@;728=>3z 8L@P 35C> C>3:T?C2786K N6:R:9:;4: ?868 9>34686 759> ?@:=:; 3:6 @42C2I8=>3 :; C8 7>;346@7725; =:32C>B239>3 ;> 86234>4KC27>3E

    0T234:; R86283 H>6983 =: 7>9N2;86 :;@;728=>3 ?868 H>6986 :;@;728=>3 7>9D?@:34>3E -8 9M3 3:;72CC8 =: :CC83 :3 8H26986 329@C4M;:89:;4: =>3 :;@;728=>3[

    !%(# /8628;8 4>78 :C R2>CP; J F:=6> 4>78 :C ?28;>E

    034: :;@;728=> 7>9?@:34> :34M 7>;3424@2=> ?>6 C8 $-':#'$%&' =: =>3 :;@;728=>3[]/8628;8 4>78 :C R2>CP;^ J ]F:=6> 4>78 :C ?28;>^E 0C :;@;728=> 7>9?@:34> 8H2698 C8R:6=8= =: C>3 =>3 :;@;728=>3< J ?>6 :CC> C8 H8C3:=8= =: @;> =: :CC>3 :;468a8 C8 H8C3:=8==: C8 7>;S@;725;E 0; 4K692;>3 B:;:68C:3< :C R8C>6 =: R:6=8= =: @; :;@;728=> 7>9?@:34>32:9?6: =:?:;=: =: C>3 R8C>6:3 =: R:6=8= 832B;8=>3 8 C>3 :;@;728=>3 L@: C> 7>9?>;:;E

    0T234:; >46>3 :;@;728=>3 7>9?@:34>3 :; C>3 L@: ;> 3: 8H2698 C8 R:6=8= =:;2;B@;> =: C>3 :;@;728=>3 2;7C@2=>3< 7>9> :; :C 32B@2:;4: :S:9?C>[

    !"#$%'( )*+*,+*-. %%012 "&'&%5

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    34/539

    Y\

    ) , F _ $ ( - & !

    !%)# /8628;8 R8 8C 9:678=> C>3 9864:3 > C>3 92K67>C:3E

    0; :34: :;@;728=> 7>9?@:34> ;2;B@;> =: C>3 =>3 :;@;728=>3 2;7C@2=>3 {]/8628;8 R88C 9:678=> C>3 9864:3^ J ]/8628;8 R8 8C 9:678=> C>3 92K67>C:3^{ :3 8H2698=>E ->

    b;27> L@: 3: 8H2698 :3 C8!%+9#'$%&'=: C>3 =>3 :;@;728=>3< :3 =:726< 3: 8H2698 L@: 8C9:;>3 @;> =: :CC>3 =:N: 3:6 R:6=8=:6>< ?:6> ;> 3: 8H2698 7@MC =: :CC>3 C> :3E 0C:;@;728=> 3:6M R:6=8=:6> 32 35C> @;> =: C>3 :;@;728=>3 :3 H8C3> > 32 89N>3 :;@;728D=>3 3>; R:6=8=:6>3[ =:3=: @; ?@;4> =: R2348 C5B27>< C8 R:6=8= =: @;> =: C>3 :;@;728=>3L@: H>698; @;8 =23J@;725; ;> :T7C@J: C8 R:6=8= =:C >46>E

    ': C8 92398 98;:68< :T234:; :;@;728=>3 ;%(-383%$-+>$-'!%$%-',."+:; C>3L@: ;2;B@;> =: C>3 =>3 :;@;728=>3 :3 8H2698=>< 32;> L@: 9M3 N2:; 3: :348NC:7: @;86:C8725; =: =:?:;=:;728 C5B278 :;46: :CC>3E )>;32=:6:9>3 :C 32B@2:;4: :S:9?C>[

    !%*# O2 ;> ?8B83 29?@:34>3< ;> 42:;:3 =:6:7A> 8 L@:S864: ?>6 :C :348=> =: C83 78CC:3E

    0C :;@;728=> 7>9?@:34> ;> 29?C278 L@: C8 ?:63>;8 8 L@2:; R8 =262B2=8 C8 H683: ;>?8B@: 3@3 29?@:34>3< ;2 489?>7> L@: A8J8 ?:6=2=> :C =:6:7A> 8 L@:S863:E -> b;27>L@: 3: 8H2698 :3 L@: :T234: @;8 6:C8725; 7>;=272>;8C :;46: C>3 =>3 :;@;728=>3[ 32 :372:64> L@: C8 ?:63>;8 :; 7@:3425; ;> ?8B8 29?@:34>3< :;4>;7:3 =:N: 3:6 72:64> L@: :38?:63>;8 ;> 42:;: =:6:7A> 8 L@:S863:< J :348 6:C8725; :3 R:6=8=:68 2;7C@3> 32 C>3 =>3:;@;728=>3 3>; =: A:7A> H8C3>3E

    d2;8C9:;4:< :T234:; :;@;728=>3 =>NC:9:;4: A2?>4K427>3< > 7%$-'!%$%-',."+; 329?C:9:;4: C8 7>;S@;725; =: =>3 :;@;728=>3 7>;=272>;8C:3E F>6 :S:9?C>< :C

    :;@;728=>[

    !%+# (; ;b9:6> :3 ?86 32 J 35C> 32 ;> :3 29?86E

    :3 C8 7>;S@;725; =: C>3 :;@;728=>3[ ]O2 @; ;b9:6> :3 ?86< ;> :3 29?86^ J ]O2 @;;b9:6> ;> :3 29?86< :3 ?86^E #2;B@;> =: C>3 =>3 :;@;728=>3 7>;=272>;8C:3 8H2698 C8R:6=8= > H8C3:=8= =: C>3 :;@;728=>3 L@: C> 7>;3424@J:; ?>6L@: ;> :3489>3 A8NC8;=> =:;2;Bb; ;b9:6> :; ?86427@C86E F:6> :C :;@;728=> N27>;=272>;8C 3P 8H2698 C8 R:6=8= =: C>3=>3 :;@;728=>3 7>;=272>;8C:3 L@: C> 7>;3424@J:;E F>6 :38 68I5;< C>3 :;@;728=>3 ]@; ;bD9:6> :3 ?86^ J ]@; ;b9:6> ;> :3 29?86^ =:N:; 3:6 89N>3 R:6=8=:6>3 > 89N>3 H8C3>3E

    ->3 :;@;728=>3 7>9?@:34>3 ?@:=:; 3:6R26 =: N83: ?868 C8 7>;346@7725; =:72:64>3 42?>3 =: 32C>B239>3 =:=@742R89:;4: RMC2=>3E )8=8 42?> =: 32C>B239> =:62R8 3@;>9N6: =:C 42?> =: :;@;728=> :; :C L@: :34M N838=>E ->3 =>3 42?>3 9M3 @38=>3 3>; :C32C>B239> =23J@;42R> J :C 32C>B239> A2?>4K427> > 7>;=272>;8CE )>9:;7:9>3 7>; :C+%.-2

    /%+*- !%+9#'3%4-E 0; :C 32B@2:;4: :S:9?C>< C8 ?629:68 ?6:9238 :3 @;8 =23J@;725;[

    !&,# & :C 78;862> 3: :378?5 > 3: C> 7>925 :C B84>E

    0C 78;862> ;> 3: :378?5E

    O: C> 7>925 :C B84>E

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    35/539

    Y!

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

    -8 ?629:68 ?6:9238 8H2698 L@: 8C 9:;>3 @;> =: C>3 =>3 :;@;728=>3 L@: 7>9?>;:; C8=23J@;725; :3 R:6=8=:6>E )>9> C8 3:B@;=8 ?6:9238 8H2698 L@: :C ?629:6> =: :34>3:;@;728=>3 :3 H8C3>< ;>3 R:9>3 >NC2B8=>3 8 7>;7C@26 L@: :C 3:B@;=> :;@;728=> :3

    R:6=8=:6>E 0C 32B@2:;4: 32C>B239>< 32; :9N86B>< ;> :3 RMC2=>[

    !&"# & :C 78;862> 3: :378?5 > 3: C> 7>925 :C B84>E

    0C 78;862> 3: :378?5E

    #> 3: C> 7>925 :C B84>E

    0C 8H26986 C8 R:6=8= =: @;> =: C>3 =>3 :;@;728=>3 L@: 7>;H>698; C8 =23J@;725; ;> ;>3?:6924: 8H26986 8N3>C@489:;4: ;8=8 87:678 =:C 3:B@;=> :;@;728=>E 03 ?:6H:7489:;D4: ?>32NC: L@: :C 78;862> A8J8 :378?8=> J :C B84> 3: C> A8J8 7>92=> :; :C S86=P;E )>9>R29>3 8;4:62>69:;4:< C8 R:6=8= =: @;> =: C>3 :;@;728=>3 L@: H>698; @;8 =23J@;725;

    ;> :T7C@J: C8 R:6=8= =:C >46>E O2; :9N86B>< :C 32B@2:;4: :S:9?C> ?86:7: 7>;468=:726 C>8;4:62>69:;4: =27A>[

    !&$# d:6;8;=8 :34M :; )8C2 > :; /:=:CCP;E

    d:6;8;=8 :34M :; )8C2E

    d:6;8;=8 ;> :34M :; /:=:CCP;E

    ,@;L@: :C 32C>B239> ?86:7: 3:6 RMC2=>< :; 6:8C2=8= 3: 46848 =: @; 86B@9:;4> 2;7>9?C:D4>E -8 7>;7C@325; =:?:;=: =: C8 32B@2:;4: ?6:9238< L@: 3: 83@9: 4M72489:;4:[ ]d:6;8;=8;> ?@:=: :3486 48;4> :; )8C2 7>9> :; /:=:CCP;^E 034: :;@;728=> 3: ?@:=: :T?6:386 :;

    H>698 =23J@;42R8 7>9>[ ]d:6;8;=8 ;> :34M :; )8C2 > ;> :34M :; /:=:CCP;^E )>; :348;@:R8 ?6:9238< :3 ?>32NC: 7>;346@26 :C 32B@2:;4: 86B@9:;4>[

    !&%# d:6;8;=8 ;> :34M :; )8C2 > ;> :34M :; /:=:CCP;E

    d:6;8;=8 :34M :; )8C2E

    d:6;8;=8 ;> :34M :; /:=:CCP;E

    0C 32C>B239> !&%#42:;: C8 92398 :346@74@68 =:C !&,#J :3 =:=@742R89:;4: RMC2=>E -8?6:9238 ]d:6;8;=8 :34M :; )8C2 > :; /:=:CCP;^ ;> :3 ;:7:38628 ?868 >N4:;:6 C8 7>;D7C@325;< ?:6> 32 L@:6:9>3 ?6:3:6R86 :C 3:;42=> >62B2;8C =:C 86B@9:;4>< ?>=:9>3 7>;3D

    46@26 :C 32B@2:;4: 86B@9:;4>e

    [!& d:6;8;=8 ;> :34M :; )8C2 > ;> :34M :; /:=:CCP;E

    d:6;8;=8 :34M :; )8C2 > :; /:=:CCP;E

    d:6;8;=8 :34M :; )8C2E

    d:6;8;=8 ;> :34M :; /:=:CCP;E

    eE )>9> :C 32C>B239> !&%# :3 =:=@742R89:;4: RMC2=>< ?>=:9>3 8B6:B86C: 7@8CL@2:6 ?6:9238 32; 8H:7486 3@R8C2=:IE O2; :9N86B>< :C 86B@9:;4> 6:3@C48;4: ;> :3 @; 32C>B239> ?>6L@: 42:;: 9M3 =: =>3 ?6:92383E

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    36/539

    YY

    ) , F _ $ ( - & !

    (;+%.-/%+*- ;%(-383%$-< ?>6 >468 ?864:< 7>;42:;: 8C 9:;>3 @; :;@;728=> A2?>D4K427> > 7>;=272>;8C< 7>9> :; :C 32B@2:;4: :S:9?C>[

    !&'# O2 034:N8; ?838 :C :T89:; 9K=27>< C> 7>;468486M; :; :C g867:C>;8EO2 C> 7>;46848; :; :C g867:C>;8< ?>=6M 7>9?686C: @;8 7838 8 3@ 989ME

    O2 034:N8; ?838 :C :T89:; 9K=27>< ?>=6M 7>9?686C: @;8 7838 8 3@ 989ME

    0; :C 8;4:62>6 32C>B239> 3: 7>9N2;8; =>3 :;@;728=>3 7>;=272>;8C:3E $89N2K; :3 ?>32DNC: 7>9N2;86 @; :;@;728=> 7>;=272>;8C 7>; @; :;@;728=> ;> 7>;=272>;8C[

    !&(# O2 32B@: CC>R2:;=>< R89>3 8 ?:6=:6 C8 7>3:7A8 =: 98PIE

    #> ?868 =: CC>R:6E

    v89>3 8 ?:6=:6 C8 7>3:7A8 =: 98PIE

    -8 ?629:68 ?6:9238 8H2698 L@: 32 C8 7>;=2725; 3: 7@9?C:< C8 7>;3:7@:;728 3: =:N:7@9?C26 489N2K;E -8 3:B@;=8 ?6:9238 ;>3 7>;H2698 L@: C8 7>;=2725; 3: 7@9?C25< C>7@8C ;>3 CC:R8 8 7>;7C@26 L@: C8 7>;3:7@:;728 42:;: L@: 3:6 72:648E

    0C ?629:6 42?> =: 86B@9:;4> :3 @;+%.-/%+*- ;%(-383%$- (#)-< 92:;4683 L@: :C3:B@;=>< L@: 7>;42:;: @; :;@;728=> 7>;=272>;8C J @;> ;> 7>;=272>;8C< :3 @;+%.-/%+*-

    ;%(-383%$- *% @; 32C>B239> A2?>4K427> 92T4> 42:;: C8 H>698 =:C 86B@9:;4>!&(#< 3: =27: L@: :34M :;*-!#+ (-'"'+ UC8 ?8C8N68!#,%,&R2:;: =:C C84P; !#,%"%648;4: ;> 7>;H@;=26 @; 86B@9:;4> :; -#'+& !#,%,&7>; @; 86B@9:;4> 7>9> :C 32B@2:;4:[

    !&)# O2 :C :T89:; :348N8 =2HP72C< C8 9248= =: C8 7C83: C> ?:6=25E

    -8 9248= =: C8 7C83: ?:6=25 :C :T89:;E

    0C :T89:; :348N8 =2HP72CE

    034: 86B@9:;4> :3 @;8 H8C8728 7>;>72=8 7>9> ]8H26986 :C 7>;3:7@:;4:^E 0C A:7A> =:L@: 3: 7@9?C8 C8 7>;3:7@:;728 L@: A87: ?864: =:C :;@;728=> 7>;=272>;8C ;> 29?C278L@: C8 7>;=2725; 489N2K; 3: A8J8 7@9?C2=>E -8 9248= =: C8 7C83: ?@=> A8N:6 ?:6=2=> :C:T89:; 329?C:9:;4: ?>6 ;> A8N:6 :34@=28=>E

    &468 H>698 RMC2=8 =:C 32C>B239> A2?>4K427> 92T4> :3 8L@KC L@: :34M :;*-!#+

    3-.."'+UC8 ?8C8N68 C842;8 )#55%,&32B;2H278 ;:B86ZE v:89>3 :C 32B@2:;4: :S:9?C>[

    !&*# O2 C8 3@348;728 7>;42:;: 3@CH@6>< C8 CC898 =: @; 9:7A:6> g@;3:; 3: 4>6;86M89862CC8 8C :;4686 :; 7>;4874> 7>; :CC8E

    -8 CC898 =:C 9:7A:6> ;> 3: 4>6;5 89862CC8 8C :;4686 :; 7>;4874> 7>; C8 3@348;728E

    -8 3@348;728 ;> 7>;42:;: 3@CH@6>E

    0; :34: 783>< C8 3:B@;=8 ?6:9238 ;2:B8 L@: C8 7>;3:7@:;728 3: A8J8 7@9?C2=>< ?>6 C>L@: :3 29?>32NC: L@: C8 7>;=2725; 3:8 72:648E 034: 42?> =: 86B@9:;4>3 7>;3424@J:; C8

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    37/539

    YV

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

    N83: =:C 9K4>=> A2?>4K427>D=:=@742R> L@: =: @;8 @ >468 H>698 :3 @42C2I8=> :; C8372:;7283 3>728C:3 J ;84@68C:3 ?868 :T892;86 C8 R:6=8= =: @;8 A2?54:323E

    (;8 ?6:B@;48 > @;8 >6=:; ;> :3 @; :;@;728=> ?>6L@: ;> 8H2698 8N3>C@489:;4: ;8=8EO2; :9N86B>< A8J >7832>;:3 :; L@: @;8 >68725; ;> =:7C86842R8 ?@:=: 3:6 7>;32=:68=8@;8 ?6:9238 =: @; 86B@9:;4>E 034> >7@66: 7@8;=>< ?>6 :S:9?C>< @;8 ?6:B@;48 :36:456278E )>;32=:6:9>3 :C 32B@2:;4: ?838S:[

    !&+# 03 H8C3> 83@926 L@: C83 ?:63>;83 L@: =:?:;=:; =: C8 83234:;728 3>728C :34M;7>;4:;483 7>; 3@ 324@8725;E n, L@2K; C: B@348 3:6 ?>N6: J =:3:9?C:8=>o n,L@2K; C: B@348 3:6 7>;32=:68=> @; ?86M324> =: C8 3>72:=8=o

    ,L@P :C 8@4>6 83@9: L@: C8 6:3?@:348 8 C83 =>3 ?6:B@;483 :3 >NR28[ ;2;B@;8 ?:63>;8L@2:6: 3:6 ?>N6:< =:3:9?C:8=8 J 7>;32=:68=8 @; ?86M324> =: C8 3>72:=8=E 0383 8H2698D72>;:3 =:N:; 3:6 4>98=83 7>9> C83 ?6:92383 8 ?86426 =: C83 7@8C:3 :C 8@4>6 L@2:6:7>;346@26 3@ 86B@9:;4>E 0C 32B@2:;4: ?838S: =: @; =2MC>B> =: FC845; :S:9?C2H278 :C9239> ?@;4>[

    !',# O2 ;> A8J ;8=2: L@: =:3:: 3:6 923:68NC:< ;> A8J ;8=2:< /:;5;< L@: =:3:: :C98CE F>6L@:< nL@K :3 C8 923:628 32;> :C =:3:> J C8 ?>3:325; =:C 98Co

    FC845;< >%,6, `W8

    0C @3> =: ?6:B@;483 6:4562783 :; @; 86B@9:;4> ?@:=: 866>S86 @; 98;4> =: 3>3?:7A83>N6: C8 7>;7C@325;E #> :3 2;H6:7@:;4: L@: :C 8@4>6 2;4:;4: :C@=26 C8 6:3?>;38N2C2=8= =:=:H:;=:6 @;8 8H2698725;< J 3: 89?86: N8S> C8 3@?@:348 >NR2:=8= =: C8 6:3?@:348 8 C8?6:B@;48 6:456278E

    &468 H>698 9@J H6:7@:;4: =: 8H269872>;:3 :;9837868=83 3>; C83 7>;7C@32>;:3:T?6:38=83 8 468RK3 =: 29?:6842R>3E ':3?@K3 =: :T?>;:6 @;8 3:62: =: 68I>;:3< :C8@4>6 ;>3 ?@:=: 3@B:626 @ >6=:;86 C8 7>;7C@325; L@: 3: 32B@: =: C83 ?6:92383E (;:;@;728=> 7>9>[ ]#2 ?6:34:3 ;2 ?2=83 ?6:348=>^ :3 @;8 >6=:; L@: ?@:=: 3:6 468;3H>6D98=8 HM72C9:;4: :; @;8 8H2698725;[ ]#> 3: =:N: ?6:3486 ;2 ?:=26 ?6:348=>^E

    0; C8 R2=8 =28628 H6:7@:;4:9:;4: @42C2I89>3 86B@9:;4>3 7@J83 ?6:92383 > 7>;7C@325;;> 3: 8H2698; :T?CP72489:;4:E ,C :T?>;:6 @; 86B@9:;4>< 32:9?6: 83@929>3 L@: ;@:3D468 8@=2:;728 7>9?864: 7>; ;>3>46>3 @;8 B68; 78;42=8= =: 2;H>698725;< J 32 ;> =:SM68D9>3 3>N6::;4:;=2=83 8CB@;83 =: C83 ?864:3 =: C>3 86B@9:;4>3 L@: @42C2I89>3< C87>9@;278725; 3: 7>;R:6426P8 :; @; ?6>7:3> 9@J :;B>66>3>E

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    38/539

    YX

    ) , F _ $ ( - & !

    (; "'3%*"*,:3 @; 86B@9:;4> :; :C 7@8C @;8 > 9M3 =: 3@3 ?864:3 ;> 3: A87::T?CP7248E 0C 8;MC2323 =: @; :;429:98 =:?:;=: :; B68; 9:=2=8 =:C 7>;4:T4> :; :C L@:8?86:7: J =: C8 2;H>698725; =: C8 L@: =23?>;B8 :C C:74>6E )>;32=:6:9>3 :C 32B@2:;4:

    :S:9?C>E (; H2378C :34M 46848;=> =: 7>;R:;7:6 8C S@:I =: C8 7@C?8N2C2=8= =:C 87@38=> J=27: C>3 32B@2:;4:[

    !'"# O>C89:;4: @;8 ?:63>;8 L@: 3@?2:68 C8 7>9N2;8725; =: C8 78S8 H@:64: ?@=> A8DN:6 7>9:42=> :C 6>N>< J 3>C89:;4: :C 3:a>6 /864P;:I 7>;>7P8 C8 7>9N2;8725;E

    0C 86B@9:;4> !'"#:3 @; :;429:98 ?>6L@: A87: H8C48 C8 7>;7C@325; =:C 86B@9:;4>E 0CS@:I =:N: 7>;7C@26 ?>6 3P 9239> L@: :C 3:a>6 /864P;:I :3 :C 8@4>6 =:C 6>N> 8@;L@: :CH2378C ;> C> =2B8 :T?CP72489:;4:E 0; :C 32B@2:;4: :S:9?C>< :C 86B@9:;4> :3 @; :;429:98?>6L@: A87:; H8C48 R86283 ?6:92383 J C8 7>;7C@325;[

    !'$# -8 7>;346@7725; =: :3>3 :=2H272>3 =:346@26M :C 786M74:6 6@68C =: ;@:346> ?@:DNC>E 18J :34@=2>3 L@: =:9@:3468; L@: @;8 =:;32=8= ?>NC872>;8C 48; 8C488@9:;48 C8 4838 =: 76292;8C2=8=E ,=:9M3< ;> 4:;:9>3 C8 2;H68:346@74@68?868 7@N626 C83 ;:7:32=8=:3 =: @;8 ?>NC8725; 48; B68;=:E

    0; :34: 86B@9:;4> A87: H8C48 C8 7>;7C@325; L@: ;84@68C9:;4: 3: =:3?6:;=: =: :34>3:;@;728=>3[ ]#> =:N:9>3 ?:692426 C8 7>;346@7725; =: :3>3 :=2H272>3 :; ;@:346> ?@:DNC>^E F:6> :348 7>;7C@325; ;> 3: 32B@: 560($.-%,)%=: C>3 :;@;728=>3 :; :C 86B@9:;D4> >62B2;8CE ':N:9>3 8B6:B86< 8=:9M3< C83 32B@2:;4:3 ?6:92383[ ])@8CL@2:6 7>38 L@:=:346@J8 :C 786M74:6 6@68C =: ;@:346> ?@:NC> ;> =:N: 3:6 ?:69242=8^< ])@8CL@2:6 7>38

    L@: 8@9:;4: C8 4838 =: 76292;8C2=8= ;> =:N: 3:6 ?:69242=8^ J ]O2 ;> 4:;:9>3 C8 2;H68D:346@74@68 ?868 7@N626 C83 ;:7:32=8=:3 =: @;8 ?>NC8725; 48; B68;=:< ;> 3: =:N: ?:692D426 C8 7>;346@7725; =: :3>3 :=2H272>3^E

    #> 3: 46848< 32; :9N86B>< =: 8a8=26 4>=> 8L@:CC> L@: :C 8@4>6 :34K 83@92:;=> :;:C 9>9:;4> =: H>69@C86 :C 86B@9:;4>E O2; =@=8< :C 8@4>6 83@9: 9@7A83 7>383 =2H:D6:;4:3z ?>6 :S:9?C>< L@: :C C:74>6 :;42:;=: :3?8a>CE F:6> C8 98J>6P8 =: C83 7>383 L@::C 8@4>6 83@9: ;> A87:; ?864: =:C 86B@9:;4> 7>9> 48CE 0C 8;MC2323 =: @; :;429:98=:N: :3486 B@28=> ?>6 :C =)%'$%(%- !" >,)%!,![ .5 $#-!5%)." %5 ."0+-%,)# '%3%N-#& !"#!%,'%" !.". J+% &%. %5 -%@#" ."0+-%,)# !#&(35%E 0; ?86427@C86< :C ?62;72D

    ?2> =: 7862=8= 6:L@2:6: U2Z C8 2=:;42H278725; =: C8U3Z ?6:9238U3Z ;:7:38628U3Z ?868 L@::C 86B@9:;4> 3:8 =:=@742R89:;4: RMC2=>< > 8C 9:;>3 2;=@742R89:;4: H@:64:z > U22Z C82=:;42H278725; =: C8 7>;7C@325; L@: 3: 32B@: =:=@742R8 > 2;=@742R89:;4: =: C83 ?6:92383=8=83E ->3 32B@2:;4:3 ?838S:3 3>; :S:9?C>3 =: :;429:983E

    !'%# $>=>3 C>3 :34@=28;4:3 3: >?>;:; 8C ;@:R> 6:BC89:;4>< ?>6 C> 48;4> C>3?629P?86>3 3: >?>;:;E

    !' /867>3 ;8725 :; ,6B:;42;8 J 7@8CL@2:6 ?:63>;8 L@: A8J8 ;872=> :; ,6B:;D42;8 42:;: =:6:7A> 8 C8 ;872>;8C2=8= 86B:;42;8E

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    39/539

    Yf

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

    !''# 0C 8C98 :3 2;9>648C :; 4>=> 3@ 3:6< ?@:3 8L@:CC> L@: :34M 32:9?6: :; 9>R2D92:;4> :3 2;9>648CE

    FC845;< I%'"#YXf7

    -83 ?6:92383 > C8 7>;7C@325; L@: A87:; H8C48 :; 78=8 783> 3>; C83 32B@2:;4:3[

    !'%# F6:9238[ $>=>3 C>3 ?629P?86>3 3>; :34@=28;4:3E

    !' )>;7C@325;[ /867>3 42:;: =:6:7A> 8 C8 ;872>;8C2=8= 86B:;42;8E

    !''# F6:9238[ 0C 8C98 :34M 32:9?6: :; 9>R292:;4>E

    0C @3> =: :;429:983 ;> 3: =:N: 3>C89:;4: 8 L@: C83 ?:63>;83 B:;:68C9:;4: :R24:;8H26986 C> L@: :3 >NR2> ?868 4>=>3E $89N2K; 42:;:; @; R8C>6 6:45627>< 7>9> ,623454:C:3

    9239> C> 8H2698[ ]C>3 w=237@63>3x N838=>3 :; :;429:983 B:;:68; C>3 98J>6:3 8?C8@D3>3^ U:%)6"($.H !VfiNZE

    ->3 32B@2:;4:3 ?838S:3 7>;42:;:; 86B@9:;4>3 2;7>9?C:4>3< > :;429:983E "=:;42H2L@:C83 ?6:92383 J C8 7>;7C@325;< J :;7@:;46: C8 ?6:9238 L@: A87: H8C48 ?868 L@: :C 86B@D9:;4> 3:8 =:=@742R89:;4: RMC2=>E

    0S:9?C>[ -8 ?C8;48 ;:7:3248 8B@8E O: C: :34M; 9867A248;=> C83 A>S83E

    5:47F6 30 14/8G2E47 943 G6H43 F0 :74 I947E4@ J3E4 708032E4 4B:4K

    -83 A>S83 =: C8 ?C8;48 3: :34M; 9867A248;=>E-8 ?C8;48 ;:7:3248 8B@8E

    !E d8N2> 42:;: N@:;>3 9>=8C:3E $@R> @;8 N@:;8 :=@78725;EYE -@7P8 :3 N62CC8;4:< 83P L@: 38786M N@:;8 ;>48EVE ':N25 CC>R:6 8;>7A: ?>6L@: A8J 7A867>3 ?>6 4>=83 ?864:3EXE & :C ?:66> 42:;: ?@CB83 > 42:;: C8 ?2:C 9@J 3:78E O: :34M 68378;=> 7>9> C>7>EfE -:3 3>N65 9@7A8 7>92=8< 83P L@: C8 H2:348 ;> =:N25 3:6 9@J :T24>38EiE )6:> L@: ?>=:9>3 7>;7C@26 L@: C8 N84:6P8 4>=8RP8 :34M N@:;8E -8 C@I 4>=8RP8

    :3 N62CC8;4:E`E l86892CC> H@: @; N@:; 3:;8=>6< 83P L@: R8 8 3:6 @; N@:; ?6:32=:;4:EWE 12C86J F@4;89 :3 @;> =: C>3 9:S>6:3 H2C53>H>3 =:C 9@;=>E O@ 468N8S> :3

    ?@NC278=> ?>6 C8 :=24>628C =: C8 (;2R:632=8= =: 186R86=EeE ->3 ?6:72>3 :; :C ;@:R> 8C987K; =: C8 :3L@2;8 R8; 8 3:6 8C4>3E v:;=:; 35C>

    ?6>=@74>3 29?>648=>3E!\E $:;P8 :C ?6>9:=2> :; VE\< ?:6> C8 ;>48 =:C 7@63> 9: 42:;: L@: L@:=86 ?>6 C>

    9:;>3 :; XE\ ?>6L@: 38L@K fE\ :; :C H2;8CE

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    40/539

    Yi

    ) , F _ $ ( - & !

    !!E 03 @; N@:; B@248662348E nO8NP83 L@: :34@=25 7>; F:?: %>9:6>o!YE %@==J ;> 42:;: C8 9:;>6 ?>32N2C2=8= =: 3:6 :C:B2=> 8C78C=:E $>=> :C 9@;=>

    38N: L@: :3 @; =K3?>48E

    !VE -8 9248= =: C>3 L@: 3: 32:;48; :; C8 ?629:68 H2C8 76::; :; '2>3< 83P L@: C89248= =: C8 7C83: =:N: 76::6 :; '2>3E

    !XE n#> 38NP83 L@: /8@6272> 3: 7838o n,783> ;> C> R234: L@:98;=> 4>=83 C83786483 =: 3@3 :T ;>R283o

    !fE ]O2 ;> 76:JK689>3 :; 3@ 2;>7:;728 ;> C: :3486P89>3 =:R>CR2:;=> 3@ :9D?C:>^< =:7C865 :C F6>7@68=>6E

    0T234: >468 H>698 =: :T892;86 R862>3 :;@;728=>3 8C 9239> 42:9?> 32; L@: :T2348 :;46::CC>3 ;2;B@;8 =: C83 6:C872>;:3 C5B2783 9:;72>;8=83 A8348 8A>68 :; :34: 78?P4@C>E O:46848 =: :T892;86 32 C>3 :;@;728=>3 H>698; @; 7>;S@;4> C5B2789:;4: 7>;3234:;4:E -87>;3234:;728 C5B278 3: ?@:=: =:H2;26 =: C8 32B@2:;4: 98;:68[

    (; 7>;S@;4> =: :;@;728=>3 :3 .&/%$,*"'3" $-'+%+3"'3"32 J 35C> 32 :3?>32NC: L@: 4>=>3 C>3 92:9N6>3 =:C 7>;S@;4> 3:8; R:6=8=:6>3E 03 .&/%$,2

    *"'3" %'$-'+%+3"'3"32 :34> :3 29?>32NC:E

    )>;32=:6:9>3 :C 32B@2:;4: 7>;S@;4> =: 8H269872>;:3[

    !'(# |/KT27> :3 9M3 B68;=: L@: 03?8a8< gKC8 g8645y ;8725 :; :C 32BC>

    c"c< 0C ?6:72> =:C 866>I 3: R: 8H:748=> ?>6 :C H:;59:;> =: 0C #2a>}

    034: 7>;S@;4> :3 C5B2789:;4: 7>;3234:;4: ?>6L@: :3 ?>32NC: L@: C>3 46:3 :;@;728=>33:8; R:6=8=:6>3 8C 9239> 42:9?>E 0; 789N2>< 7>;32=:6:9>3 :C 32B@2:;4: 7>;S@;4> =:8H269872>;:3[

    !')# |'8;2:C :3 9M3 8C4> L@: ,CN:64>< )86C>3 :3 9M3 8C4> L@: '8;2:C3< ,CN:64> :3 9M3 8C4> L@: g:8462I}

    0C 7>;S@;4> :3 C5B2789:;4: 2;7>;3234:;4: ?>6L@: :3 29?>32NC: L@: C>3 7@846> :;@;728D=>3 3:8; 72:64>3E F868 L@: C83 6:C872>;:3 =: 8C4@68 ?@=2:68; 7@9?C263:< 4:;=6P89>3 L@::C292;86 8CB@;> =: C>3 7@846> :;@;728=>3E v:89>3 >46> :S:9?C>[

    !'*# |)@8CL@2:6 ?:63>;8 L@: 76:8 :; C8 8346>C>BP8 :3 @; 4>;4>< ,C2728 :3 92 A:6D98;8 J ;2;B@;8 =: 923 A:698;83 42:;: @; 9862=> L@: 3:8 4>;4>< 1:6;8;=>:3 :C 9862=> =: ,C2728 J KC C:: :C A>6537>?> 4>=83 C83 98a8;83< )@8CL@2:6?:63>;8 L@: C:8 :C A>6537>?> 4>=83 C83 98a8;83 76:: :; C8 8346>C>BP8}

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    41/539

    Y`

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

    v86283 =: C83 8H269872>;:3 7>;4:;2=83 :; :34: 7>;S@;4> ?@:=:; 3:6 7>;32=:68=83 H8CD383 ?>6 9@7A83 ?:63>;83E F:6> C> 29?>648;4:< =:3=: :C ?@;4> =: R2348 C5B27>< ;> :3:R8C@86 3@ R:6=8= 2;=2R2=@8C9:;4:< 32;> 9M3 N2:; 7>;32=:686 32 :3 ?>32NC: L@: 4>=83

    :CC83 3:8; 72:6483 329@C4M;:89:;4:E 0; :34: 783>< 32 C8 ?629:68< C8 4:67:68 J C8 bC42988H2698725; 3>; 72:6483< :;4>;7:3 C8 3:B@;=8 42:;: L@: 3:6 H8C38E k 32 C8 3:B@;=8 :3R:6=8=:68< :;4>;7:3 C8 4:67:68 > C8 7@8648 > C8 ?629:68 42:;: L@: 3:6 H8C38E -8 C5B278;> ;>3 ?@:=: =:726 7@MC :3 C8 H>698 7>66:748 =: 9>=2H2786 :C 7>;S@;4> ?868 R>CR:6C>7>;3234:;4:E $8; 3>C> ;>3 9@:3468 7@MC:3 3>; C83 ?>32N2C2=8=:3E

    ,@;L@: ;>698C9:;4: C8 R:6=8= > H8C3:=8= =: @; :;@;728=> 35C> 3: ?@:=: =:4:692;86=: 98;:68 :9?P6278< A8J 8CB@;>3 783>3 :; L@: C8 C5B278 ?>6 3P 3>C8 N8348 ?868 =:4:692D

    ;86 3@ R8C>6 =: R:6=8=E F>6 :S:9?C>< C8 8H2698725;[

    !'+# , l@C28 C8 7>;468486M; :; C8 )>;468C>6P8 > ;> C8 7>;468486M;E

    :3 R:6=8=:68 :; R264@= =: 3@ H>698 C5B278z 3@ R8C>6 =: R:6=8= :3 2;=:?:;=2:;4: =: C8=:72325; L@: 4>9: :C )>;468C>6E #2 32L@2:68 :3 ;:7:3862> L@: l@C28 A8J8 3>C27248=>:9?C:> :; C8 )>;468C>6P8E &46>3 :S:9?C>3 2;7C@J:; :;@;728=>3 48C:3 7>9>[ ]O2 8 l@C28C8 7>;46848;< :;4>;7:3 C8 7>;46848;^< ]O2 4>=>3 ?838;< :;4>;7:3 F8@C8 ?838^ J ]O2 O868C: 8?@:348 8C N>T:8=>6 ?8;89:a> 32 J 35C> 32 ,;8 C> A87:< :;4>;7:3 32 ,;8 ;> A87: C88?@:348< O868 489?>7>^E 0;@;728=>3 7>9> K34>3 3: =:;>92;8; 4")!,!"+ .&/%$,+>

    3,#3-.-/6,+E,3P 7>9> A8J :;@;728=>3 L@: 3>; R:6=8=:6>3 :; R264@= =: 3@ H>698 C5B278< A8J

    >46>3 L@: 3>; H8C3>3 ?>6 C8 92398 68I5;E F>6 :S:9?C>< :C :;@;728=>[

    !(,# $>=>3 C>3 H2C53>H>3 H@98; ?:6> :; 0348=>3 (;2=>3 7832 ;2;B@;> C> A87:E

    :3 32:9?6: H8C38 32; 29?>6486 32 C>3 :;@;728=>3 7>;3424@J:;4:3 C> 3>;E &46>3 :S:9?C>32;7C@J:; :;@;728=>3 7>9> ]1>J CC@:R: ?:6> ;> CC@:R:^ J ],L@P :34>J ?:6> ;> A8J;8=2: 8L@P^E 034>3 :;@;728=>3 3: =:;>92;8; 5,.+"!,!"+ .&/%$,+ > $-'3),!%$$%-2

    '"+ E

    ,L@:CC>3 :;@;728=>3 L@: ;> 3>; ;2 C5B2789:;4: R:6=8=:6>3 ;2 C5B2789:;4: H8CD3>3 3: =:;>92;8; :;@;728=>3 .&/%$,*"'3"%'!"3")*%',!-+E -8 98J>6P8 =: C83 8H26D9872>;:3 87:678 =:C 9@;=> 3>; C5B2789:;4: 2;=:4:692;8=83E F>6 :S:9?C>[

    !("# 187: 78C>6 A>JE

    !($# /27A8:C O7A@987A:6 ;> B8;5 :C 789?:>;84> =: C8 d569@C8 ! :34: 8a>E

    d2;8C9:;4:< A8J ?86:3 =: :;@;728=>3 L@: :34M; 6:C872>;8=>3 :;46: 3P =: 48C9>=> L@: 32 :C ?629:6> :3 R:6=8=:6> > H8C3>< :C 3:B@;=> 489N2K; C> :3< J R27:R:638E 0;

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    42/539

    YW

    ) , F _ $ ( - & !

    48C:3 783>3 =:729>3 L@: C>3 =>3 :;@;728=>3 3>; .&/%$,*"'3" "?#%4,."'3"+E ->3 32DB@2:;4:3 3>; :S:9?C>3 =: 48C:3 ?86:3 =: :;@;728=>3[

    !(%# %>9:> 898 8 l@C2:48El@C2:48 :3 898=8 ?>6 %>9:>E

    !( %>9:> J l@C2:48 9@:6:; 8C H2;8C =: C8 A234>628

    l@C2:48 J %>9:> 9@:6:; 8C H2;8C =: C8 A234>628E

    !('# #> 4>=>3 C>3 4@9>6:3 3>; 78;7:6>3>3E

    ,CB@;>3 4@9>6:3 ;> 3>; 78;7:6>3>3E

    F>=:9>3 6:3@926 C83 =:H2;272>;:3 =: :34>3 7>;7:?4>3 :; :C 32B@2:;4: 7@8=6>[

    (; :;@;728=> :3 .&/%$,*"'3" 4")!,!")-> 3,#3-.&/%$- 32 J 35C> 32 :329?>32NC: L@: 3:8 H8C3>E

    (; :;@;728=> :3 .&/%$,*"'3"5,.+- > $-'3),!%$3-)%- 32 J 35C> 32 :329?>32NC: L@: 3:8 R:6=8=:6>E

    (; :;@;728=> :3 .&/%$,*"'3" %'!"3")*%',!-32 J 35C> 32 ;> :3 ;2 C5B2D789:;4: R:6=8=:6> ;2 C5B2789:;4: H8C3>E

    (; ?86 =: :;@;728=>3 3>; .&/%$,*"'3" "?#%4,."'3"+ 32 J 35C> 32 :329?>32NC: L@: @;> =: C83 :;@;728=>3 3:8 R:6=8=:6> J :C >46> H8C3>E

    03 29?>648;4: 8;>486 L@: 4>=> :;@;728=> :3 C5B2789:;4: :L@2R8C:;4: 8 3P 923D9>< L@: 4>=>3 C>3 :;@;728=>3 C5B2789:;4: R:6=8=:6>3 3>; C5B2789:;4: :L@2R8C:;4:3=>3 C>3 C5B2789:;4: H8C3>3E 034> ;> >7@66:< ?>6 3@?@:34>< :; :C 783> =:C>3 :;@;728=>3 C5B2789:;4: 2;=:4:692;8=>3< 83P K34>3 ?>3:8; =: A:7A> :C 9239> R8C>6=: R:6=8=E ->3 :;@;728=>3[

    !((# ,6@N8 :34M 8C ;>64: =: v:;:I@:C8E

    0; C8 )A2;8 :C 7>;3@9> =: ?:66>3 :3 C:B8CE

    ;> 3>; C5B2789:;4: :L@2R8C:;4:3 83P 89N>3 3:8; =: A:7A> 72:64>3E -> 29?>648;4: ;>:3 :C R8C>6 =: R:6=8= =: C>3 :;@;728=>3 :; 7@:3425;< 32;> 9M3 N2:; 32 :3: R8C>6 =:R:6=8= =:N: 3:6 ;:7:386289:;4: :C 9239>E

    !"#$%'( )*+*,+*-. %%012 "&'&)4

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    43/539

    !"

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

    2&- 2-&%1

    .- .+/#*- 2&'2'3#*#'$-.

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    44/539

    45

    * - 2 6 % ) . ' !

    !"#$%'( %)*)+*),- //012 "&'&4)

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    45/539

    47

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

    -89:;?=@?A8?;

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    46/539

    4!

    * - 2 6 % ) . ' !

    H 8< 8O9?@< @8I=?@< AKCAC=?@?C;HDC= >HM?;?K :; H;:;@?C =?DA8H >H D F a H= HK @ODC 8C= H;:;@?C= =?DA8H= F @CDA:H=GC= >H8 H=AH; =HK KHAKH=H;GC= H;!"< GKH(3#0),&. &%30$+&.F(3#0),&. 0',"+),".B KH=AH@G?T

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    47/539

    44

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

    1; @?HKGC= @KHDC= S:H KHMHK?K;C= < 8KU?HK< =HK =?DWC8?[C :G?8?[C :;< =C8< 8HGK< AKCAC=?@?C;

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    48/539

    4h

    * - 2 6 % ) . ' !

    "+*$ & g '

    .H C= TH THK>` THK>HKC CMHK< =? F =O8C =? 8C= >C= H;:;@?C= S:H 8< @CDAC;H; =C; THK>HKC=BF MHGHKD?;< H8 TH THK> >H 8H !"P .< G

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    49/539

    4d

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

    .< G?@< @:I8 H= H8 TH THK> >H 8< MOKD:8< g H; @< @?@< S:H @:C H= MHKH THK> >H 8< >?=F:;@?O;B H8 H;:;@?C ".$H= THK>HQKC =? *HKT

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    50/539

    4o

    * - 2 6 % ) . ' !

    DC= @ODC HNAKH=C HN@8:=?TC >H 8< >?=F:;@?O; :G?8?[C :;< @CDW?;H @C;H@GCKH= 8O9?@C=B F >?=@:G?KHDC= ACK S:V 8< 8O9?@< @8I=?@< AKHM?HKH H8 =H;G?>C?;@8:=?TC >H 8< >?=F:;@?O;P

    *:C :; H;:;@?C @CDA:H=GC @C;G?H;H DI= >H >C= H;:;@?C= =?DA8H=B H= ?DACKQGHK @?=F:;@?O; =HKU< THK>HK< =?B ACK HLHDA8CB H8 C E;?@

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    51/539

    4n

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

    "#&$ 18

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    52/539

    4m

    * - 2 6 % ) . ' !

    1;!":G?8?[C= T

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    53/539

    4"

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

    "%%*$ sYc g &Z

    "%%1$ sc s&

    1; H8 @H =HK =?DWC8?[C@CDC 8< @C;L:;@?O; >H >C= MOKD:8

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    54/539

    h5

    * - 2 6 % ) . ' !

    - >?MHKH;@?< >H 8< GH THK> @?=F:;@?O; ?;@8:=?T

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    55/539

    h7

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

    77P ' W?H; .:?= L:H9< GH;?= GC>C= 8C= >UK?C= 8C= >UC= L:H9:H; GH;?= GC>C= 8C= >UK?V@?DC A?=CB H;GC;@H= H8 J:HTC =H KCDAHP

    1; CGK

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    56/539

    h!

    * - 2 6 % ) . ' !

    @?C @C;>?@?C;HAH;>H E;?@< F HN@8:=?TH8 TH THK> >H 8C= H;:;Q@?C= S:H 8C @CDAC;H;P *C;=?>HKHDC= :; H;:;@?C @C;>?@?C;HKCj 2CK =:A:H=GC S:H ;CP 18 JH@JC >H S:H 2H>KC ;C S:H>H HDWH =O8C >H8 TH THK> >H 8C= H;:;@?C= S:H8C @CDAC;H;P

    18 G?AC >H H;:;@?C @C;>?@?C;

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    57/539

    h4

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

    -;H 8P 1; 8< AK?DHK< 8U;HC= DC>C=

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    58/539

    hh

    * - 2 6 % ) . ' !

    >C= @C;>?@?C;H8 H;:;@?CP

    hP .< D?=D< KH=A:H=G< H= :G?8?[< AH 8< >?=F:;@?O;P

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    59/539

    hd

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

    1; H8 H;:;@?C "&0$B 8< MKH8 H;:;@?CB F ]DH A838H AC;9UH A

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    60/539

    ho

    * - 2 6 % ) . ' !

    -;H THK> >H H=G< MOKD:8

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    61/539

    hn

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

    1; C@?@?C;

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    62/539

    hm

    * - 2 6 % ) . ' !

    H8 J?HKKC =H @HK< H; 8< =H9:;>H=< TC; aH8Cu :=< W:M< F H8>C@GCK 2HGHK=C; :=< W:M< F PPP F H8 H H=GH H;:;@?C =HKU< :;< MOKD:8< ?;M?;?G

    H H;:;@?C=B GH;>KHDC= S:HH=G:>?HWHDC= H S:H JH :;< AHK=C;< GCDC T?;C`

    "'#*$ 7( g sY2 $Zr Yq2 g sY( $Zr q$ g sY( 2ZrZ

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    66/539

    d!

    * - 2 6 % ) . ' !

    *C;=?>HKHDC=

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    67/539

    d4

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

    7P 3? H!"H=GI @C;=G?G:?>C ACK 8C= =?9:?H;GH= H8HDH;GC=`

    .HGK

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    68/539

    dh

    * - 2 6 % ) . ' !

    );< "91#".$3*>H!" H= =?DA8HDH;GH :;< =HK?H >H H8HDH;GC= >H8 TC@H@?KB >< :;H!"B AC>HDC= >HGHKD?;H A

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    69/539

    dd

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

    F H; H=GH @:@?KHDC= >C= ;C@?C;H= =?;GI@G?@H 9K

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    70/539

    do

    * - 2 6 % ) . ' !

    7P Y3 s/Z g 3 !P sqY\ /Z (r

    4P s/ sY( g \Z hP s/ Y3 (Z

    dP qY/ \Z Y\ (Zr Y/ (Z oP & qYs\ g s%Z g s(r

    nP q\ Y( /Zr qY3 /Z %r mP ( qYs\ g s%Z Ys3 s(Zr

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

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    71/539

    !"

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

    12 34 56789:4; 6293=?3 A 5;2?=5=;23> ?3 B3

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    72/539

    !R

    * - S T % ) . ' U

    -:2K:3 56?6 B64:65=D2 9;964 43 6>=E26 :2 B64;< ?3 B3

  • 8/10/2019 Paez, A. - Introduccin a La Lgica Moderna

    73/539

    !`

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

    )9=4=N6 3>96> ?3C=2=5=;23> 5;@; A6>3 7696A4353< 34 B64;< ?3 B3

  • 8/10/2019 Paez, A. - Introduccin a L