23
!37$6:0 !* +,-, !.( !O#$., '"'# !',$ &0770)7,* .424 -,80 /0 5038,2$0394 5,7, .4397,54307 , 2, 30#0243J, /02 5#042097$8246 03 2, ,.9:,2 %047J, /02 9070.34 +, -. 57417,2, /0 ',$ &0770)7,, 4, 5:089)4308 /0 5,.,-7,8 ; .:089)4308 /0 =0.=4, >, 5:089)4308 0?5.).,9);,8 ; .:089)4308 3472,9);,8, A, &,.8, 570.)8)O3, C, !038,7 547 8)8902,8E ; 5038,7 547 )/0,8 5,7, 90307 03 .:039,, F, G042097)824, H, ',.47 ; :84 /0. 7,$43,2)0394, %#03/03 9,2-#F3 ,48 089:/#48 0:7J/#.48 , 4,.07 085J7#9:8 1472,,#89,8 7 , 8,.,7,48 /0 , , 70,,#/,/8 , 1472,7 2039,,#/,/08 ,.489:2-7,/,8 , /,7 :3, #25479,3.#, #32038, , , ,8 .:089#4308 /0 5,, ,-7,89 , , ,8 1O72:, ,89 , , ,8 ,-897,..#43089, , ,8 /0/:..#4308;;; <=3 ;:08974 .#0,49 54/7E 807; !074 03 ,, 9#077,;;; <ABF0,20 03 5,C .43 9: 9#077,D ;;; /42#3,-,3 03 0,, ,9 .#07948 ,#-748 2:7 ,-897,.9489 ,,0348 /0 /01#3#.#4308 1472:,#89,8 !,,E4 ,8J .424 :3, 0850.#0 /0 08.4,E89#., 0F97,;,8,/, /0 8#E,4! ; ;;; 8:8 708:,9,/489 5070:/#.#,,J8#2489 5:0/03 .43/038,780 1:3/,2039,,20390 .43 08948 /48 ,/009#;48G &IJ$-IL%-$ 0 NLONPN%#N$, "894& .43;03.+/4 /0 6:0 :3, 00.9:7, ,9039, /00 .0E8+.4 /0 ',4 50770+7,6 !O#$., ;$;, 7898:; < 6 8+=:0 8+03/4 /0 04 2E8 +0:2+3,/47? 5072+90 ,/;079+7 0774708 .0,;08 /0 50,390,2+03948 97,38+9,/48 547 /46:+07 5,7, 0,8 .:089+4308 /0 0, 00,2,/, #,4O3 !7E.9+.,D E8J 5,7, 0, .43902547E30, 7209,;%047J, /00H070.I46 03 0,8 2,307,8 .424 08,8 .:089+4308 0,8 00:.+/,3 8:8 ,:94708 ,.9:,008 70342-7,/48 & 8:8 2,7,;+00,/48 .42039,7+89,8 /0 /+89+3948 5,J808D !"2500,7F 0, 0L5708+O3 %047J,/0& *070.+4 5,7, 80N,0,7 84-70 94/4 08, /+8.+50+3, 0850.J1 $.,6 0894 08N 34 0, /4.97+3, O:7J/+., 574108+43,0 03 =0307,06 8+34 57+3.+5,020390 ,6:00048 "#( %,90/7E9,.4 /0 /, &3,;078,/,/ /0 %489, #,.,5 ! 0"5"$,-,"2()2,*+".42 // 0$,-,(*.0".4".7 // 037*6:0"$,-,(:.7",.".7 !5 %,7/48 ',7 80770,7,9 4O)*., ;*;, 78/,59,.*O3 57E.9*., < /*/E.9*.,= ",-70;5; '8(9 <4203,>0 /0 /, %E2,7, /0 #05708039,3908 /0 /, #05@-/,., 7,039,/ /0/ &7:C:,D9 ;4/5 E'9 F4390;,/049 GHIJ K47,C5; GHGLM5 'F,80 9,2-,F3 8:; >47,+ 5,7, *390+0.9:,+089 <4203,>05559 ;4/5 EEE K47,C5 GLLHM; 0855K0.,,/20390M OF47,/ /0 ,-4C,/48P K555 QR 885M9 O%0O7,.48 D 57E.9,.48P K555 GQQ 885M9 OU.9,9:/ V,.,, /48 8,8902,8 D ,.9,9:/ 247,/ 03 C0307,/P K555 !LL 885M5 ! W,8 .:,974 .,9,8 ,3,.,,/08 5079030.03 9 70850.9,;,203909 ,; >47,+"""955 IHX YV07,3C9 @742,8 < ;07,8 03 +, A:7*857:/03.*,9 Z:0348 U,7089 GHR[9 !,790 EEE KO]3 0/ .,0/4 /0 /48 .43.05948 >:7J/,.48P; J!JMX '8 "7015K0703.,,M *317, 35K49,M !J(X '8 "7015 35 !L(5

Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

Embed Size (px)

Citation preview

Page 1: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

!37$6:0((!*((+,-,!.(#

!O#$.,''"'#!!',$%&0770)7,*'.424'-,80'/0'5038,2$0394'5,7,'.4397,54307','2,'30#0243J,'/02'5#042097$8246'

03'2,',.9:,2'%047J,'/02'9070.34'%

+,% -.%57417,2,%/0%',$%&0770)7,,%4,% 5:089)4308%/0%5,.,-7,8%;%.:089)4308%/0%=0.=4,%>,% 5:089)4308%0?5.).,9);,8%;%.:089)4308%3472,9);,8,%A,% &,.8,%570.)8)O3,%C,% !038,7%547%8)8902,8E%;%5038,7%547%)/0,8%5,7,%90307%03%.:039,,%F,% G042097)824,%H,% ',.47%;%:84%/0.%7,$43,2)0394,%

'!!!%#03/03! 9,2-#F3! ,48! 089:/#48! 0:7J/#.48!,!4,.07!085J7#9:8!1472,,#89,8!7!,!8,.,7,48!/0!,,!70,,#/,/8!,!1472,7! 2039,,#/,/08! ,.489:2-7,/,8! ,! /,7! :3,!#25479,3.#,! #32038,! ,! ,,8! .:089#4308! /0!5,,,-7,89! ,! ,,8! 1O72:,,89! ,! ,,8! ,-897,..#43089! ,!,,8!/0/:..#4308;;;!<=3! ;:08974! .#0,49! 54/7E! 807;! !074! 03! ,,!9#077,;;;!<ABF0,20!03!5,C!.43!9:!9#077,D!;;;! /42#3,-,3! 03! 0,,,9! .#07948! ,#-748! 2:7!,-897,.9489! ,,0348! /0! /01#3#.#4308! 1472:,#89,8!!,,E4! ,8J! .424! :3,! 0850.#0! /0! 08.4,E89#.,!0F97,;,8,/,!/0!8#E,4!!;!;;;! 8:8! 708:,9,/489! 5070:/#.#,,J8#2489! 5:0/03!.43/038,780! 1:3/,2039,,20390!.43!08948!/48!,/009#;48G%&IJ$-IL%-$%0%NLONPN% #N $,!!

! "894&! .43;03.+/4! /0! 6:0! :3,! 00.9:7,! ,9039,! /00! .0E8+.4! /0! ',4!50770+7,6!!O#$.,';$;,'7898:;<6!8+=:0!8+03/4!/0!04!2E8!+0:2+3,/47?!5072+90!,/;079+7!0774708!.0,;08!/0!50,390,2+03948! 97,38+9,/48!547!/46:+07!5,7,!0,8!.:089+4308!/0!0,!00,2,/,!#,4O3!!7E.9+.,D!E8J!5,7,!0,!.43902547E30,!7209,;%047J,! /00! H070.I46! 03! 0,8! 2,307,8! .424! 08,8! .:089+4308! 0,8!00:.+/,3! 8:8! ,:94708! ,.9:,008! 70342-7,/48! &! 8:8! 2,7,;+00,/48!.42039,7+89,8! /0! /+89+3948! 5,J808D! !"2500,7F! 0,! 0L5708+O3! %047J,' /0&'*070.+4!5,7,!80N,0,7!84-70!94/4!08,!/+8.+50+3,!0850.J1$.,6!0894!08N!34!0,!/4.97+3,! O:7J/+.,! 574108+43,0! 03! =0307,06! 8+34! 57+3.+5,020390! ,6:00048!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!"#(!%,90/7E9,.4! /0! /,! &3,;078,/,/! /0! %489,! #,.,5! !!! ! 0"5"$,-,"2()2,*+".42. //. 0$,-,(*.0".4".7. . //..037*6:0"$,-,(:.7",.".7..

!5! %,7/48!',7! 80770,7,9!4O)*.,. ;*;,. 78/,59,.*O3. 57E.9*.,. <. /*/E.9*.,=! ",-70;5;!'8(9!<4203,>0! /0! /,!%E2,7,!/0!#05708039,3908!/0!/,!#05@-/,.,! 7,039,/!/0/!&7:C:,D9!;4/5!E'9!F4390;,/049!GHIJ!K47,C5;!GHGLM5! 'F,80! 9,2-,F3! 8:;! >47,+. 5,7,. *390+0.9:,+089! <4203,>05559! ;4/5! EEE! K47,C5! GLLHM;!0855K0.,,/20390M! OF47,/! /0! ,-4C,/48P! K555! QR! 885M9! O%0O7,.48! D! 57E.9,.48P! K555! GQQ! 885M9! OU.9,9:/!V,.,,!/48!8,8902,8!D!,.9,9:/!247,/!03!C0307,/P!K555!!LL!885M5!!!!!W,8!.:,974!.,9,8!,3,.,,/08!5079030.03!9!70850.9,;,203909! ,;!>47,+"""9! 55! IHX! YV07,3C9!@742,8. <. ;07,8. 03. +,. A:7*857:/03.*,9! Z:0348!U,7089!GHR[9!!,790!EEE!KO]3!0/!.,0/4!/0!/48!.43.05948!>:7J/,.48P;!J!JMX!'8!"7015K0703.,,M.*317,!35K49,M!!J(X!'8!!"7015!35!!L(5!

Page 2: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! !!

209,Q089:/+48! ,0! 70850.94! 7.424! 0848! 6:0! 5:-0+.,36! 5D! 0OD6! *4*,! &!#0.+989+047$0D(!! E:36:0! .+7.:0,3! 94/,;J,! 048! 342-708! /0! ,0=:348! 70.434.+/48!,:94708!/0!089:/+48!/43/0!048!7,443,2+03948!O:7J/+.48!34!80!5708039,3!03! 1472,8! +/0,0+4,/,8! 7SI07+3=6! T,39474U+.46! #,/-7:.I6! T008036!V402086! W00U00&36! 57,3X6! Y,7/4846! #4886! "3=+8.I6! !07002,3! !I,89,!89Z[;6! '+0IU0=6! V,796! "88076! %,700046! Y,77+O6! \,7J6! 09.D];6! 8:8!4-807;,.+4308! -E8+.,8! 843! 8+250020390! /08.434.+/,86! 4! 03! 94/4! .,84!.,00,/,86!547!048!0LE20308!/0!24/,!5,7,!0,!2,907+,?!,8+2+824!6:0/,3!57:/039020390! 2,7=+3,/486! ,IJ6! 1:3/,2039,008! .434.+2+03948!.43.42+9,3908! 7^0-076! =/03Q#+.I,7/86! E7340/6! $90;038436! a0+=076!^+99=03890+37bb;c^,+82,336! d07=07QW:.X2,336! !40,3&+6! E0-0796!%45+98.I6! d4:7/+0:QYI,2-470/43Q!,8807436! ".46! 09.D;! 84-70! .O24!1:3.+43,3! 3472,020390! 048! /+8.:7848! /43/0! 9,0! e#,4O3f! 08! 5:089,! 03!57E.9$.,D!"848!0LE20308!/0-+07,3!807;+7!/0!,39J/4946! 9,394!2E8!,I47,6!5074DDD!! ',7+,8!5:39:,0+4,.+4308!.0,;08!/0!',4!50770+7,!5072+903!,507.+-+7806!&!I,89,!-,89,390! 1E.+020390! 78+! 1:0803!942,/,8!03!.:039,;6!/0!6:0! 0,8!47+039,.+4308! -+03! .000-7,/,8! ,.9:,020390! 03! 08,! %047J,! .431472,3!497,! 3:97+/,! e1E-7+.,! /0! 8:0N48f! 78947/90&&$3#;?! 8O04! 6:06! 03! ;04! /0! 0,8!+2E=0308!I400&U44/+,3,86!8:8!08.,5+8248!5745+48!;+0303!.431472,/48!547!:3,8!70/08!/0!.43.059:,.+4308!,.,/F2+.,8!#042097$89,8D!#0942,7F!0,8! +/0,8! .0397,008! 50,390,/,8! 03! :348! .,5J9:048! /0! /+.I,! 4-7,! 8:&,6!5,7,! /089,.,7! .O24! 000,86! ,:36:0! ,IJ! 8:! ,:947! 34! 80! 701+070!0850.J1+.,20390! 78,0;4! 2:&! /0! 5,84;! ,0! /070.I46! 000;,3! ,! ,/;079+7!.431:8+4308!-E8+.,8!84-70!0,8!.:,008!843!e.43897:+/,8f!0,8!9047+4,.+4308!+/0,0+89,8!,.07.,!/00!5038,2+0394!O:7J/+.4D!%!"'':!'!# >#?@?'9:''?B'C:##:D#?''

!! 940! 90259,9#43! #8! 94! 8:7703/07! 940! ;#9,,! ,4E#.!H4#.4! 4,8! ,.9:,,,7! 7#0,/0/! 940! .43.,:8#43! ,3/! 94!8:-89#9:90!147!#9!14728!41!8500.4!H4#.4!,70!7#E474:8!#3! ,550,7,3.0! ,3/! H4#.4! E#;0! ,3! #,,:8#43! 41!.079#9:/0["..

!! e$07J,!:3!089:/+4!/0!0,!2,307,!.424!048!I42-708!5+038,36!/+8.:9036!,.+079,3! 4! 80! 06:+;4.,3! !84-70! 94/46! /0! 0,8! 2,307,8! .424! 80!""&b' YEi!! 5074! /0' +0.+4N! :3! ,3E0+8+8! /0! 0,8! .431:8+4308! 2E8!.42:3086!/0!048!5,7,04=+8248!2E8!170.:03908!03!0,!57E.9+.,6!9,008!.424!$ i6! 34! 9,008! .424! 807J,3! 8+! 048! 574.0848! 58+.40O=+.48! 1:07,3!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!J5! 'F,809! 547! 94/489! 0/! .,5,9,/! 089:/,4! /0! W/0`0//D3;! OU! #0,/,89,.! Y:7,857:/03.0! a! %V0! b0c9! $905P9!"4+:2-*,.4,C.#0;*0C9!JL!KGHJLM5!!!!!e08/0!/:0C49!-,03!2070.07J,3!0850.,,/!.438,/07,.,O3!9,2-,F3!,:94708! 94/,;J,! 2E8! 4/;,/,/48;! 550>59! 03970! /48! ,/02,3089! 80N,/,/,20390! ]73895! 8:.V8! D!g,/V0/2!$.V0:07/09!4!/,!8,3C:/,7J8,2,!,3;089,C,.,O3!025J7,.,!/0!#Q/,C07!W,:92,33!KA:E9*E.F./*0.$9*++0.!0C,+99!GHR!M5! "b4! /08.434.,/49! 03! 0/! 20/,4! >:7J/,.4! ,/02E39! 08! Z073/! #Q9V078X! 50749! /08/0! /:0C49! 8:8!97,-,>48!843!34!20348!8,/03.,,/48!a09.54:7..,:80Ha!03!/,!./E8,.,!>09$4/03+0$70!/0!W,7037!6:0!547!5,790!/0!U/0cD5(!

[5! e0`0D9!OW4C,.,/!F09V4/!,3/!W,`P9!"4730++.4,C.":,7907+<jGL!KGH![M;!![5!

Page 3: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! J!

8:507543+-008!,! 8:8!086:02,8!'"#dEW"$! !03!3:08974!.,846!,!/+8.:7848!/0! 0,! /4=2E9+.,! O:7J/+.,! 574108+43,06! &!20348! 6:0!20348! ,! 048! /0! 0,8!7209,;9047+4,.+4308! +/0,0+89,8! 84-70! 08,! 2,907+,(D! 7DDD;! e"89:/+4! /0! 0,!0O=+.,!VEdb%&EW!/0!.+07948!574108+43,008!7H+/0749!I,-0,-,!/0!j+/+49+8248!247,008k6!03!048!574108+43,008!/0!0,8!/+;078,8!,7908?!08948!49748!!,8J!048!/00!5038,2+0394!O:7J/+.4(!807J,3!048!$/$49$8248'&O#$.48;f!!03!3:08974!.,84N!048! /0! 0,! /4=2E9+.,! O:7J/+.,! .477+03906! 5074! 34! 20348!!".:,3/4! 34!2E8l!!048!8:&48!5745$48!03!0,8!,574L+2,.+4308!/42+3,3908!5,7,!I,.07!%047J,! /00!H070.I4(D! !W(48! 6:0! .43;+030! ,3,0+4,76! ,:3! .:,3/4!34!80,3!9,0! ;04! 9,3! +390708,3908! !5,7,! :3,8! 0O=+.,8! +0:8+43+89,8(6! 843! 048!841+82,8!#"EW"$fZD!! %,&!47+039,.+O3!34!80!.438+0390!3+3=:3,!;+8+O3!+/0,0+4,/,!84-70!8:8!4-O0948! /0! +3;089+=,.+O3D! Y43! 70850.94! ,0! 5038,2+0394! O:7J/+.46! 0004!+250+.,! 942,7! :-+.,.+O3! 03! 0,8! ,39J54/,8! /0! ,5574,.+8! .424! 048!/42+3,/4708! 03! 0,! ,.9:,0! %047J,! /00! H070.I4! 7#,U086! V,-072,86!HU47X+3cE00L&cE,73+4cE9+034,6! E0.I4:77O3Qd:0&=+36! i+346! 5077,O40+6!S,X4-86!09.D6!.:,0086:+07,!e.43897:.9+;+8248fm;D!E/;07903.+,8!.424!08,8!/0!',4!50770+7,!5745+.+,3!6:06!8+!843!80=:+/,8!1+720203906!0,!2+7,/,!80!/+7+O,! ,! /08Q;00,7! .:089+4308! /0.+8+;,8! /0! 048! /+8.:7848! /00! /070.I4! $3';$;46!03!;04!/0!.43.0397,780!84-70!.O24!54/7J,3!7,.,84;!/+8.:77+7!:348!7,443,/4708!O:7J/+.48!+/0,008D%%%%%%%%!"''E&:$%D H:$'9:'!?!?I#?$'J'E&:$%D H:$'9:'K:EK ''! !eDDD! 048! I42-708! 9+030! 903/03.+,! DDD! ,! 942,7! 0,8! 5,0,-7,8! 547!.:089+4308! /0! I0.I4! 949,0! 4! 5,7.+,020390D! 7DDD;! !H(0-0248! I,.07! 04!8+=:+0390N! 570=:39,7348! 8$' &48' 6:0' /$8.:903' ,/2$903' 4' 34' &48'2$8248'+0.+48D! 7DDD;! !"(890! 97,-,O4! 2039,0N! .:,3/4! 80! /+8.:90! :3,! .:089+O3!.:,06:+07,6!,;07+=:,7!8$'+,/'/$10703.$,'03970'&48'+0.+48'6:0'80',/2$9036!80,!03!.:,394!,!0,!0L+8903.+,!/0!048!I0.I486!80,!03!.:,394!,!0,!2,307,!.424!4.:77,3D! 7DDD;!\E8!/+1J.+0! 80!I,.0! 94/,;J,! 0,!/09072+3,.+O3! 6! 8+!80!9+030!03!.:039,!6:0!:3!2+824!50,390,2+03946!6:0!:3,!2+82,!1O72:0,!;07-,06!5:0/0!807!.:089+O3!/0!5,0,-7,8!4!/0!I0.I486!80=n3!.O246!03!6:F!8039+/4!&!.43!6:F!+3903.+O3!80!0,!/+8.:9,D!! 7DDD;!W48!:348!,/2+903!9,008!I0.I486! 048!49748!,/2+903!9,008!I0.I48D!"848!I0.I48!o843!048!2+82486!949,020390p!"3943.08!34!I,&! .:089+O3! /0!I0.I4?!6:0/,6! 8+2500203906!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!Q5! '8;!GQ9!GR9!GJ!X!.:785K,;,8M!/0/!,:9479!/,8!;0785K,/,9,8M!20!5079030.03!K]5!5<5M5!I5! U.07.,! /0! 0848! ,:947085a! ! $4-70! #,`/8;! O]/! 0c97,907708970! 7,.,4.,3,390P9;! #%8e! KCCC"791/"08M! G!j!LLH9! 555! !JJj!IRX! 70.4C,/4! 03! J3970. 90.34.7,9,8"""! "7015! ! 35! G!(9! .,55! '5! $4-70! <,-072,8;!O]897,90C,,8!/0/!k`,8V1:/! 9V,3l,3Cm!03!:3,!24/073,!$,39,!8,2,/,,P9! !#0;*89,./0."*03.*,8"$4.*,+08.K&3,;078,/,/! /0! %489,! #,.,M9! bS! RJjR[! KGHHIM9! 555! G[QjGQR! K0855! GQL! 885M!!"$995K//CCC"70;*89,.*03.*,884.*,+08":.7",.".7/0897,90)*,8L/0+LC*8$1:+L9$*3M*3)L03L:3,L24/073,L8,39,L1,2*+*,L84-70L$,-072,8L7,C+8L09.L/0L+,L.43.05.*43L2*8*4307,L03L+,8L.*03.*,8L84.*,+08/(X! ! 70.4C,/4!03! J3970. 90.3O.7,9,8"""9! .,55! '5I5! $4-70! e`47l,3;! O]/! k-/:11m! e`47l,3P9!"7*907*4. A:7J/*.4! bS! H!K!LLHjGM9! 555! GQQj!Qo!"$995K//70;*89,8"O,;07*,3,.,+*"0/:".4/*3/0P"5$5/.7*907*4O:7*/*.4/,79*.+0/;*0C/QRS/TTUV(5! $4-70! U/0cD;!O%047,7,.,O3!.43897:.9,;,89,5555P! "7015!35!Jo(X!0!*317,!35!!!5!$4-70!U9,037,;!&3./0-,90"""."7015!35!GL(5!$4-70!8077,>4/,;!*317,!35!!J5!$4-70!Y,l4-8;!$,/,89!Ob,!#4c,3!3,!Y,l4-8;!p30.08,9,!/,!/4C2E9,.,!>:7J/,.,!4974! 70507947,4! 2E8! /0! 1O72:/,8! ;,.J,8q9! X4P,jJo! ! K!LGQM9! 555! J[RjJRJ! K0855! JQR! 885M5! $4-70!O.43897:.9,;,824P;!.*317,!35!Jo5!!

Page 4: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! [!

:3,!.:089+O3!84-70!00!8+=3+1+.,/4!/00!9F72+34D!oi4!843!048!2+82486!949,0!4!5,7.+,020390p!"3943.08!I,&!.:089+O3!/0!I0.I48?!5074!;0,248!94/,;J,!!8+! ,/02E8! 34! I,&! ,0=:3,! .:089+O3! /0! 5,0,-7,8! 8:5075:089,! 4!.431:3/+/,N!,n3!03!0890!80=:3/4!.,846!3:08974!0L,203!348!807E!2:&!n9+0!5,7,!805,7,7!04!6:0!80,!/0!I0.I4!&!04!6:0!80,!/0!5,0,-7,8fqD!! !e!4/0248! /+8.:9+7! j8+! !0/74! 08! -:034k6! 5476:0! +=347,248! 04! 6:0!8+0390! !0/74! &! 04! 6:0! I,.0?! 54/0248! /+8.:9+7! j8+! !0/74! 08! -:034k6!8,-+03/4!.O24!8+0390!&!.O24!4-7,6!!0/746!5074!34!8,-+03/4!8+!08,!.0,80!/0! ,.948! 4! /0! 8039+2+03948! /0-03! 4! 34! .,0+1+.,780! /0! -:0348D! W,!1472:0,.+O3! ;07-,0! 08! 0,! 2+82,?! 0,! 3,9:7,004,! /0! 0,! 4! 0,8! .:089+4308!/+8.:9+/,86! 086! 8+3! 02-,7=46! /+1070390D! !4/0248! /+8.:9+7! 84-70! 8+! 9,0!.:0754!6:J2+.4!08!4!34!:3!209,06!!547!+=347,7!8:8!5745+0/,/086!089,3/4!/0! ,.:07/4! 84-70! 000,86! 5074! /:/,3/4! 84-70! 8+! .43;+030! 4! 346! /,/,8!08,8!5745+0/,/086!00,2,700!209,0D!7Y424!8:.0/+O6!03!.+079,!F54.,6!.43!00!I+/7O=034D;f[D(!! i4! /+89+3=:+7! 03970! .:089+O3! /0! 5,0,-7,8! &! .:089+O3! /0! I0.I486! ,0!0L,2+3,7! /+8.:7848! 84-70! 0,8! 700,.+4308! I:2,3,86! 5742:0;0! 6:0! 80,!5,8,/,! 547! ,094! 0,! 1:3/,2039,0! /+10703.+,! 03970N! ,!! H09030780! ,!0L,2+3,7! 840,203906! 4! 2:&! 54.4! 203486! 6:F! HbY"i! 7$0006! .+07948!8+=3+1+.,/48! ,/O:/+.,/48! ,;! 0848! /+8.:7848?! 4! 80,6! .439039,780! .43!57089,7! ,903.+O3! ,!,850.948!/0!8:! 0097,!:!4170.07! .+079,8!5,7E17,8+8!/0!089,!4!5708039,7!:3,8!+310703.+,8!+39075709,9+;,8D!-!!E903/07!,!6:F!!E$E!.43!0848!.43903+/48!/0!8+=3+1+.,.+O3!7,;!03!0,8!57E.9$.,8'84.+,008N!.O24!,.91,3! 8:8! 04.:94708! I,-+9:,008! &! 8:8! /089+3,9,7+48! 70,0086! ,0! 807!+3;4.,/,8!9,008!1472:0,.+4308!75,0,-7,8;?!4!80,6!1+O,780!03!.+07948!+0.+48!/0!048!.:,008!/0503/03!/0.+8+;,20390!0,8!57E.9+.,8!03!.:089+O3D!!! !:0894!03!9F72+348!/0!/48!.434.+/,8!.,90=47J,8!,3,0J9+.,8N!:3,!.48,!08!570=:39,7!547!.:089+4308!/0!0,!802E39$.,!75,0,-7,8;!/0!9,008!4!.:,008!/+8.:7848! 9047F9+.48! /0! 0,! #,4O3! 57E.9+.,6! 497,! .48,! 08! 570=:39,7! 547!.:,0086:+07,!57,#2E9$.,8!0+3=QJ89+.,8!7"I0.I48l;!.47708543/+03908!,!0848!/+8.:7848D! $+=3+1+.,6! ,8+2+8246! +3/,=,7! 547! 0,8! 700,.+4308! 03970!/09072+3,/48! eO:0=48!/0! &03#:,20f!&!:3,8!.47708543/+03908! e1472,8!/0!;$/,f!7^+99=03890+3;D!!! !!47!8:5:08946!34!1,09,3!.,848!/43/0!0,!0L+8903.+,!/0!:348!eI0.I48f!80! 5708039,! .424! /:/48,6! 08! /+8.:9+/,D! W,8! 5:39:,0+4,.+4308! /00!57080390! 3:207,06! ,0! ,-4=,7! 547! /+89+3=:+7! -+03! 03970! 048! 8:84/+.I48!9+548! /0! e.:089+4308f6! 0850.+,020390! ,5:39,3! ,!+0.+48! 34! 5:08948! 03!/:/,9D(!! "8! 548+-006! &! I,89,! 5:0/0! 807! I,-+9:,06! 6:0! /09072+3,/48!.43903+/48!802E39+.48!!,8J!9,2-+F3!0,!03:3.+,.+O3!/0!:3,8!70=0,8!/0!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!R5! '8;!R[9!RQ9!RI9!o!9!oQ5!o5! '8;!o!5!! !!H5! !,7,! ,3,/,7,7! 6:F! 80! 039,03/,! 03! C0307,/! 547! OV0.V48P9! ;F,80;! 87,3l9!X070.$4. 0. *3.079*/:2-70!"r,25708.,3/,-/0s(9!Z:0348!U,7089!GHIoX!<,-,9!!448.O:*.*48./0.;,+47".J+0203948.-E8*.48./0.8P*4+4)J,.!0307,+9!]/,947,,/!&%#9!$,3!Y48F!K%489,!#,.,M9!!LGL!K0/5!.4775!D!,25/,,/,M9!t!GJIX!E/5!K0c,203!2:D!/09,//,/4M9!Op":F!08!k70,/,/,/m!>:7J/,.,q!e0!.O24!,570V03/07/,!03!.:,394!,!/48!/,8.:7848!>:7J/,.48P9!#%8e!KCCC"791/"08M9!bS!Goj!LGQ9!555!IRjGJL5!!

Page 5: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! Q!

.43/:.9,!:!497,8!.43.059:,.+4308!,0!70850.94!!80!.47708543/,3!.436!4!6:0!+3.0:8+;0!+3/:4.,3!,6!0,!574/:..+O3!/0!I0.I48!-,89,390!8+2+0,708!,!04!/08.7+94!03!0848!.43903+/48D!!:0/0!807!,8J!4!34!80704D!":0!04!80,6!03!.:,394!,!9,008!4!.:,008!.43903+/48!/0!03:3.+,/486!34!08!,0=4!6:0!5:0/,!8+250020390!/,780!547!/08.439,/4N!8,0;4!5,7,!4-;+0/,/086!089E!8:O094!,!.42574-,.+4308!!;07+1+.,.+43086! 1,08,.+4308!!025J7$.,86!34!-,89,!.43!0L,2+3,7!8$#3$1$.,/48!/0!:348!.43O:3948!/0!5,0,-7,8D!!!! W48! 089:/+48! 03! %047J,! /00!H070.I4!8:0003!.431+3,780!,! .438+/07,7!,850.948! 6:0! 80! 5708039,36! 4! 5:0/,3! 000=,7! ,! 5708039,780! 4! 80!70.42+03/,! 5708039,76! 03! .+07948! 80.94708! 802E39$.48! /0! 03:3.+,/48!O:7J/+.486! &,! 80,3! 08948! :348! 570.05948! 41+.+,008! 4! 574548+.+4308!/4.97+3,7+,8D!E0!5,70.076! 8:8!,:94708!570Q8:54303!00! b$ \ #5b$\ 6! "8+3!2E8l! 74! ,0! 20348! .424! 04! I,-+9:,0;6! 03970! 802E39+.,! &! 57,=2E9+.,!/+8.:78+;4QO:7J/+.,8D! $+=3+1+.,! 6:0! 547! 04! =0307,0!-,89,7J,! 03907,780!/0!.:,394!80!/$.0!03!0848!089:/+486!5,7,!,8+2+824!.434.07!-,89,390!-+03!7,0! 20348! 03! 04! 57+3.+5,0;! .O24! 574.0/03! 048! 5745+48! 4507,/4708! /00!/070.I4!5,7,!/0.+/+7!&!8,-07!6:F!8:07908!/0!.4380.:03.+,8!010.9+;,8!0004!9+030!I,-+9:,020390!03! 0,8!;$/,8!2+82,8!/0! 048!/089+3,9,7+48!/0!089,8!,.9:,.+4308D! W,! .43;+..+O3! -E8+.,! /0! 08,8! 9047+4,.+4308! ;+030! ,! 8076!5:08N! "9,008!5,&,-7,8! 7O:7J/+.,8;!"! 9,008!+0.+48! 7+3/+;+/:,0086! 84.+,008;l!!!! ! ',! /0! 8:&4! 6:0! 08948! 90O7+.48! 34! 03:3.+,3! /0! 24/4! 0L57084!8020O,390!908+86!8+250020390!I,.03!,!:3!0,/4!00!,8:394D!! W,!+3Q/+89+3.+O3!03!6:0!=0307,020390!0,8!00:.+/,.+4308!/0!%047J,!/00!H070.I4! /0O,3! 00! i "+842471+824! 03970! ,2-48! 3+;0008! /0! .:089+43086!0,34,!1:07,!/0!14.4!0,8!.43/+.+4308!5745+,20390!025J7$.,8'/00!/070.I4D!Y43/:.0! ,! 97,9,704! .424'8$! ,IJ! 34! 0397,803! ,! O:=,7! 9,2-+F36!2:.I,8!;0.08! 08! 84-70! 94/46! ;,7+,/48! 1,.94708! 2:&! /0.+8+;48! 6:0! 3 ! 843!e/42+3,/48f! 547! 0,8! 7,54308! O:7J/+.4Q802E39+.,8! 0LI+-+/,8N! e.00,/,8f!/+8.:78+;,86!2039,0+/,/08!70,008!/0!048!4507,/47086!.43/+.+4308!84.+,008!.,:8,0Q010.9+;,86! .4380.:03.+,8! 57E.9+.,8! e;+9,008f6! &! /02E8D! W,8!5:39:,0+4,.+4308! /0! 6:0!80!4.:5,3! 048! 089:/+48!03.077,/48!03! 9047J,8!3472,9+;4Q+/0,0+89,8!I,.03! ,-897,..+O3! /0! 94/4! 084D! $0! .439039,3! .43!,-4.,780! 0L.0:8+;,203906! 4! 03! 94/4! .,84! 2:&! 57+3.+5,0203906! ,!/08203:4,7! 9,008!4!.:,008!000203948!.43.059:,008!/0!:348!7,.+4.+3+48!$/0,&086!.43!;+89,8!,!048!/080250N48!/0!O:7+89,8!$/0,&08D!!! "3! 0,8! 2,307,8! .O24! 08,8! 9047+4,.+4308! 5708039,3! 0,8! .:089+4308!O:7J/+.,86! 80! /08;,30.0! 0,! /+10703.+,! 03970! /+.I48! +/0,008! !.+07948!039700,4,2+03948! /0! .43.059:,.+4308! 5745:089,8!! &! 0,8! 70,0+/,/08!5079+303908D!":0/,3!805:09,/,86!97,8!9,&08!-,2-,0+3,86!570=:39,8!.424!0,8!8+=:+03908!!703970!497,8!.48,8;N!!

!! o.:E008! 843! 048! 1,.94708! 70,&20390! /0.+8+;48! 03! 048! 5038,2+03948!70,008! /0! 048! O:7+89,8! 70,0086! 5,7,! 70840;07! 9,008! 4! .:,008! 9+548! /0!.,8486! 03! 8:8!5745$,8! .43/+.+4308! /0! 0:=,7Q9+0254p! 703! 0890! 7:-74!0397,3!9,2-+F36! ".I+.,!.48,l6!000203948!9,3!/09072+3,3908!.424!00!1+O,780!03N!.43/+.+4308!/0!/08+=3,.+O3!/0!048!4507,/47086!I,-+9:,008!;+.+48! /0! 7,443,2+0394! 574;03+03908! /0! 0,! 0380N,34,! 574108+43,0!

Page 6: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! I!

70.+-+/,!547!089488:6!.,39+/,/!0L,=07,/,!/0!.,848!.431+,/48!,!.,/,!4507,/47!&! 048! 0397,-,2+03948!-:74.7E9+.48!,!6:0!F0!089E!84209+/4!,00J6!09.D;?!

!! o6:F! .4380.:03.+,8! 57E.9+.,8! 010.9$;,8! 9+0303! 9,008! 70840:.+4308!84-70! 048! /089+3,9,7+48! &6! 03! 8:! .,846! 84-70! 80.94708! 84.+,008!.43.073+/48p!

!!! o,! 6:F! e5708+4308f! 089E3! 84209$/48! 0848! 4507,/4708p! 7&,! 80,! 0,8!+39073,8!/00!5745+4!!4/07!S:/+.+,0!4!0,8!/0!497,8!+389,3.+,8!089,9,008!4! 574;03+03908! /0! :3,8! 700,.+4308! 507843,008! 8:&,8! 4! 0,8! /0! 0,!45+3+O3!5n-0+.,!000=,/4!00!.,846!09.D;D!

! W48! 7,443,2+03948! O:7J/+.48! 70,008!34!4507,3!03!:3,! e-:7-:O,f!/0!e7,.+43,0+/,/08f! +32,303908D! E! 203:/46! &! 2E8! 6:0! 2E8! 03! 0,8!.:089+4308! /+8.:9+/,8! 03970! 048! 5745+48! O:7+89,86! 0848! 7,443,2+03948!089E3! .431472,/48! 547! :3,8! ;,7+,/J8+2,8! 2,70,8! /0! +3907,..+4308!03970!94/4!4!-:03,!5,790!/0!0,8!8+=:+03908!0850.+08!/0!.42543039086!34!54.4!I09074=F3048N!! ",!#39075709,.#O3!0:7J/#.,!08!:3,!20C.4,,3C,!N3/$842:-20!/0!0,0203948!90O7#.48!7!57E.9#.489!

.4E348.#9#;48!7!.70,9#;489!70574/:.9#;48!7!574/:.9#;489!.#039J1#.48!7!8:57,.#039J1#.489!4-009#;48!7!8:-009#;4888!!

! H+.I,8! 9047+4,.+4308! 80! .4389+9:&036! ,0! 1+3! /0! .:039,86! 03! :3,8!8:07908! /0! e.+7:=J,! 089F9+.,f! 7YI7+89+,3!Y4:79+8;DDD!54:7' &,' #,&F7$0' 6! !&3!00020394! .0,;0! !,:36:0! I,&! 49748! +25479,39J8+248! .4,/&:;,3908!9,2-+F3!!.1D!0,!.+9,!/0!#,/-7:.I(!!03!048!/0850+0=:08!/0!9,008!e.+7:=J,8f!086!O:89,203906!,-89030780!/0!50,390,7!0,!/+10703.+,!03970!.:089+4308!/0!5,&,-7,8! &! .:089+4308! /0!+0.+48D! "3943.08! 6:0/,! +32:3+4,/,6! .4397,!.:,06:+07!4-O0.+O3!/0!47/03!025J7$.46! 0,!;,0+/04!!.438:-89,3.+,020390!7,.+4Q08909+.+89,! 7+:8Q04=+.+8246! +:8Qe.43897:..+4308f6! .70/48! /0! +:8Qe8+8902,f;!! /0! 0848! /+8.:7848! +/0,008?! ,8+2+8246! 00! 0L,203! /0! 048!/+8.:7848! O:/+.+,008! 80! /080+=,! /0! 0,8! .4380.:03.+,8! /0! e;+/,f!,.,770,/,8!547!08948D!!! $+!-+03!80!2+7,6!00!8:84/+.I4!+847241+824!.424!570.43.05.+O3!-E8+.,!!!&! 00! .47708543/+0390! 7,.+4Q08909+.+824! /0! 08,8! 9047+4,.+43086! 34!.4389+9:&03! ! 8+34!:3,!2,3+1089,.+O3!2E8!/0! 0,! 8+3=:0,7! 1,8.+3,.+O3!6:0!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!GL5!U8J9! 0/! O$J3/7420! 3472,9,;,89,P;! ;F,80! <,-,9! >094/4+4)J,. O:7J/*.,. *770;070390". J+0203948. /0.5741*+,P*8.5,7,.03.,7,7. +48./*8.:7848. O:7J/*.48.907703,+08."7015;!>094/4+4)J,"""(9!eDl,38439!F,/7,/9!!LLI9!$0.5!%5EE5J!K!QH!885M!";078,O3!2:D!,25/,,/,9!J!94248!K/48!,2570848!v!:34!03!!%eM;!>094/4+4)J,.770,+*89,=./0+.X070.$4"."+,;08.5,7,.0+.7,E43,2*0394.O:7J/*.4./0.;*8*O3.84.*,+.57E.9*.,9!]/,947,,/!&%#9!$,3!Y48F!K%5#5M9!!LG!(X!4!.15!E/5!K%447/5M9!&3./0-,90.84-70.+,8.9047J,8./0.+,.,7):2039,.*O3.O:7J/*.,9!!,/0897,j%02,89!W,2,jZ4C49E9!!LG[9!0855!555![H!885!",3908;!X4P,jJJ!K!LGLM9!555!JGH!889!0855!JJ[!885(5!!!!]3!.,2-,49!:3,!!+,9,1472,.,39*L$J3/7420!/0!OV,C,03,7,.,O3P!,3,/J9,.4j70,/,89,!">094/4+4)J,""";!$0.5!%5EEE5G!K!RI!885M(!5430!84-70!0/!9,5090!0/0203948!/0!>:,.,4!KO.0/,/,8P!/,8.:78,;,8M!ar/0.,8,;48!03!2:.V48! 7,743,2,03948! >:7J/,.48!.477,03908sa!/0! /48!.:,/08! /,8! 9047,7,.,4308! ,:8,/0,/,89,8!,5,79,3! /,!2,7,/,5!!!!!

GG5!b4!5:0/4!.,38,720!/0!97,9,7!/0!/,7,C,7!/,!,903.,O3!V,.,,!08,!,38:507,-/0!.,7,.907,7,.,O3!1:3/,2039,/;!#,/-7:.V9!#0.$985$*+4845$*09!0/5!GHJ[!KD!700/85M9!!V!GQ5J!"30C75K,9,8M!]5!5<5(5.!

Page 7: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! R!

0O07.0!0,!1,&,.$,'$390&0.9:,&$89,!7e+390000.9:,0+89!,88:259+43f!c!e+390000.9:,0!1,00,.&f!c!e7,9+43,0+89!1,00,.&f;!03!0,8!.+03.+,8!84.+,0088<D!!

sss!! !47! .+07946! ',4! 50770+7,! 34! /0OO! /0! 010.9:,7! 9,2-+F3! 0,! ,9+3,/,!8,0;0/,/! 8+=:+0390N! eEI47,6! 34! 80! ,5708:703! :890/08! ,! 8,.,7! /0! ,6:J!.424! .4380.:03.+,! 0,! /0! 6:0! 0,8! .:089+4308! /0! 5,0,-7,8! 80,3!.425009,20390! 089F7+0086! +3n9+008! 4! ;,3,8D! W,8! .:089+4308! /0! 5,0,-7,8!5:0/03! !03! .+07948! 9+548! /0! 8+9:,.+4308(! 90307! +25479,3.+,N! 34! 9,3!=7,3/0!.424!0,8!/0!I0.I46!8+3!/:/,6!5074!:3,!+25479,3.+,!548+9+;,f8]D!!! EIJ! F0! 80! 701+070! 84-70! 94/4! ,! 0,! e+25479,3.+,f! $390&0.9:,&6! 0894! 6:0!+25479,!5,7,!:3!,/0.:,/4!.434.$2$0394!/0! 048!5:3948!03!/0-,90D!\,8!,:3!03!0,!57,#2E9$.,!0+3=QJ89+.,6!0,!+25479,3.+,!e2,907+,0f!7547!,8J!/0.+7;!/0! ,/2+9+7! 4! 34! /09072+3,/4! .,0+1+.,9+;46! ,! 5745O8+94! /0! ,0=4! -,89,390!/09072+3,/46!5:0/0!807! 70,020390!034720D!W,!=0390! 80!/0O,! 000;,7!547!e5,0,-7+9,8f!5,7,!942,7!,.9+9:/08!&!O:4=,76!5,7,!I,.07!4!34!I,.07D!!:08!8J6! 0,8! 507843,8! 80! .425479,3! /0! :3,8! :! 497,8! 2,307,8! 03! 1:3.+O3!9,2-+F3!/0!0,!.,0+1+.,.+O3!02500,/,6!80=n3!.:E0!/0!089,8!,/2+903!75D!0OD6!.4380.:03.+,8! /0! 02500,7! 0,! 5,0,-7,! e,808+34f6! .424! 00! ,:947! I,-J,!80N,0,/4!:3!54.4!,39088t;D!\,8!,:3!9,008!.,0+1+.,.+43086!,6:000,8!6:0!/0!;07,8! .4397+-:&03! ,! 4.,8+43,7! 010.948! 57E.9+.48! /+8J2+008!!$0006! 80=n3!.:E&08! 80,3! 000=+/,8! 03970! 0,8! 0+3=QJ89+.,20390! 548+-008! 5,7,! 0,!8+9:,.+O3! .438+/07,/,!6! 34! 80! 708:00;03! 03! ,0=4! ,8J! .424! 0,8!8:84/+.I,8! e-:7-:O,8f! /0! :3,8! 5,:9,8! 802E39$.4Q$/0,&086! 80,3! 089,8!.:,008!1:0703?!708:09,3!/0.+8+;48!9,2-+F36!&!34!54.,8!;0.08!04!843!84-70!94/46!9,008!4!.:,008!,850.948!.0,;08!/0!,6:000,!e204.40,34,!$3/$84&:-&0fD!! E50+.,/4! ,0! 7,443,2+0394! 57E.9$.46! 084! 80N,0,/4! 547! ',4! 50770+7,!000;,! ,! ,-7+7! 048! 4O486! 8+! -+03! 80! 2+7,6! 5,7,! 34! 0.I,7! 03! 8,.4! 7494!!"+3.0:84!.:,3/4!80! 9047+4,l!!,0=4! 9,3!0002039,0! 75074! 9,3!,!203:/4!,5,79,/4! /0! 0,! ;+89,;! .424! 90307! -+03! 57080390! 6:06! 03! .:,394! ,! 048!/+8.:7848! O:7J/+.48N!/0&' /$.+4' ,&' +0.+4000! "3! 048! 089:/+48! /0! %047J,!/00!H070.I46! I4&6! .4389+9:&0! ,3908! -+03! 0,! 0L.05.+O3! 942,7! 03! .:039,!8020O,390!-,3,0+/,/D!

%""''E&:$%D H:$':L!!DE?%D'?$'J'E&:$%D H:$'H #@?%D'?$'%%%%! e!4/7J,248! 00,2,7! ,! 048! 57+20748! 574-&02,8' /0' 8071! 4! 574-&02,8' /0'0*$8903.$,6! 4'574-&02,8'/0' .4389,9,.$O36! 4!574-&02,8'/0'0*5&$.,.$O3?',! 048!80=:3/486! 54/7J,248! 00,2,7048! 574-&02,8' /0' +,.076! 4! /0' ,..$O36! 4!574-&02,8'/0' .43;03$03.$,! 7,! 048!6:0!54/7J,3!,=70=,780! 048!574-&02,8'/0'$/0,&6!700,9+;486!34!&,!,!.O24!/0-03!I,.0780!0,8!.48,86!8+34!,!.O24!807J,!/080,-00! 6:0! 1:07,3;?! 4!-+036! 94/,;J,6!574-&02,8'3472,9$;486! 09.D! 7DDD;! W48!574-002,8! /0! 0L+8903.+,! 4! /0! .4389,9,.+O36! 048! 574-002,8! /0! 8076! 048!574-002,8!84-70!.O24!843!0,8!.48,8!4!84-70!.O24!4.:7703!048!103O203486!9+03036! 90O7+.,20390! ,0! 203486! :3,! 840:.+O3! n3+.,! &! 50710.9,!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!G!5!%15!g,//,89!$:2,3.Y,9:70.*3.!4+*9*.89!GHLo!KV,D!700/,.,4308M5!'F,80!9,2-,F3;!<,-,9!J3970.90.3O.7,9,8.<.C*8$1:+.9$*3M078".4,.;*8*O3.Z2*8*4307,[./0.+,8..*03.*,8.84.*,+089!%42,7089!x7,3,/,9!!LGL5!

GJ5!'8;!!oQ!K.:785!]5!5<5M!G[5!'8;!oG5!!

Page 8: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! o!

78:543+F3/4048! -+03! 50,390,/48! &! 00+2+3,/,8! 0,8! .4250+.,.+4308!84-70!1,09,!/0!8039+/46!06:J;4.48!4!+3,/0.:,.+4308!;07-,0086!09.D;D!!'' 78&' 0*,203' /0' :3,' .:089$O3' 3472,9$;,' .425703/0' 9708' 242039480''!7$207' 24203942' $3;089$#,.$O3' 4' /09072$3,.$O3' /0' 94/4' &4' 6:0' 54/7J,'+,.0780' 4' /080,7803' 0850.$1$.,.$O3' /0' 94/,8' &,8' 84&:.$4308' 6:0' 54/7J,3'942,7800' '$0#:3/4'24203942'089:/$4'/0'&,8';039,2,8'0'$3.43;03$039083'2E8'.4257038$;,203902' /0' &48' -$0308' /' &48' 2,&081' /0' .,/,' :3,' /0' &,8'84&:.$43080' ';1' 907.07'24203942'08.4#$2$03940''<+47,'-$030''83'.,/,':34'/0'0848' 9708'24203948' 5:0/03' .42090780' /$;07848' 0774708' /' 5,7,&4#$8248000'7DDD;! "0! 5,7,04=+824! 086! 03! 8J! 2+8246! 97,9,7! 0,8! .:089+4308! 3472,9+;,8!.424! 8+! /0-+07,3! 147448,20390! 90307! ,0=:3,! 840:.+O3! 8+3!+3.43;03+03908DDD! 03! 0,8! 3472,9+;,86! 0,! 5,0,-7,! j840:.+O3k! 6:+070! /0.+7!497,!.48,?!8+=3+1+.,!4!.425479,!08.4#$2$0394?!&!8404!08!/,/4!08.4=076!03!0,!2,&47!5,790!/0!048!.,848!/0!0,!57E.9+.,6!04!20348!+250710.94f8ZD!!! E:36:0!',4!50770+7,!34!80N,0,!0L5708,20390!,0!/070.I4!.424!,8:394!/0! e.:089+4308! 3472,9+;,8f6! 08! 4-;+4! 6:0! 04! O:7J/+.4! 1472,!5,790! /0! 089,!,250+,! .,90=47J,D! !47! .+07946! 9,2-+F3! 048! O:7+89,8! 039+03/03! 6:0! 8:!0850.+,0+/,/! 574108+43,0! 08! 70840;07! 84-70! 94/4! .:089+4308! /0! e3472,8f6!8:-7,&,3! 6:0! 089,8! 843! /0! 497,! 3,9:7,004,! 6:0! 04! 0L,2+3,/4! 03! 0,8!.+03.+,8! /0! 0,! 3,9:7,004,D!d+03!5:0/0!/0.+7806!5:086!6:0!00048! 70.434.03!03! 57+3.+5+4! 6:0! 8:8! 7,443,2+03948! e9F.3+.48f! 34! .438+8903! 03! 00:.+/,7!0,8! 8:84/+.I,8! .:089+4308! e0L50+.,9+;,8f! 78,0;4! ,..0847+,20390N! 5D! 0OD6!,;07+=:,7! 8+! I,3! 903+/4! 0:=,7! .+07948! I0.I486! 5,7,! 8,-07! 8+! .47708543/0!,50+.,7008!/09072+3,/,8!70=0,8;D!\,8!0,!570=:39,!.0,;0!086!,!080!70850.94N!o0,8! e840:.+4308f! ,! 6:0! 048! 4507,/4708! O:7J/+.48! ,77+-,3! 20/+,390! 0,8!3472,8! .438+/07,/,86! 0,8! 4-9+0303!20/+,390! 7,443,2+03948! 84209+/48! ,!/+89+3=:+7!048!8:84/+.I48!e9708!24203948fp!!! W48! O:7+89,8! 03.,7,3! 00! .434.+2+0394! /00! .43903+/4! +39000.9+;4! /0! 0,8!3472,8! O:7J/+.,8! .424! 8+! 80! 97,9,7,! /0! .4380=:+7! 04.,0+4,7! 3+! 2E8! 3+!20348! 6:0!:3,' 7840,;! 7085:089,! O:7J/+.,! .,5,4!/0!807! 0,!;07/,/07,20390!,.079,/,!5,7,!00!,8:394!03!0L,2036!/08.,79,3/4!94/,!497,!.424!e1,08,f!,0!70850.94D! i4! 80! 97,9,7J,! ,IJ! /0! :3! e08.4=+2+0394f! ! 7"45.+4308lN! 907.07!e2420394f;! -,8,/4! 03! .+0794! e089:/+4! /0! 0,8! ;039,O,8! 0! +3.43;03+03908f!025J7$.48' 70850.9+;48! 7,6:00048! /48! 57+20748! e24203948f;?! 80=n3! 00!5038,2+0394! O:7J/+.4! 3472,06! 8:8! 7085:089,8! 02,3,3! /0! .434.07! :3,8!1+7208!5,:9,8!3472,9+;,8!6:0!843!03'8J'/'547'8JD!"894!34!6:0/,!8:O094!73+!03! 94/4! 3+! 03! 5,790;! ,! 3+3=n3! e089:/+4f! 6:0! 903=,! 0,! J3/400! 5745+,! /0!,6:00048! /48! 57+20748! e24203948f?! 3+! .438+89+7J,! 00! 907.074! 03! :3!e08.4=+2+0394f! 5745+,20390! /+.I4! 7"45.+O3l;6! 8+34! ,3908! -+03! 03! ,0=4! ,8J!.424!:3!2074!/08".:-7$2$0394!/0! 048!8:84/+.I48!.43903+/48!802E39+.486!,570I03/+/48!/0!:3!2:3/4!.43.059:,0!,:9O3424!&!,:948:1+.+0390D!%,008!5,:9,8! ;03/7J,3! 1+O,/,8! 207,20390! 547! 0,! 0097,! /0! /09072+3,/48!570.05948! 0L570848! 089,-00.+/48! 03! 00! /070.I4! 548+9+;4! ,50+.,-00! 4! 547!:348! .7+907+48! /4.97+3,7+48! 04.,0+4,-008! 03! 0,8! 4-7,8! /0! .+07948! ,:94708!+0:2+3,/48!4!547!:3,!.42-+3,.+O3!03970!000203948!/0!O:+.+4!574;03+03908!/0!,2-,8!1:03908!+3/:-+9,-008D!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!GQ5!'8;!HL9!H!9!GLQ9!GLR5!!

Page 9: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! H!

! E! 8:! ;046! 048! 089:/+48! /0! %047J,! /00! H070.I4! 089,7J,3! ,IJ! 5,7,!.4,/&:;,7! 03! 9,&! 8039+/4! O:89,20390N! 8:2+3+897,7! ,0! 4507,/47! O:7J/+.4!:3,8!47+039,.+4308!5,7,!8,-07!.O24!/090.9,7!.43!80=:7+/,/! 74!2:&!54.4!20348;! &,! e840:.+O3f! O:7J/+.,! ,50+.,-006! 8+3! 30.08+/,/! /0! 574.0/07! F0!2+824! ,! 010.9:,7! 08.4#$2$03948' 7&! 20348! 6:0! 20348! 8:-47/+3,7048! ,!,6:00048!/48!57+20748!e24203948f!.424!.43/+.+43,3908;D!u!8+6!547!,.,846!80!70.434.0!6:0!00!4507,/47!O:7J/+.4!903=,!,0=4!5,7,!e08.4=07f6!80!8:5430!6:0! ,:3! 9,008! ,09073,9+;,86! 000,8!2+82,86! ;+030! -+03! /09072$3,/4! 547! 04!089,-00.+/4! 03! 0,8! 8:84/+.I,8! 1:03908! 3472,9+;,86!2EL+20! .:,3/4! 5,7,!I,.0704!80! 9420!00!.:+/,/4!/0!80=:+7! 0,8! +3897:..+4308!/0!.+07948!,:94708!/0!0,!2,907+,!75D!0OD6!,50+.,7!:348!1472:0,7+48!/0!E00L&;D!!

sss!! $+! -+03! 80! 2+7,6! 0848! e24203948f! 80N,0,/48! 547! ',4! 50770+7,! 80!.47708543/03! .43! 00! 97,9,2+0394! /0! 0,8! /+8&:39+;,8! O:7J/+.,8! .424! :3,!90.34&4#J,' 84.$,&! 5745+,20390! 7W00U000&36! #4886! E0-079;N! 7,.+43,0+/,/!$3897:2039,&! 747/03,.+O3! 57E.9+.4Q70,0! /0! 20/+48! 025J7+.,20390!.42574-,/48!.424!-,89,390!574-,-008!5,7,!70,0+4,7! 1+308!08.4=+/48!-+03!/09072+3,/48N! ^0-07;8mD! "894! 08N! 34! ,1,3,780! 547! /0/:.$7! 0,! e840:.+O3f!70850.9+;,! /0! :348! :! 49748! e.+0048f! 7SI07+3=;! /0! .7+907+48! 8:57,025J7+.48!!5D!0OD6! +3107+70,!/0!:348!.,9E04=48!/0!57+3.+5+48!,'57$47$! 7E00L&6!HU47X+36!5077,O40+6! 09.D;!?! 8+34! 97,9,7! 084! .424! .:089+4308! /0! 08.4#07! :3,!7085:089,6! 03970! ;,7+,8! O:7J/+.,20390! 548+-008! 7"94/,8! 000,8l;! ,0! 70850.946!5,7,! 03943.08! 459,7! 03! ,903.+O3! ,! e;039,O,8! 0! +3.43;03+03908f! 57E.9+.48!70,&08!!8:!e9+077,f6!/+7J,!SI07+3=!D!!! !0746!o34!08!6:0!50,390,7!:3!,8:394!.424!2:7J/$.46!,!/+10703.+,!/0!0,8!7085:089,8! 540J9+.,8! &! /0! 048! 08.4=+2+03948! 507843,008! 57+;,/486! 34! /0O,!6:0! 8:8! e840:.+4308f! 6:0/03! 0+-7,/,8! ,! 0,8! 57010703.+,8! 5745$,8! /0!6:+0308! 94203! 4! 70.42+03/03! 08,8! /0.+8+4308p! oi4! 089E! 00! /070.I4!.431472,/4! 547! .43O:3948! /0! 70#&,8! 1+O,/,8! 780,3! 0,8! 6:0! 1:0703;! 5,7,!/0.+/+7! 048! ,8:3948! 50,390,/48! ,8Jp! "0! 5038,2+0394! O:7J/+.4! .438+89+7J,!O:89,20390! 03! 34! /0O,7! 8:8! 7085:089,8! 0+-7,/,8! ,! 08.4#$2$03948! /0! 8:8!04.:94708! ,:947+4,/486! 5:08! 0,8! e840:.+4308f! ,/2+8+-008! ,IJ! 089,7J,3!70897+3=+/,86! &,! 80,! 949,0! 4! ,0! 20348! 5,7.+,020390! 03!2:&! -:03! =7,/46!547!0,!30.08+/,/!/0!,.,9,7!/+.I,8!70=0,86!3+!2E8!3+!20348D!!! E0=4!/0!.+0794!I,&!03!9,0!.7003.+,6!5074DDD!!,7,!6:0!1:07,!5745$,20390!,8J6! 0,8! 70=0,8! 03! .:089+O3!!570.05948! 41+.+,008! &! /4=2E9+.,! 574108+43,06!84-70! 94/4!! 30.08+9,7J,3! 548007! 9,3! ,094! =7,/4! /0! 570.+8+O3! .424! 5,7,!6:0! 8:8! 4507,/4708! .4+3.+/+07,3! $39078:-209$;,20390! ,.07.,! /0! .:E0! 80,!.,/,! e2038,O0f! .43.7094! /0-+/,20390! +3107+-00! 03! 1:3.+O3! /0! ,6:000,86!,390! .,/,!:3,! 74! 03! 94/4!.,84! 0,! +32038,!2,&47J,;!/0! 0,8! .43974;078+,8!O:7J/+.,8!5708039,/,8!,IJD!!! "8!;07/,/!6:0!.43!70850.94!,!+33:207,-008!,8:3948!O:7J/+.48!0L+8903!.438038486! /0! I0.I46! 03! 00! =702+4! O:7J/+.4! /0! .,/,! 5,J86! ,0! 20348!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!GI5!%15!<,-,9!OW,!45.,O3!.,5,9,/!5,7,!/48!7,743,2,03948!>:7J/,.48;!p34;0/,8!/0!.43.05948!4!:3,!90.34/4CJ,!84.,,/qMP9! X4P,jJI! K!LGJM9! 555! QLHjQQR! K0855! V! QM! ";078,O3! 70;,8,/,! 03!$995K//02547*4/4/*70*94".42"-7/\8]J37*6:0^$,-,(5! !708039,.,O3! 700/,-47,/,;!4,. .*03.*,"""! "7015! 35!JR(9!.,585!'EE!D!'EEE5!

Page 10: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! GL!

902547,7+,20390D!!47!084!2+8246!048!5:3948!84-70!048!.:,008!70+3,3!9,008!,.:07/48! 34! 8:0003! 807! .43974;079+/48! 03! 048! 97+-:3,0086! 3+! 089,8!7085:089,8! O:7J/+.,8! 843! 4-O09,/,8! /4.97+3,7+,20390D! !,7,! 0848! 5:39486!.0,74!089E6!34!I,&!548+-+0+/,/!70,0!/0!,50+.,7!e08.4=+2+03948f!547!5,790!/0!048! O:0.086!8+!,.,84!,6:00048! 1:0703!50,390,/48!03!8:!80/0D!i4!I,&! 0:=,7!,IJ!5,7,!6:0!00!O:04!4590!03970!:3,78;!&!497,78;!7085:089,8!O:7J/+.,86!F0!34!5:0/0! !"/0! I0.I4lN! 5708+O3! 84.+,0! &! .431472,.+O3! 2039,0! =702+,0!!/0.+/+7! 03! 1:3.+O3! /0! ,6:00048! e9708! 24203948f! /0! 7,.+43,0+/,/!+3897:2039,0! 704! 2E8! 574-,-00! 08! 6:0! 08948! 3+! 8+6:+07,! ,84203! ,! 8:!.43.+03.+,;D!"3!.,2-+46!5,7,!94/4!,6:0004!6:0!8J!80!/$8.:9,!03970!O:7+89,8!,.07.,! /00! 8+=3+1+.,/4! e;07/,/074f! 4! e.4770.94f! /0! :3,8! /+8548+.+4308!3472,9+;,86! 80,! 03! 0,! /4.97+3,! 4! 03! 048! 5745+48! 97+-:3,0086! 80! ,-70! 0,!570=:39,!.7:.+,0N!o.O24!,;07+=:,704p! !$4-70!084!;078,! 0,!7,/+.,0!/+;+8+O36!47+039,.+4308! +/0,0+89,8! ;80! 47+039,.+4308! 70,0+89,86! 03! .:,394! ,! .:E&08!I,&,3! /0! 807! 048! .,2548! /0! +3/,=,.+O3! /43/0! 04.,0+4,7! 0,! 7085:089,!O:7J/+.,!,/0.:,/,D!\0!0L50+.4N!! H0!:3! 0,/4! 7e.+0048f;N! 9,394! 0,! /4=2E9+.,! O:7J/+.,!574108+43,0! .424! 0,!+32038,!2,&47J,!/0!048!089:/+48!03!%047J,!/00!H070.I4!80!.43.0397,3!03!9,008! 4! .:,008! .43=04207,/48! 802E39$.4"/4.97+3,7+48! +/0,008!!03O,2-708!/0!57+3.+5+486!1O72:0,8!/0O39+.,8!&!/02E8!!!6:0!80!039+03/03!;E0+/48!03Q!8JQ&Q547Q8J! 7e34;00,8! /0! .43.05948f6! 048! I0! 00,2,/48q;D! E8+2+824! 8:000!/,780!547!5708:5:0894!6:0!08,8!5,:9,8!03.4397,7E3!:348!O:7+89,8!+/0,008!75D! 0OD6! eVF7.:008f! 4! 048! 089:/+4848! /0! ,L+42,8! .424! 048! 5745:08948! 547!5077,O40+;!5,7,!,50+.,7! 9,008! 1O72:0,8D!',00!/0.+7!6:06!8:5:089,203906! 048!4507,/4708! O:7J/+.48! 34! 8:.:2-03! 78,0;4! 547! 0L.05.+O36! 8+! ,.,84;! ,! 048!9+548! /0! e.00,/,8f! 0+3=QJ89+.,8! ! .42:308! 03! 0,!2,907+,8[?! 9,254.4! I,7J,!547! 04! =0307,0! 2,&47! /+10703.+,6! 5,7,! /09072+3,7! 0,8! 70840:.+4308!O:/+.+,0086! 04! 0L97,Q/4.97+3,7+4! ,IJ6! 8:! e1:07,Q/0Q90L94f! 7H0-7,&;6! :3,8! :!497,8! 5,7908! /0! 0,! e204.40,34,fD! 80N,0,/,! 547! #,/-7:.ID! !"84! 8J6! 34! 08!6:0! 0848! 90O7+.48! ,1+7203! 0L5708,20390! 9,008! 8:5:089486! 80! .439039,3!.43!34!I,-0,7!,0!70850.94!746!03!00!20O47!/0!048!.,8486!203.+43,3!,503,8!2:&!/0!5,84!9,0!548+-+0+/,/;D(!! H00!4974!0,/4!7e9+077,f;N!,:36:0!547!04!=0307,0!0,!%047J,!/00!H070.I4!34!80! 4.:5,! /0! 0894! 49746! .,/,! .:089+O3! O:7J/+.,! /+8.:9+/,! .,-0! 0L,2+3,70,!/0! 24/4! 6:0! 0,! 45.+O3! 03970! /$10703908! 548+-+0+/,/08! 802E39+.,8! 8:&,8!7.43;03.$4308! 0+3=QJ89+.,8! /+89+39,86! 0;039:,020390! .4397,/+.947+,8! 03970!8J;!80,!/0.+/+/,!03! 1:3.+O3!/0! 70,&$/,/08! O:7J/+.,8!7000;,3908!,0!70850.94D!!47! 9,3946! O:394! .43! 70.434.07! 0,! +30;+9,-+0+/,/! /0! 459,7' 03970! 9,008!548+-+0+/,/086! :3,8! +39075709,.+4308! .4397,/+.947+,8! 7$00DN! .:,3/4! /0!I0.I4! 34! I,&! :3,! 840,! 7085:089,6! +39078:-O09+;,6! 84-70! 0,! .:089+O3!50,390,/,;6! 80! ,/;+0790! 6:0! 080! 08.4#$2$0394! 08! /,-00! 010.9:,704!,903/+03/4! 57+3.+5,020390! 00! 4-O09+;4! /0! ,0.,34,7! ,8J! :348! 574-,-008!708:09,/48! 57E.9+.48! 70,&08! .43.70948' 570107$/48D! !,7,! 04=7,7! 08946! &,! 34!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!GR5!%15!OW,!45.,O3!.,5,9,/555P!"7015!35!GI(5!Go5!%15;! <,-,9!J+. 0850O*824. /0. +,. *39075709,.*O3. +*907,+". J3.7:.*O,/,8. /0+. +03):,O0. O:7J/*.49!!! 942489!]8.:0/,!Y:/,.,,/!/0!/,!%4790!$:5702,!/0!Y:89,.,,!/0!%489,!#,.,9!0/,947,,/!'/,2,7E39!$,3!Y48F9!!LLJ9!.,55!EE!K0855!VV!HjG[M!D!U5F3/,.0!!!K0855!VV!J!53j.!D!!JJ5NMX!4!>094/4+4)J,.770,+*89,="""!"7015!35!GL(9!$0.5!Z!K0855!8:-80..,O3!EE;!G!L!885M5!

Page 11: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! GG!

5:0/0! 807! .:089+O3! /0! .439039,780! .43! +3;4.,7! /4=2E9+.,20390! ,0=:3,!5,:9,! O:7J/+.,! /4.97+3,7+,6! 3+;00! 802E39+.4D! E390! 0,8! /+89+39,8!548+-+0+/,/08! +:8Q802E39+.,8! 5708039086! 08,8! +39075709,.+4308!,39+3O2+.,86! 03943.08! 0,!45.+O3!03970! 000,8!5,8,!547!,903/07! O:89,20390!,!:348!000203948!/0!O:+.+4!34Q802E39+.48!03!8J!2+82486!,8J!,6:00048!6:0!84-70! 00! 9,5090! 54303! 048! e24203948f! 80N,0,/48! 547! ',4! 50770+7,D! !47!9,008!;J,8!.4-7,3!7000;,3.+,!.,5+9,0!9,2-+F3!048!70850.9+;48!.434.+2+03948!84-70! 025$7$,! 84.+,0! .+039J1+.,20390! /+8543+-008! .424! 7,.+43,0+/,/!$3897:2039,&!.47708543/+0390N!"%"Yi W avE!84.+,0l!

%#"''C?!$?'!#:ED$DMH''! ! B0,:8#;0! 0F,.93088! #8! ,! 84:7.0! 41! 1,,,,.7!

9474:E44:9!940!,,HIJ,%%! eW,! 570.+8+O3! 08! -:03,?! 08! 00! +/0,06! .:,3/4! 08! 00=J9+2,?! 5074! 03!.,2-+46!.:,3/4!08!+00=J9+2,!4!1,08,6!574/:.06!/08/0!00!5:394!/0!;+89,!/00!.434.+2+03946! 010.948! 1:308948N! 4.:09,! I0.I486! /081+=:7,! 4! 1,080,!+39075709,.+43086!/09+030!0,!+3;089+=,.+O36!+3I+-0!0,!5741:3/+4,.+O3?!8:8!708:09,/486! 507O:/+.+,0J8+2486! 5:0/03! .43/038,780! 1:3/,2039,020390!.43! 08948! /48! ,/O09+;48N! 1,&80,3908! 0! $3+$-$947$48f! 7DDD;! "0! 6:0! 34! 9+030!IE-+948! /0! 5741:3/+4,.+O36! I,89,! 5:0/0! 8039+780! 570;03+/46! ,!.4380.:03.+,! /0! 0890! ,850.94! /0! 1,08,! 570.+8+O36! .4397,! 0,8!4-807;,.+4308! &! .4397,! 0,8! -:03,8! +39075709,.+4308?! 0,8! .:,008! 00!708:09,7E36!.424!08!3,9:7,06!2E8!.4250+.,/,86!2E8!+2570.+8,86!20348!/0.+8+;,86!20348!j97,3.I,3908k6!20348!50710.9,8!703!,5,7+03.+,;f<:D!! H09072+3,/,!1472:0,.+O3!0+3=QJ89+.,!9+030!570.$8$O3!03!.:,3946!5,7,!0,!=0307,0+/,/!/0!8:8!:848!4!0850.J1+.,20390!5,7,!.+079478;!.4390L9478;6!03! 00! .J7.:04! /0! 04.:94708! .438+/07,/4! 0L+890! I,-+9:,020390!.43.47/,3.+,! /0! 70.434.+2+0394! 84-70! 8:8! 4-O0948! .43.70948! /0!7010703.+,! !$0006! 8:8! e.,3/+/,948f! 548$9$;48N! 507843,8! :! 4-O0948! 4!,.4390.+2+039486! 0850.J1+.48!! &! .O24! 574.0/07! .43! 70850.94! ,! 000486!.:,3/4!80!+3;4.,!/+.I,!1472:0,.+O3D!!,7,!0848!2+8248!4-O0948!34!8:000!/,780!6:0!:3,!5,790!/0!048!2+02-748!/0!080!.J7.:04!048!;0,3!,3908!-+03!.424! ,O0348! ,! /+.I,! 1472:0,.+O3!!$0006! e.,3/+/,948f! 30#,9$;48' w! 34!2039,/48! 547! ,6:000,!?! 9,254.46! 6:0! 5,790! /0! 080! .J7.:04!34! 805,! ,!6:F!,9030780!,0! 70850.946!34! 903=,!.0,74! 73+!548+9+;,!3+!30=,9+;,20390;!/0! 6:F! 5:0/,! 97,9,780! ,IJ! 03! .43.7094D! &3! .43.0594! 08! 570.+84! I,89,!/43/0!!0894!,/2+90!9,2-+F3!.:089+4308!/0!=7,/48!!8:!4!8:8!8039+/48!843!bi%"#Q8:-O09+;486!03!0,8!57E.9$.,8!0+3=QJ89+.,8!/43/0!80!70.:770!,!F0D!! $,-07!.:E3/4!I,&!570.+8+O3!&!.:E3/4!346!4!I,89,!6:F!5:394!0,!I,&,!700! 2+824! 9F72+34! 5:0/0! 807! 570.+84! 03! :348! .,848! &! 03! 49748! 346!708:09,7!570.+84!03!.:,394!,!.+07948!.,3/+/,948!+39075709,9+;48!548+-008!&! ,! 49748! 346! 09.D;6! 34! 08! ,0=4! 6:0! 5:0/,! e;F78000f! 8+250020390! ,! 0,!5745+,! 0L5708+O3! .438+/07,/,D!Y4389+9:&0!:3,! .:089+O3! /0! ;07+1+.,.+O3!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!GH5! 5!g5!<4/2089!.,95!$9958K//.,8090P9".42/.,80/.,*++0L;LM*3)8+,3/!!L5!'8;!G!!!K.:785!]5!5<5M5!!

Page 12: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! G!!

025J7$.,D!$404!8:8!57E.9$.,8! 0+3=QJ89+.,8!,.70/+9,3!8+! 0,! !0L5708+O3!08!4!34!08!02500,/,!$39078:-209$;,203906!03!.+0794!.J7.:04!/0!04.:94708!4!,:3!/0!24/4!-,89,390!=0307,0+4,/4!03!:3!5,J8!4!70=+O3D!! E0! .4397,7+46! :3,! 1472:0,.+O3! 0+3=QJ89+.,! 9+030! e1,08,f! 570.+8+O3!.:,3/46!,!508,7!/0!807!,50+.,-00!/0!2,307,8!2:&!I09074=F30,8!&!I,89,!.4397,/+.947+,8! 7$0006! 70+3,3! /08,.:07/48! 1:3/,2039,008! 84-70! .:E008!80,3!8:8!.,3/+/,948;6!025074!000,!8$2:&,6!20/+,390!.+07948!,79+1+.+48!/0!5708039,.+O36! 807! :3J;4.,D! i4! 7,7,20390! 0848! ,79+1+.+486! 5745+48! /0!;,7+,8!47+039,.+4308!/0!0,!0+907,9:7,!,.,/F2+.,!03!0,8!.+03.+,8!84.+,0086!.438+8903! 03! 4170.07! :348! 086:02,8! /0! 03903/+2+0394! .425:089486!949,0! 4! 5,7.+,0203906! 547! 1+=:7,.+4308! 3:2F7+.,8! 4! ,0=0-7,+.,8! 4!086:02,8!;+8:,008!0897:.9:7,/48!03!94734!/0!:348!O:0=48!/0!100.I,8!:!49748!/+-:O48D!"0!03=,N4!708+/0!,IJ!03!04!8+=:+0390N!/,7!547!/08.439,/4!6:0! .,/,! :34! /0! 0848! 8+=348! &! 0,8! 700,.+4308! 03970! 08948! 807E3!e97,/:.+/48f! /0! 0,! 2+82,! 2,307,! ,! 7010703908! 70,&08! 7.,3/+/,948!548+9+;48;!547!6:+0308!089F3!/+85:08948!,!;,00780!/0!/+.I,!1O72:0,!5,7,!70840;07! 8+9:,.+4308! 70,008! 574-002E9+.,8! 7.4310+.948! /0!+39075709,.+4308;D!!! Y0,746! 03970' 0&&48' 2$8248! 708:09,! 309,20390! /+10703.+,-00! 0,!+/039+1+.,.+O3!/0!0848!3n20748!4!0848!8+=348!,0=0-7,+.486!.,59,7!I,.+,!6:F! /+70..+O3! 085,.+,0! ,5:39,3! 70850.9+;,20390! 08,8! 100.I,86! 09.D?!3,/+0! 5038,7E! 6:0! /+.0! 4! /43/0! 089E! 08.7+94! 5! 4! ,! 0,! +3;078,6! 4! 34!/+89+3=:+7! 03970! 0,8! 0097,8! *! &! 56! 4! .431:3/+7! :3,! 100.I,! 6:0! ,5:39,!I,.+,! ,77+-,! .43! 497,! 6:0! ,5:39,! I,.+,! ,-,O4DDD! W48! .4254303908! /00!.:,/74! #7,1$.4! ,8J! 5708039,/4! 5:0/03! 807! 309,20390! +39078:-O09+;48!.424! 9,&081' +3.431:3/+-008! 03970! 8J! &! 9,2-+F3! +3.431:3/+-008! 8:8!70850.9+;,8!700,.+4308!/0!/+-:O4!,IJ!97,4,/,8D!!074!3,/,!/0!084!,80=:7,6!3+!547!8J!2+824!I,.0!2,8!4!20348!574-,-006!6:F!8:.0/0!8+! 0,!1O72:0,!03!.:089+O3!08!,50+.,/,!,0!70.434.+2+0394!/0!70,0+/,/08D!! "3!2,907+,8!.424!0,!6:J2+.,!&!0,!1J8+.,6!0,8!1O72:0,8!,.059,/,8!547!8:8! 574108+43,008! 843! ,50+.,/,8! /0! 0,!2$82,! 2,307,! ,! 20/+.+4308! &!2,3+5:0,.+O3!/0!048!4-O0948!/00!0394734!1J8+.4!.438+/07,/48D!"3!.,2-+46!03970! :348! 0L507948! /0! /09072+3,/,! .+03.+,! 84.+,0! 34! 8:000! I,-07!8020O,390! +39078:-O09+;+/,/! 5,7,! ,50+.,7! 03! 0,! 57E.9+.,! 8:8! e1O72:0,8f!7.:,3/4! 0,8!I,&;!,! 0,! 70840:.+O3!/0!.:089+4308!/+85:9,/,8!84-70!.O24!47/03,7!0,8!/+3E2+.,8!/0!0,!.43;+;03.+,!I:2,3,!7:348!03903/07E3!-,O4!e,$-f! .+079,8! .43/:.9,8! .43.709,86! 2+0397,8! 49748! 03903/07E3! 6:0!089,8! 2+82,8! .47708543/03! ,3908! -+03! ,! e.f! 4! 8+250020390! 1472,3!5,790!/00!085,.+4!.43/:.9:,0!=0307,0J8+24!34Qe,f;D!!!! "3!8J3908+8N!04!1,&84!/0!0,!e570.+8+O3f!78:5:089,;!/0!9,008!1O72:0,8!34!708+/0! 03! 0,8! /+10703.+,.+4308! ;+8:,008! 03970! 8+=348! =7E1+.48! 70097,86!3n207486!100.I,8!&!.J7.:0486!0;039:,020390!:3,8!/0342+3,.+4308;?!8+34!03! 08.43/076! -,O4! 9,008! 2,25,7,8! 09+6:09,0086! 0,! 34":3+;4.+/,/!!!"349,-00! #$"570.+8+O3l!! 03! .O24! 9,008! 09+6:09,8! 5:0/03! ,50+.,780! 03!048!I0.I48D!',00!/0.+7N!/+10703.+,8!309,8!&!700,.+4308!309,8!03!00!47/03!#7E1$.4!!570.+8+O3!/0!,5,7+03.+,!6!5074!,250+48!2E7=0308!/0!45.+4308!;40:39,7+89,8! !34Q570.+8+O3!! ! 03! 2:.I48! /0! 8:8! 548+-008! 2,30O48!5,7,! 048! O7/0308!57E.9$.48! 703! -:03,!20/+/,! +3.+079486! 0;039:,020390!

Page 13: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! GJ!

.4397,/+.947+48;D!W4! e1,084f! 08!5708039,7! 00!57+207!47/03!/0!570.+8+4308!

.424! 8+! +3;4.,704! .43000;,7,! ,0.,34,7! 570.+8+O3!,8+2+824!03!.:,394!,!2039,7! 048! 80=:3/48! O7/0308D! W,! e1,080/,/f! /00! 57+2074! .438+890! 03!,5,79,7! 0,! ,903.+O3! /0! .O24! 80! 574.0/0! 70,&20390! ,! /0.+/+7! 03! 048!80=:3/48D!!

sss!! d:03,!5,790!/0!048!/+8.:7848!O:7J/+.48!089E3!0/+1+.,/48!03!94734!/0!34.+4308! 6:0! 70;00,3! 807! 700,9+;,20390! +2570.+8,8! ,0! ,50+.,70,8N! 94/,8!,6:000,8! 6:0! ,5,70.03! :9+0+4,/,86!/0' +0.+46! .4397,/+.947+,20390! 03970!048! O:7+89,8D! W48! 0O025048! ,0! 70850.94! 843! 547! /02E8! ,-:3/,39086! ,0!20348! 9,3948! .424! 0,8! .43974;078+,8! 6:0! 84-70! +39075709,.+4308! /0!00&08!4!/0!/4.97+3,8!80!I,.03!;,007!,390!048!97+-:3,008!78,0;46!8+!,.,846!:3,8! /02,8+,/4! -:7/,8N! ,7=:2039,.+4308! 03! 0,8! .:,008! 34! .7003! /0!;07,8!3+!6:+0308!0,8!5708039,3!,IJ;D!W,!/4=2E9+.,!O:7J/+.,!574108+43,0!&!048!089:/+48!/0!%047J,!/00!H070.I4!!8:0003!089,7!.438,=7,/486!,0!5,70.07!08! 00! 5745O8+94! 57+3.+5,0! /0! 8:8! ,:947086! ,! 8:2+3+897,7! :3,8! ,72,8!+39000.9:,008!5,7,!00+2+3,76!4!03!94/4!.,84!70/:.+7!03!0,!2,&47!20/+/,!548+-006! 9,008! 4! .:,008! 0850.+08! /0! +2570.+8+4308! 1:3/,2039,008! /0!/+.I48!/+8.:7848D!!! i4!08! 0L97,N4!6:0!00! 708:09,/4!/0!0848! +3903948!.438+89,6!,0! 1+3!/0!.:039,86! 03! 5708039,7! :348! 0L50/+03908! /+8.:78+;48! 0850.+,020390!,79+1+.+48486!20/+,390! 048!.:,008! +2570.+8+4308!3472,008! 7547!,8J!/0.+7;!/00! 003=:,O0! O:7J/+.4!6:0/,3! ! e9,5,/,8f! !-,O4!00!.:094!/0!:348! 109+.I08!9072+340O=+.48! /0! 1,&8,' 570.$8$O3D! W48! 089:/+48! /0! 0O=+.,! /0O39+.,! 34!.4389+9:&03! 8+34! 00! 0O02504!2E8! 0L97024! /0! 0004<8D!6:,&6:$07! 840:.+O3!O:7J/+.,! 5:0/0! 807! e00J/,f! -,O4! ,0=:3,! 1O72:0,! /0O39+.,6! .424! ,8J!9,2-+F3! :3,! 2+82,! 1O72:0,! /0O39+.,! 80! .47708543/0! .43! 840:.+4308!O:7J/+.,8!2,907+,008!.4397,/+.947+,8!03970!8JD!"8! +2548+-00!74!2:&!54.4!20348;!6:0!0L+89,!,0=:3,!840:.+O3!O:7J/+.,!,/459,/,!010.9+;,203906!80,!0,!6:0!1:0706!.:&,!e0897:.9:7,f!34!80!.47708543/,!.43!,0=:3,!!!46!2E8!574-,-00203906! .43! 2:.I,8!! /0! 08,8! 1O72:0,8D! \,8! 9,2-+F3! 08!170.:0390!6:0!048!,:94708!34!80!0+2+903!,!5708039,70,8!03!089,/4!e5:74f6!8+34! 03! .42-+3,.+O3! .43! 03:3.+,.+4308! /0! 57+3.+5+48! 03! 003=:,O0! 34!1472,0+4,/46! 5,7,! 6:0! 9,2-+F3! 08948! n09+248! 0:4.,3! 0,! ,5,70390!e570.+8+O3f!/0!,6:000,8D!!!! !"3970! 048! O:7+89,8! 2E8! 70342-7,/48! ,.9:,0203906! .,848!5,7,/+=2E9+.48!/0!50,390,2+03948!/0! 1,08,!570.+8+O3!843!048!086:02,8!/0!e543/07,.+O3f!507=0N,/48!547!E00L&<<!&!0,8!:-F77+2,8!.400..+4308!/0!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!!G5!'F,80;! <,-,9! ! OWOC,.,! 1472,/! D!e070.V4P9!J3.*.+450/*,. A:7J/*.,. 20-,jU5F3/,.0!'EE! K555! I!QjIJ!M9! GHHIX! ;078,O3! 70;,8,/,! D! ,25/,,/,! 03! J+. 0850O*824`! "7015! 35! Go(9! .,55! 'EEEX! 9,2-,F3! 03!>094/4+4)J,.770,+*89,="""!"7015!35!GL(9!9424!EEE9!%02,!GL5!!!!!'078,O3!,/C4!,-70;,,/,!03;!4,..*03.*,"""!"7015!!35!JR(9!.,55!E'5!

!!5!%15! x,7.J,! U2,/49! J+. /070.$4. <. 8:8. .*7.:389,3.*,89! Z4C49E9! !LGL;! 555! !LRj![Q! KO]/! >:,.,4! /0!543/07,.,O3! D! 8:8! 5,79085!&3,!.7J9,.,P!a34!V,!8,/4!.439089,/,!547!3,/,0aM5!%425/02039,7,,20390;!<,-,9!OU!70;:0/9,8!.43!/,!8947<90++*3)!//,2,/,!k543/07,.,O3m9!D!9,2-,F3!570C:39,3/4!84-70!k/J2,908m!/0/!!e070.V4P9!X4P,jJR!K!LG[M9!555!JJRjJR!5!

Page 14: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! G[!

.0,8+1+.,.+4308! /0! 57+3.+5+48! /00+30,/,8! 547! 5077,O40+<]D! $0N,0,/,20390!03! .:,394! ,! 089,8! n09+2,86! .,04,3! ,! 0,8!2+0!2,7,;+00,8!:3,8! 5,0,-7,8!7570243+947+,8! ,0! 70850.94;! /0! ',4! 50770+7,N! e! DDD! /42+3,-,3! 03! 000,6!.+07948!0+-748!2:&!,-897,.9486!000348!/0!/01+3+.+4308!1472:0+89,8!!,0=4!,8J!.424! :3,! 0850.+0! /0! 08.40E89+.,! 0L97,;,8,/,! /0! 8+=04!f<tD! !47! .+07946!/+1J.+020390! 80,! /,-00! 80N,0,7!:3,! 70,0+4,.+O3!2E8! 5,7,/+=2E9+.,! 6:0! 00!45:8! 1077,O40+,346! 03! 0,! 0+907,9:7,! O:7J/+.,! .43902547E30,6! 5,7,! 084! 6:0!SI07+3=! 00,2ON! 0,! e2E6:+3,! 5,79+/47,! /0! 50048f!77,,785,&902,8.+$30;DDD<ZD(!! "3! 8J3908+8Dx! ! %,008! ! 1472:0,.+4308! 843N! ,$! e1,080,3908f6! 5476:0!08.43/03! 0,! 570803.+,! /0! =7:0848! 1,.94708! 1:07,Q/0Q90L94! 2:&!/09072+3,9+;48!5,7,!6:0!0,8!840:.+4308!O:7J/+.,8!03!.:089+O36!:3,8!6:0!08!/,-00! 5708039,7' 78+! 80! 6:+070! I,.0704! ,8J;! /0! 9,008! 2,307,86! 80,3!,/459,/,8! 4! 70.I,4,/,8! 547! 048! 4507,/4708! O:7J/+.48! 010.9+;48?! -$!e+3I+-+947+,8f6!5:08!34!8+250020390!.,00,3!03!.:,394!,!08,8!70,0+/,/08Q7,;!6:0!&,!089E3!,IJ6! !8+34!,8+2+824!/0847$039,3! 7I,.03!,5,79,7! 0,!;+89,;!03!.:,394! ,! 548+-008! .,2+348! 57E.9$.48! !!"90.3404=J,! 84.+,0l!! ! .,5,.08! /0!03.4397,7! 840:.+4308! 2E8! ,/0.:,/,8! 5,7,! 0,8! .:089+4308! e;+9,008f!+250+.,/,8D!!!!!%$"''!:H$?#'! #'$D$%:@?$N'J'!:H$?#'! #'D9:?$'!?#?'%:H:#':H'E&:H%?''! ! ",! 1:70:7! /08! 8789G208! 8LF9,39! 025,7F0! /L0:F!

94:89!3:,!30!.407.40!M!;4#7!,08!.44808!.4220!0,,08!84399! 2,#8! .4220! 0,,08! 8L,..47/039! ,;0.! 843!8789G204FD!

! eDDD!497,!/0!0,8!.,:8,8!2E8!170.:03908!/0!048!0774708!/0!048!I42-7086!&!84-70!94/4!/00!2,0!,574;0.I,2+0394!/0!0,8!;07/,/08DDD!!!08(!0,!/+10703.+,!03970!5038,7!547!8+8902,8!&!5038,7!547!+/0,8!,!90307!03!.:039,D!!V,&!/48!24/48!/0!I,.07!:84!/0!:3,!4-807;,.+O3!0L,.9,!4!/0!:3,!70100L+O3!O:89,N!00!57+20746!08!8,.,7!/0!000,6!.438.+0390!4!+3.438.+0390203906!:3!$b$%"\E!/089+3,/4!,!,50+.,780!03!94/48!048!.,848?!00!80=:3/46!70807;,70,6!,349,70,6!.438.+0390!4!+3.438.+039020390!9,2-+F36!.424!,0=4!6:0!I,&!6:0!%"i"#!"i!Y&"i%E!!03970!2:.I,8!497,8!.48,8(!.:,3/4!80!70100L+430!03!.,/,!.,84!84-70!048!574-002,8!70,008!&!.43.70948D!7DDD;!W4!6:0!&4!574.:74!0380N,70086!0894!086!5038,7!.43!94/,8!0,8!+/0,8!6:0!80!5:0/,6!903+F3/40,8!03!.:039,!,! 94/,86! 942E3/40,8! .424! 903/03.$,8! 03! .,/,! .,846! 06:+0+-7E3/40,86!,/,59E3/4&,8DDDf<qD!! e!"(0! 7,.+4.+3+4! 08! 2:&! 00=J9+24! &! 8:2,20390! n9+0! 03! 0,! 57E.9+.,6!8+02570!6:0!.43.:77,3!.+079,8!.43/+.+4308N!7DDD;!!!03970!000,86!00!34!089,7(!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!!J5!'F,80! 0/! ,38:89,9:,-/0! 0c,203! /0! $,/,89! Z$,3!e070.V4! 3,! #,7O35! $4-70! 0/! C,7,39,824! 503,/! /0!W5!8077,>4/,;! 8:! .,703.,,! /0! ;,/,/07! .,039J1,.,!D!/0!57,.9,.,/,/! 70,/P9.X4P,LJQ! K!LG!M9!555!RQGjRoH!y!!]8,8!4->0.,4308!1:3/,2039,/08!ar5:39:,/J8,2,8sa!34!V,3!4-903,/4!7085:089,!,/C:3,5!

![5!O#0.:07/48! /0! :3,! ./,80! /0! 8,/4841J,! /0/! e070.V4P9! 8+):3,8. .4310703.*,8. 84-70. 902,8. .*039J1*.48a.,79J89*.48.<.84.*,+089!Gz!807,0!KGHQIMX!<4203,>0555!"7015!35G(9!;4/5!{E;!![J5!

!Q5!@742,8.<.;07,8"""!"7015!35!G(;!!H!5!|!;F,80!0/!.42039,7,4!/0!$,/,8!!"7015!35!!J(5!!!I5!#4:880,:9!A2*+0;!W,;70!6:,97,G205!!R5!'8;!GQ[!9!GoGX!/,8!;0785!.47708543/03!,!F31,8,8!/0/!,:947!Kv!.:785!]5!5<5M5!

Page 15: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! GQ!

570;03+/4!+39000.9:,0!4!,10.9+;,20390!547!8$8902,8!703!0890!.,846!5:0/0!/0.+780!6:0!00!7,.+4.+3+4!08!+3n9+06!6:0!34!8+7;0!8+34!9,0!;04!5,7,!1,080,7!2E8!00!085J7+9:!:3+0,907,0+4,/4f<[D!!!!!!$+=3+1+.,! 6:0! 08! .:089+O3! /0! 0L,2+3,7! .43! 4O48! 2:&! ,-+079486! ;,00!/0.+76!$#3!570O:+.+48!/0!e8+8902,8f6!03'6:F'20/$/,!7e.:089+4308!/0!=7,/4f<9;!0,! e+/0,f! 03! .:089+O3!!$0006! :3,! +3/:..+O3! 84.+4025J7+.,! 4! 70100L+4308! ,0!70850.94!!!08!,50+.,-006!!4'3466!,0!.,84!4!=7:54!/0!.,848!03!.438+/07,.+O3D!"8,8!e+/0,8f!80!I,3!/0!942,76!5:086!,!9J9:04!+0:7J89$.4]:D!!"00,8!70.434.03!94/,!.0,80!/0!2,9+4,.+4308!&!30=,.+4308!03!0,6!57E.9+.,6!,!/+10703.+,!/0!04!6:0! 80! 5708:5430! ,0! e5038,7! 547! 8+8902,8f]8D! !Y0,74! 6:0! 8+! 0,! 5,0,-7,!e8+8902,f! 80! 942,! 03! 8039+/4! 9,3! ,250J8+24! 70L97,.+039J1+.4;! .424! 5,7,!I,.07!,0:8+O3!,!.:,&6:$07!8:0790!/0!700,.+4308!4!/0!5,70.+/48!03970!/48!4!2E8! ,850.948! /0! 7010703.+,6! 34! 80! ;0! .O24! 54/7J,! 34! I,-07! :3,8!.430L+4308! e8+8902E9+.,8f! 03970! 000486! 80,3! 04! 6:0! 80,3D! \,8! ,:3! 089,8!5:0/03! 807! ;,7+,-0086! I,-7J,! 6:0! ;07! .O24! 80! .:25003! 03! 0,8! 57E.9+.,86!.:E3/4!8J!&!.:E3/4!346!09.D?!34!-,89,!.43!03:3.+,70,8!802E39+.,203906!,!34!807!6:0!1:0703!.48,8!4-;+,8D(!! "8,!4-807;,.+O3!.0,;0!97,38.7+9,!.4389+9:&06!,!2+!O:+.+46!0,!00,2,/,!/0!,903.+O3! .0397,0! 5,7,! I,.07! 0,! 7,/+.,0! /+10703.+,! 03970! 048! 0LE20308! /0!9+54!;,410770+7+,34!84-70!,8:3948!/0!0,!#,4O3!57E.9+.,!&!94/48!048!O7/0308!/0! ,5574,.+! +/0,0+89,8! 03! 08,! 2,907+,D! E9030780! ,! 08,! 570.,:.+O3! 34!5:0/0!20348! 6:0! 8:-;079+7! e/0! .,-4! ,! 7,-4f! 0,8!2,307,8!I,-+9:,008! /0!I,.07!%047J,!/00!H070.I4! 79047J,8! e089E3/,7f!/0! 0,!,7=:2039,.+O36!9047J,8!/0! 8+8902,8! 0:I2,33+,3486! e0897:.9:7,8f! 700,9+89,86! .:,0086:+07,!086:02,8!/0!0O=+.,!/0O39+.,6!09.D;D!!! W,!/+10703.+,!03970!,3/,7!,!0,!.,4,!/0!e8+8902,8f!/0!5038,2+0394!5,7,!/+.I,! #,4O3! &! 04! /0! e5038,7! 547! +/0,8! 5,7,! 90307' 03' .:039,f6! =:,7/,!80N,0,-008!5:3948!/0!.439,.94!.43! 0,!/+10703.+,6!.7:.+,06!03970! 0,! 1:3.+O3!/00! 003=:,O0! 80=n3! 00! 57+207! ^+99=03890+3! 7%7,.9,9:8N! 003=:,O0! +/0,0;! &!.O24! 0,8! 1:3.+4308! 0+3=QJ89+.,8! 843! 0L,2+3,/,8! 547! 00! 80=:3/4!^+99=03890+3! 7#3;089$#,.$4308DDDN!57E.9+.,8! 0+3=QJ89+.,8!70,008;D!u4!/+7J,!6:0!0894! n09+24! .4389+9:&0! :3! .4250020394! 0850.+,020390! +0:2+3,/47! 5,7,!,6:0004!.,5+9,0!80N,0,/4!547!',4!50770+7,D!!$+02570!&!.:,3/46!084!8J6!04!/0!^+99=03890+3! 7bb;!34!80! 9420!.424!e5,30+3=Q+824f6!5:08!9,0! +39075709,.+O3!9072+3,! 547! 081:2,7! 0,! /+10703.+,! 03970! e5,0,-7,8f! &! eI0.I48f]<;D! "8,8!.F00-708!4-807;,.+4308!/0!^+99=03890+3!2070.03!942,780!84-70!94/4!.424!,/;07903.+,8! .,5+9,008! 5,7,! 47+039,7! ,! 8,&$7! /00! e2486:+9074f]]! /0! 0,8!e.00,/,8f! 0+3=QJ89+.,8! 6:0! 348! ,.0.I,3D! "894! 08N! e8,0+/,8f! 03! .:,394!5072+903! 70.434.07! .:E008! 843! 0,8! 70,&08! e1472,8! /0! ;$/,f!!"57,#2E9$.,!0+3=QJ89+.,l!! ! 57424;+/,8! 547! 048! eO:0=48! /0! 003=:,O0f! .438+/07,/48D! $+!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!!o5!!'8;!![Q5!!H5!'8;!GRQ!8859!!![Q!885!JL5!'F,80!>094/4+4)J,""";!$0.5!Z5EEE5G!K0855!G!I!885M!D!$:5/85!K.MjK/M!KGIQ!85M5!JG5!$4-70!0/!2,94!/0!O8,8902,P;!J3970.90.3O.7,9,8555!"7015!35!G!(9!.,55!EE9!VV![!KRI!885M!D!R!KGLJ!885MX!!:3!54.4!2E8! -70;0! 03! >094/4+4)J,"""9! ! $0.5! %5EE5G! K!JG! 885M! D! $:5/5K-M! KJ!Q! 85M5! $,39F9,.,20390;! O$02,O9,.,!,/:8,43,89,5555P!"7015!!35!Jo(9!0855!VV!Ijo!KQRQ!885M5!

J!5!%15!x0//3079!!,+,-7,8.<..48,89!F,/7,/9!GHI!5!JJ5!g,99C03890,39!c3;089*),.*4308.1*+48O1*.,8;!t!JLH5!

Page 16: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! GI!

-+03!80!2+7,6!0,8!8:84/+.I,8!e.00,/,8f!80!54/7J,!2:&!-+03!+3.0:+70,8!.424!49748!9,3948!e5,7,04=+8248f!03!,/+.+O3!,!048!80N,0,/48!547!',4!50770+7,]tD!! !074! ,:3! 9,&08! +/0,86! .42574-,/,20390! O:+.+48,8! 03! .+07948!70850.9486! 5:0/03! ,50+.,780! /0! /48! 2,307,86! 2:&! /+89+39,8D! Y,-0!70.:77+7! ,! :3,! +/0,! 5,7,! .490O,70,! .43! .+079,8! 8+9:,.+4308! 025J7$.,8'010.9+;,86! 0L,2+3,7! 03! 6:F! 20/+/,! 089,8! 2+82,8! e.,04,3f! .43! 04!,5:39,/4! 547! ,6:000,6! .43! ;+89,8! ,! .438+/07,7! ,8J! :348! 000203948! /0!O:+.+4!/0!5079+303.+,!57E.9+.,!70,&!,0!70850.94!708!,!04!6:0!',4!50770+7,!80!701+070;D!\,8!9,2-+F3!5:0/0!/,780!6:06!03!.,2-+46!,0!e90307!03!.:039,f!7+3;4.,7;! ,0=:3,! /0! 000,86! -,89,390! 57089+=+48,6! 025074! 80! 574.0/,!8$3!0L,2+3,7! 8:! 7000;,3.+,! 5745+,20390! 57E.9$.,! 5,7,! 0,! 8+9:,.+O3!0850.J1+.,! .438+/07,/,6! 8+34! .43.+-+03/4! 9,0! +/0,! .424! :3! /4=2,! ,0!70850.94D! 7%,254.4! 08! 0L97,N4! 6:0! 0,! +/0,! 80,! 000=+/,! 03! ;+79:/! /0!.43000;,7!:348!010.948!709O7+.4Q5078:,8+;48!.43!-:03!54/07!00=+9+2,390;D!! "0! 5038,2+0394! O:7J/+.4! I,-+9:,0! 8:000! 5708039,7! 84-70! 94/4! 089,!80=:3/,! 2,307,! /0! e90307! 03! .:039,fDDD! E0! .4397,7+46! 5:086! /0! 04!5745:0894!547!',4!50770+7,l!W,8! +/0,8!/0!/070.I4!e942,/,8!03!.:039,f!!57+3.+5+48! &! /02E8!! 34! 8:0003! 842090780! ,! :348! .43974008!5745+,20390! 025J7$.48! /0! e:9+0+/,/f! 5,7,! 000=+7! 03970! :3,8! &! 497,86! 4!03970!8:8!548+-008!+39075709,.+4308D!!

sss!! W,! .,8+! :3E3+20! +3.0+3,.+O3! I,.+,! 00! 5038,2+0394! e547! 8+8902,8f!!.:09+;,/,!03! 0,8!/4.97+3,8! O:7J/+.,86!-E8+.,20390!574;+030!/0! 0,!I,-+9:,0!1,39,8J,!O:7J/+.4Q574108+43,0!80=n3!0,!.:,0N!!!%% SO,;% ,.14% 6:0%20% ..,2,-,%2:.=4% .,% ,903.)O3% .:,3/4% 07,% 089:/),390% /0%U070.=4V% /48%

,79J.:.48% /0% :3% 5O/)14% 708:.9,-,3% 089,7% 03% .4397,/)..)O3E% ;% 0.% .42039,7)89,% 574.:7,-,%0?5.).,7% 0848% ,79J.:.48X% 147C,7% /0% :3,%2,307,% ;)4.039J8)2,% 0.% 8039)/4% /0% .48% 9F72)348% 0%)3;039,7%8#8902,8%/)10703908%5,7,%0?5.).,7%.,%.4397,/)..)O3,,,%%0.%[3).4%\8)8902,]%6:0%34%80%.0%4.:77J,%3:3.,E%07,%803.)..,20390%6:0%0.%.01)8.,/47%80%=:-)07,%.4397,/).=4X%08,%=)5O908)8%34%.,-J,V%=,-J,80%F.%5:0894%03%:3%089,/4%/0%085J7)9:%9,3%0850.),.E%6:0%5,79J,%.424%/0%.,%)31,.)-).)/,/% /0% .48% ,:94708% /0% .,8% .0;08% ^4% -)03E% 80% 5489:.,% :348% _:7)89,8% )/0,.08% 5,7,%03903/07.,8V% \OF7.:.08]%4%\,71:2039,/4708]%,3E.4148(%4E%2E8%-)03%/).=4E%=,-J,%4.;)/,/4%6:0% .,8% .0;08% ^;% 9,2-)F3%8:8% )39075709,.)4308E% 9,394% .,8%5:7,20390%/4.97)3,7),8%.424%.,8%_:/).),.08(% 9)0303% ,:94708% ^/0% .,730% ;% =:084(E% .48% 6:0% 5:0/03% .4397,/0.)780% 4% 08.7)-)7%.431:8,20390% 4% )3.425.09,20390% 4% ,39)17,2,9).,.20390E% .4% 2)824% 6:0% .:,.6:)07%=42-70b>C,%

! "8! ;07/,/! 6:06! 8+! 34! 03! /+.I,! /4=2E9+.,!2+82,! 7,0!20348! 34! /0!2,307,! 0L5708,! ,00J;6! 03! 089:/+48! /0! %047J,! /00! H070.I4! 8:000!70.434.0780! 6:0! 00! ,5,7,94! 00=+80,9+;4! 34! 08! 9,3! 423+8.+03906! 6:0! 8:8!90L948!5708039,3!,2-+=Q0/,/08!&!I,89,!.4397,/+..+43086!09.D?!,/;+07903!6:0!8+!084!80!/0O,7,!8+250020390!,8J6!8+3!/4.97$3,!O:7J/+.,6!00!e8+8902,f!03!.:089+O3!34!089E!03!.43/+.+4308!/0! 1:3.+43,7!.,-,020390!.424! 9,&D!W,! e2+8+O3f! /0! /+.I,! %047J,! 807J,6! O:89,203906! /089+0,7! .7+907+48! 6:0!7020/+03! 0,8! +250710..+4308! 6:0! 03! e7,.+43,0+/,/f! 74! e7,443,-+0+/,/f;!/0O,!0,!4-7,!/00!5745+4!00=+80,/476!4!I,89,!0,!/0!0,!/4=2E9+.,!574108+43,0!.477+0390D!V,3!/0!807!048!O:7+89,8Q+39F7570908!!/+.I48!90O7+.48!&!6:+0308!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!J[5!|!,!08,!/,89,!54/7J,3!807!,3.47547,/48!9,2-,F39!0850.,,/20390!547!.:,394!V,.0!7010703.,,!,/!/070.V49!/48!J9028!/0/!O$J3/7420!3472,9,;,89,P!"8:57,!35!GL(5!

JQ!!>47,+""""!"7015!35!G(;!RL!K.:785!]5!5<5M5!

Page 17: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! GR!

8+=,3! 8:8! +3897:..+4308!! 048! 00,2,/48! ,! e.43897:+7f! 7o.70,7! 4!/08.:-7+7p;!00!8$8902,!;07/,/074!5,7,!00!5038,2+0394!O:7J/+.4D!! "80! 8+8902,! 6:0/,! .431472,/4! +424#F30,20390! ! !80! 8:5430!!!547! 048! 90L948! 3472,9+;48! 41+.+,008! 03! .42-+3,.+O3! .43! 9,008!.43897:..+4308!/0!+/0,8!70.947,8!!=0307,008!7e57+3.+5+48f6!5,:9,8!-E8+.,8!/0!e7,.+43,0+/,/f6!09.D;6!,:36:0!089,8!n09+2,8!I,&,3!8+/4!4-903+/,8!.43!,0=:3,! +3/0503/03.+,! 170390! ,! ,6:00048! 2+8248D! E8J! 048! O:7+89,8!7+/0,008;! 8,-7J,3! ,0.,34,76! .+NF3/480! ,! 9,008! 8+8902,86! 0,! 840:.+O3!O:7J/+.,!e.4770.9,f!5,7,!.,/,!.,84!4!9+54!/0!.,848!.438+/07,/48D!u!;,!/0!8:&4! 6:06! ,90394! ,0! $842471$824! !8:57,! V! <(! 03970! 5,0,-7,8! O:7J/+.,8! &!57E.9+.,8! O:7J/+.,8!570Q.43.0-+/46!0848!030,.08!8+8902E9+.48!/0!.43.05948!34! I,&! 547! 6:F! 0L,2+3,7048! ,! 0,! 0:4! /0! 0,8! e1472,8! /0! ;+/,f!.47708543/+03908D!!! !47!04!=0307,06!.,/,!089:/+4!/0!%047J,!/00!H070.I4!;,!/+7+=+/46!03!0,!+3903.+O3!/0!8:!,:9476!,!70;00,7!4!,!57454307!:3,8!1$2,.$4308!/0!8+8902,6!80,3!.:,008!1:07036!5,7,!,0=n3!703=0O3!/00!7,443,2+0394!O:7J/+.4D!%,008!00:.+/,.+4308! 574.:7,3N! &,! 80,! /089,.,7! O:89,20390! 000203948! /0!8+8902,9+.+/,/! $32,303908! 6:0!089,7J,3!/09072+3,3/4!.O24! 1:3.+43,3!048! /+8.:7848! /0! /+.I4! 703=0O3?! 4! -+036! 57454307! :3,8! 032+03/,8! 4!.42500203948! /089+3,/48! ,! .4770=+7! 0;039:,008! /F1+.+98! /+8.:78+;4Q1472,008! /0! e7,.+43,0+/,/f! ,IJ! 2+8246! 8+! ,.,84! 5,7,!50710..$43,7' 089,!n09+2,! ,n3!2E8! 73:0;48!086:02+9,8!20/+,3906! 9,0! ;04;D!W,8!70=0,8!6:0!.431472,3! 00! e8+8902,f! 70850.9+;4! 80! .4389+9:&036! 8:5:089,203906! 03! 0,!00,;0! 2,0897,! 5,7,! 010.9:,7! 7,443,2+03948! O:7J/+.48! 6:0! 843! 80=:748!.424!9,008N!!! S,,,9=0%5=,39,8;%41%,3%,089=09).,..;%8,9)81,.947;%8;8902%,3/%=,7243;E%.438)89039%,3/%:3)1472E%

c=).=%c)..% 857)31% :5%c=03%c0% 1)3/% 9=0%2,1).%c,3/% 41% ,% 7,9)43,.)$)31%57)3.)5.0b% !#,8#.!"0E,,!N794*]mD!

!!W48! %7,9,/48! /0! YI7+89+,3! ^4011! 84-70! A9+.,! &! 84-70! H070.I4! 4! :3,!$:22,! 03! +:808.40E89+.,! .424! 048! !7$3.$5$,' $:7$8! /0! 5077,O40+6! 34! 843!8+34! 5708039,.+4308! 8+3=:0,720390! 70.,7=,/,8! /0!08,!47+039,.+O3!2:&!=0307,0!03!0,!2,907+,D(!!!! EI47,!-+036!0,8!/+3E2+.,8!010.9+;,8!/0!.O24!=:J,3!8:!5038,2+0394!048! 5745+48! 4507,/4708! O:7J/+.48!!"8,0,8! 57410847,008! ,5,790l!! 8:0003!089,7!-,89,390!00O48!/0!.47708543/0780!.43!08,!5+,39,8/D!W,8!203908!/0!048!O:0.08!1:3.+43,3!,3908!-+03!/0!2,307,8!2:.I4!2E8!803.+00,8N!03!00!8034! /0! 2n09+5008! .,9E04=48! /0! 9454$! 7'+0IU0=;! O:7J/+.4Q/+8.:78+;48!.431472,/48!/0!,.:07/4!.43!0,8!.0,8+1+.,.+4308!/0!08948!,5703/+/,8!03!0,8! 5,.:09,/08! /0! H070.I46! ,6:00048! 039708,.,3':348! :! 49748! /0! 0848!9454$6! 03970! 048! /0! 0,! 4! 0,8! .0,8+1+.,.+4308! /4.97+3,7+,8! .438+/07,/,8!5079+303908!03!8:!574108+O3D!"890!e039708,.,7f6!97,9E3/480!/0!.:089+4308!/+8.:9+/,8!03970!048!5745+48!O:7+89,86!34!089E!570Q/09072+3,/4!547!0848!.,9E04=48!2+82486!3+!2:.I4!20348!547!,0=n3!e8+8902,f!/0! 94/48!00048!03! .43O:3946! .424! 9,254.4! 547! 3+3=:3,!/4.97+3,!:3J;4.,! ,0! 70850.94!,.059,/,!+39078:-O09+;,20390!03!8:!=702+4D!d+03!5:0/0!807!6:06!170390!,! :3,! 2+82,! 8+9:,.+O3! 547! 70840;076! :348! /03! 0L.0:8+;+/,/! 4!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!JI5!87,3l9!4,C.,3/.9$0.>4/073.>*3/9!!x/4:.089079!GHRL;!!IL5!

Page 18: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! Go!

57002+303.+,!,0!94548!E!&!49748!,0!94548!d?!547!04!/02E86!I,89,!.:,3/4!.43.:07/,3!94/48!03!70.434.07!0,!2+82,!1O72:0,!;07-,0!.,3O3+.,!5,7,!00!57+20746!&!03!6:0!08!O:89,20390!0890!2+824!00!,50+.,-00!,IJ6!,:3!,8J!08!/,-00!6:0!:348!04!+3907570903!/0!0,!2,307,!E8!&!49748!/0!0,!2,307,!E<D!!!! !4.4!+25479,!8+6!,:3!5,7,!0848!.,9E04=48!/0!9454$6!/085:F8!/0!94/4!00!9047+4,/47! 34! 80! 708+=30! ,! /0O,7! /0! 0,/4! 0,! /080:2-7,390! 09+6:09,N!e8+8902,f! O:7J/+.4! 7e,-+0794f6! 00!I,3! 00,2,/4!,0=:348;D!"0!I0.I4!08!6:06!03! 0,! 57E.9+.,6! 048! 4507,/4708! /00! /070.I4! 0&$#03! !;:00;4! ,! 8:-7,&,7N!.:,3/4! 34! 80! 97,9,! /0! 9+548! .43.70948! /0! ,50+.,.+4308!+39078:-O09+;,20390! .438038:,/,8! 03970! 08948!2+8248(! 03970! ,6:00048!J9028!0;039:,008!4!03970!/+89+39,8! +39075709,.+4308!/0!,0=:34!/0!089486!5,7,!0,!8+9:,.+O3D!":+070!/0.+7!6:0!048!:9+0+4,36!"/0!I0.I4l6!.424!+/0,8!,'90307' 03' .:039,6! ,0! !%E#! !34"8+8902,!! 03970! :3,78;! &! 497,78;6! .43!70850.94!,!0,8!8+9:,.+4308!/43/0!04!6:0!089E!03!/+8.:8+O3!08!O:89,20390!.:E&08! 80,3! 048! .7+907+48! 3472,9+;48! ,50+.,-008D! "$O04! 6:06! 5,7,! 00048!2+82486!08,8!+/0,8!34!9+0303!547!6:F!807!,6:+0,9,/,8!025J7$.,20390l!!

sss!! "3! 8J3908+8Dx! ! W4! .+0794! 08! 6:0! 3+3=:34! /0! 0848! 8+8902,8!+:857410847,008!75,507'7:&08;6!547!2E8!9047F9+.,20390!e0L6:+8+9,f!6:0!80,!8:! .42548+.+O3]q6! 08! .,5,4! /0! 70840;07! +39078:-O09+;,20390! 0,8!.439$3#03908'548+-+0+/,/08!/0!45.+4308!57,.9+.4Q4507,9+;,8!/00!/070.I4D!Y:,394! 547! 08,8! ;J,8! +/0,0+89,8! /0! +39000..+O3! 80! ,0.,34,6! 8J6! 08! ,!507=0N,7! !!03! 00! 24/4! 5038,7Q547Q8+8902,8!! ! :3,8! 70.431479,3908!e.43897:..+4308f][!/0! &,=' $3'-44886! +2540:9,8! 170390!,!.O24! 1:3.$43,3!e907703,020390f! 0,8! &,='$3',.9$43]9D!"3!.,2-+46!8+!80!I,.0!,!:3! 0,/4!0,!1+..+O3! /0! e8+8902,f! ,0! 70850.946! 03943.08! 0,! 20390! 80! ,-70! I,.+,! 0,!548+-+0+/,/!/0!942,7!048!9454$!O:7J/+.48!.424!:3,8!e+/0,8!5,7,!90307!03!.:039,f! 57E.9$.,203906! 03! 94/4! .,84! .:,3/4! 048! 5745+48! 4507,/4708!/+8.70503! 84-70! .:E008! /0! 089,8! +/0,86! &! 84-70! 94/4! .O246! 80,3!,50+.,-008! $3' .43.7094D! E8J! 6:0/,! /0850O,/,! 0,! ;J,! /00! 5038,2+0394!O:7J/+.4!5,7,!6:06!03!;04!/0!574.0/07!/0!:3,8!2,307,8!8:89,3.+,020390!/4#2E9$.4Q;40:39,7+89,8! ! !$0006! 03! 0,! 57E.9+.,N! 80=n3! 048! 570QO:+.+48!/4.97+3,7+48!/0!.,/,!+39F757090!!!,0!000=+7!03970!/+.I48!9454$!4!03970!8:8!24/48!.4397,5:08948!/0!+39075709,70486!03!.,2-+4!8:!4507,/47!0L,2+30!08,8! 45.+4308! .424! :3,! .:089+O3! /0! 90.3404=J,' 025J7$.4Q84.+,0D! ',00!/0.+7!6:0!0,!7085:089,!6:0/0!8:O09,6!03!2:&!-:03,!5,7906!,!0;039:,008!.42574-,.$4308!57E.9+.,8!84-70!e:9+0+/,/f!5,7,!80708!/0!.,730!&!I:084?!547!9,3946!34!8+250020390!0+2+9,/,!,!e.,04,7f!.43!:348!50,390,2+03948!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!JR5!%15!<,-,9! !4,..*03.*,./0. +48. O:7*89,8K.d6:F.Z.*03.*,[\.X0. +,..*03.*,. O:7J/*.,.3472,+.,. +,..*03.*,.O:7J/*.,.0P6:*8*9,9!]/,947,,/!Y:7J/,.,!%439,3039,/9!$,3!Y48F!K%5#5M9!!LGQ5!!

Jo5!%15!<,-,;!O%047,7,.,O3! .43897:.9,;,89,! .424! k1472,! /0! ;,/,m!K$4-70!k1472,8!D!70C/,8m!/0/!/,8.:784!>:7J/,.4!03!/48!97,-:3,/08!,30c,8903908P9!X4P,j!GjE! KGHHoM! 555! G[RjGRL! a;078,O3!70;,8,/,!D!,25/,,/,9!03;!4,..*03.*,"""!"7015!35!JR(9!.,55!'EaX! O$02,O9,.,!,/:8,43,89,!D!802,O9,.,! /0803.,39,/47,P5!F,942,3J,8!/0!/,!#,7O3!k.43897:.9,;,89,m;!p7,.,43,/,/,/!/0!/48!>:7,89,8!4!7,.,43,/,/,/!/0!/48!,:802,O9,.48qP9! X4P,j!J!K!LLLM9! 555! QIGjQHIX! O%4397,! /,! k$,39,! K.V,7/,jM8,2,/,,5!U3./,>08!-E8,.48!/0! /,!;4.,.,O3!,89743E:9,.,!57424;,/,!547!#, /̀89!<,-072,8!D!49748!,5O894/08!!/0/!!C*8$1:+.9$*3M*3)!,.,/F2,.4P9!X4P,.JL!K!LLRM9!555![HGjQ![5!

JH5!%15!W/0`0//D3!"7015!35!J(5!

Page 19: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! GH!

+/0,0Q,L+42E9+.48! ,:948:1+.+03908! !207,! 802E39+.,6! 5,80! 04! 6:0!5,80t:!6!!8+34!.43/+.+43,704!,!,.70/+9,.+4308!03!.:,394!,!0,!57,#2E9$.,!/+8.:78+;,!.47708543/+0390D!%%"''>: @:%#D$@ %'! e"89,!4-808+O3!/00!.7+907+4!1$24!08!1:0390!/0!:3,!+32038,!.,39+/,/!/0!0774708D! 7DDD;!&3!/07+;,/4! +390708,390! /0! 0890! 841+82,N! ,! ;0.08! 0,!=0390!I,89,! 0;+9,6! 80! /01+03/06! /+702486! /0! 6:0! 80! 00! /03! /,948! 6:0! 0,!.4250+6:036! .424!8+! 9:;+07,!2+0/4!,! 0,!.42500O+/,/!70,0!/0! 0,8!.48,86!6:0! /08.43.+079,! 8:8! O:+.+486! 6:0! 6:+9,! ,! 08948! 8:! 8+250+.+/,/! &!#042097$824fD! 7DDD;! %,2-+F36!2:&! ,!203:/46! 80! 6:+070! 4-0+=,7! ,0! -:03!7,443,/47!,!j807'.4380.:0390k?!&!048!I42-7086!03!0,!57E.9+.,6!00,2,3!807!.4380.:0390! ,! 942,7' :3,' 1472:&,.$O3' ;07-,&' /' ,5&$.,7&,' 03' 94/48' &48'.,848ft8D!! "0! e=042097+824f! 70857$9' /0' #F42F97$0;! .42,3/,! 34! 8O04! ,! :3,8!7580:/4;0L50+.,.+4308! /0! e8+250+.+/,/f! 03=,N,/47,D! E/02E8! 574/:.0!00=+4308! /0! /+8.:7848! ,.,/F2+.48! .:&4! 57+3.+5,0! ,97,.9+;4! .438+890!,3908! -+03! 03! 0:.+7! 04! -,89,390! .4250+.,/48! 5,7,! 54/07! $25708$43,7!.424! 7+=:748,20390! e.+039J1+.48f!!570QO:+.+4N! 1472:0,.+O3! .42500O,! w!5741:3/+/,/c;07/,/!6! :3,8! .438900,.+4308! /0! 1,08,! 570.+8+O3! 70OD!5077,O40+;! ,774-,/47,20390! 80/:.947,8! 5,7,! 6:+0308! D.:09+;,3! 08,!e4-808+O3!/00!.7+907+4!1$24fD!! !074! 570;03+780! /0! .,07! 03! e=042097+824ft<! 34! 8+=3+1+.,! +25:=3,7!94/4!.7+907+4!=0307,06!5:7,!&!8+250020390!547!807!9,0D!i4!08!.431+3,7!0,!+3900+=03.+,!,!6:0!8:8!548+-+0+/,/08!/0!,.079,7!6:0/03!03.077,/,8!03!00!.,8:+824D! ";+9,7! .42:0=,7! .43! 0,! 349,-00! 570/42+3,3.+,! /0!,574L+2,.+4308! e=042097+89,8f! 03! 0,! %047J,! /00! H070.I46! 34! +250+.,!70.I,4,7!94/4!.434.+2+0394!+3/:.9+;4!84-70!08,8!2,907+,8D!W,8!.+03.+,8!84.+,008!.438+89036! O:89,203906!03!8,.,7!,! 0:4!.+079,8!.4389,3908!84-70!1472,8! /0! .43/:.9,8! /0! 048! 5749,=43+89,86! 03! 9,008! 4! .:,008! 9+548! /0!+3907,..+4308! 03970! 00048?! I,&! ,IJ! 70=:0,7+/,/08! 6:0! 843! -,89,390!574-,-0086! ,0! 20348! 03! .+0794! 085,.+4! &! 9+0254D! %,2-+F3! 0,! 5745+,!34.+O3!/0!e+/0,8'5,7,!90307'03'.:039,f!5708:5430!6:0!000,8!34!843!e1047!/0! :3! /J,f! 8+34! 574/:.94! /0! 0L507+03.+,8! ,.:2:0,/,86! 548003! .+079,!#0307,&$/,/D!$404!6:0!03943.08!089,!34!80!039+03/0!+3Q/+8.7+2+3,/,6!3+!03! 24/4! ,0=:34! +25:9,-00! 547! 03.+2,! /0! 0,8! 0L507+03.+,8! I:2,3,8!010.9+;,8N! 34! 843! 8+34! 089,8! 2+82,8! 0,8! 00,2,/,8! ,! .4774-47,7! 4!70.9+1+.,76!03!2:.I48!4!54.48!.,848!547!;076!8+!03!0848!.,848!80!70+907,!4!34!0,!903/03.+,!=0307,0!0L507+2039,/,!03!,6:00048!49748!6:0!/,3!0:=,7!,!0,!e+/0,f!03!.:089+O3D!a042097+824!34!8+=3+1+.,!04!2+824!6:0!.7+907+4!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!![L5!OpU!6:,F3!54/7E3!807/0!@9,/089!03943.089!8,!34!8,7;03!3,!5,7,!/,!;,/,!57E.9,.,!3,!5,7,!/,!08.:0/,q!W,!@3,.,!7085:089,!6:0!80!20!4.:770!08;!,!,6:0/!6:0!V,//0!/0/0,90!03!080!9,54!/0!0/:.:-7,.,4308P!KYV07,3C!"7015!35!G(;!JRHM5!!

[G5!'8;!G!o!K.:785!]5!5<5M9!GJG!K.:785!]5!5<5M9!!Qo5!|!;F,80!/,!.,9,!/0!e0`0D;!8:57,9!35![5![!5!'F,80!9,2-,F3!<,-,9!O$4-70!/,!,3j/,89,3.,O3!5745:089,!!03970!.O24!843!k548,-/08m!/,8!,39075709,.,4308!70,/08!D!:3,8!6:0!843!k548,-/08m!,2,C,3,7,,20390P9!X4P,jJo!K!LGQM9!555!QJRjQQJ!K0855!VV!QjR!D!G!jGJM5!

Page 20: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! !L!

=0307,0!94:9'.4:79?!04!843!:3,8!24/,0+/,/08!/0!1,&8,!=0307,0+4,.+O3!4!,0!20348!/0!=0307,0+4,.+O3!0L.08+;,D!! i4! 00,24! e=042F97+.4f! ,! 94/4! .7+907+4! O:7J/+.4! #0307,&6! 8+34! ,! 0,!2039,0+/,/!2094/404=+89,! /0! 8:54307! 6:0! 547! /+854307!/0!8020O,3908!.7+907+486! 08948! 348! 000;,3! /0! 0,! 2,34! ,! /+0:.+/,7! 03! ,0=:3,! 1472,!-,89,390! 80=:7,! 048! .4310+.948! /0! +39075709,.+O3! 70,0086! 0,! e;+/,f! /00!/070.I4D! $+! -+03! 0848! .7+907+48! .4397+-:&03! ,! 8:2+3+897,7! :3! e2,7.4f!7T00803;!{6:0! +3.0:84!5:0/0!807!.4397,/+.947+4{!5,7,!+3.,7/+3,7!9,008!.4310+.9486!.:E008!80,3!9,008!e2,7.48f!34!08!/,-00!/090.9,704!8+34!03!0,!0*507$03.$,! O:7J/+.,! 2+82,D! W48! =042097+8248! ,0! 70850.94! 0L+8903!57+3.+5,020390! .424! &,=' $3'-4488D! "84! 8J6! 048! =7,/48! /0! =042097+824!O:7J/+.4Q/4.97+3,7+4! .:09+;,/48! 547! 048! ,:94708! 5:0/03! 807! 2,&4708! 4!2034708D!!

sss!! S:89,20390!048!5,7,04=+8248!,6:J!80N,0,/48! !VV!<QZ(!574/:.03!6:0!2:&! ,! 203:/4! 048! 50,390,2+03948! 80! +3:3/03! /0! =042097+824D!#0.,5+9:00248N!'! 6:089$4308' /0' 5,&,-7,8' /' .:089$4308' /0' +0.+48N! 00! =042097+824! 80!,:94+32:3+4,! 547! .431+3,7! 0,! ,903.+O3! ,! :348! 3+;0008! 802E39+.48!75,0,-7,8N! e34;00,8f! /0! .43.05948;6! ,8J! 0,8! 548+-+0+/,/08! /0! 1,08,.+O3!025J7+.,!7I0.I48N!70,0+/,/08!O:7J/+.,8;!6:0/,3!,'&$2$30'1:07,!/0!14.4D!' 6:089$4308' 0*5&$.,9$;,8' /' .:089$4308' 3472,9$;,8N! 0,! +3Q/+89+3.+O3!84-70! 0,8! 548+-008! 700,.+4308! 010.9+;,8! 03970! 0848! /48! 50,348! I,-+0+9,!+3:3/,7! /0! +310703.+,8! =042097+89,8! ,0! 80=:3/46! 03943.08! 5,7,! 0848!7,443,2+03948! 34! 80! 706:+070! 3+! 5072+90! .43/+.+43,7048! ,! 548+-008!.42574-,.+4308! /0! 7,.+43,0+/,/! $3897:2039,&! 708:09,3908! /00! 57+207!50,34D!' >,&8,' 570.$8$O3N! .424! 048! .43.05948! -E8+.48! 2,30O,/48! 843!0L,.9,20390! e/+89+3948f! 03!8:!5708039,.+O3!;+8:,0! +.O3+.,6!0004!5072+90!e.43897:+7f! 94/,! 8:0790! /0! 700,.+4308! =042097+89,8! 03970! 0848! J.4348!2+82486!547!2E8!/+85:9,/,8!6:0!80,3!2:.I,8!/0!8:8!+39075709,.+4308!.43.709,8D!! !!038,7'547' 8$8902,81'/'5038,7'547' $/0,8'5,7,' 90307' 03' .:039,N! 048!e8+8902,8f! /0! .43.05948! 3472,9+;48! /00+30,/48! 03! 00! 5,500! /,3! 547!/08.439,/46!570.+8,20390!03!;+79:/!/0!807!5708039,/48!.424!9,&086!6:0!00048! 5072+903! 70840;07! e=042F97+.,20390f! ,:3! 0,8! .43974;078+,8!O:7J/+.,8!.43.709,8!!570Q.4257038+O3N!+842471+824!03970! &,='$3'-4488!7/0! 70.09,7+48! /0-+/,20390! /4=2E9+.4Qe=042097+89,8f6! 547! 04! =0307,0;! &!&,='$3',.9$43!D!! Y0,74!6:0!0,8!3472,86!9,394!0,8!O:7J/+.,8!.424!0,8!/0!.:,06:+07!497,!0850.+06!34!5:0/03!8+34!807!#0307,&08!!5,7,!9,008!4!.:,008!7:-748!!03!8:! /+2038+O3! 802E39+.4Q+39038+43,0D! W48! 089:/+48! 70,0+89,8! 84-70!/070.I4!34!/0O,3!/0!942,7!084!03!.:039,6!2,8!34!00:/03!9708!9+548!/0!+390774=,3908!.0,;086!/0!309,!7,+=,2-70!.4397,Qe=042097+89,fN!,$!o03!6:F!20/+/,! .,/,! 5,0,-7,! .0,;0! /0! 048! .7+907+48! 3472,9+;48! :9+0+4,/486!942,/48!0+907,020390!/0!90L948!41+.+,008!/00!/070.I4!548+9+;4!:!49748!6:0!574;+0303! /0! 00,-47,.+4308! +:8/4.97+3,7+,86! 843! -,89,390! 570.$848!

Page 21: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! !G!

7+39078:-O09+;+/,/;!03!8:8!,50+.,.+4308!57E.9+.,8!4!8+!,3908!-+03!708:09,3!807! 709O7+.,20390! 2,3+5:0,-008! 20/+,390! +39075709,.+4308!.4397,/$.947$,8p?! -$! o0,8! 700,.+4308! 3472,9+;4Q+0,9+;,8! 03970! 0848!9F72+3486! 4! ,:3! .43! 70850.94! ,! 49748! 6:0! 8:0003! 2,30O,780! 03!,84.+,.+O3!.43!,6:000486!843!4!34!843!:3J;4.,8p?!.$!/0!,.:07/4!.43!!,Q-(6! 2,8! 9,2-+F3! 03! 1:3.+O3! /0! .+7.:389,3.+,8! 2,907+,0Q84.+,008!3472,008!!00!70850.9+;4!1:07,Q/0Q90L94!6!o0L+890!70,020390!$842471$824!03970! 048! 574.0/+2+03948! O:7J/+.48! .43.70948! 57,.9+.,/48! &! 04! 570Q;+894!547!0,8!1O72:0,8!e=042F97+.,8f!5489:0,/,8p!! i4!/+=4!6:0!,!089,8!9708!570=:39,8!008!.47708543/,!30.08,7$,20390!!!"04!.:,0!34!.4389+9:+7J,!8+34!4974!e=042097+824f!2E8l!!!:3,!7085:089,!30=,9+;,6! 5,7,! 94/48! 048! .,848D! $:-7,&46! 8J6! 6:0! 0,8! +390774=,.+4308!84-70!70,&$/,/! O:7J/+.,!34!08!/,-00!840;039,70,8!8:O09E3/480!,!3+3=:3,!570Q8:548+.+O3! /0! :3+.+/,/! 7=042097+824;! ,0! 70850.946! ,:3! 8+! 9,0!:3+.+/,/! 089F! 5489:0,/,! 802E39+.,20390D! "8,8! 7085:089,8! 708:09,3!;,7$,-&08! &! 03! -:03,! 20/+/,! 5:0/03! 807! .439$3#03908! 7"34Qe=042097+824fl;6! ,:36:0! 34! $&$2$9,/,20390! ;,7+,-0086! 80=n3! 0,8!57E.9+.,8! 010.9$;,8! /0! :9+0+4,.+O3! /0! 048! .7+907+48! 3472,9+;48! 547! 048!4507,/4708! /00! /070.I4D! "8! .:089+O36! 547! 9,3946! /0! 0L,2+3,7! 0,8!1:3.+4308!/00!/070.I4!.424!90.34&4#J,'84.$,&D!!! !W,8!1:3/,2039,008!908+8!/0!',4!50770+7,!/089,.,/,8!03!00!57080390!90L946! 547! .+0794! +3/+.,3! :348! 7,8=48! =0307,0+4,/48! 03! .:,394! ,! 0,8!1472,8! /0! 5038,2+0394! 0L,2+3,/,8D! $404! 6:0DDD! "08,! =0307,0+/,/! 34!9+030!3,/,!/0!e=042097+89,fl!E:3!000,!2+82,!80!4170.0!,IJ!.424!e+/0,!,!90307! 03! .:039,fD! $0! 97,9,6! 5:086! /0! :3,8! e5+89,8f! 6:0! 843! 8404!70&,9$;,20390!=0307,0086!34!5:0/03!/,7!0:=,7!,!+310703.+,8!+3/010.9+-008!7e=042F97+.,8f;! 03! 0,8! 2,907+,8! ,! 6:0! 80! ,50+6:03N! 94/4! 0004! 08!0;039:,020390! 1,&8,-&0! 5,7,!:348!:! 49748! /0! 048!4-O0948!/0! 7010703.+,!/43/0! 80! 0L,2+30! !84209+F3/4048! 3+! 2E8! 3+! 20348! 6:0! ,!.4397,89,.+4308! 025J7+.,8!! 6:F! 5,8,! ,IJ' 03' &,' 57E.9$.,N! "e0,U! +3!,.9+43fl(!!!% %&"'''?! #'J'&$ '9:!'#?B H?@D:H% '' '! e\:.I48! 0O=+.486! 4-807;,/47086! 2:.I48! I42-708! /0! .+03.+,!9,2-+F36! I,3! 349,/4! 6:0! 03! 0,! 57E.9+.,! 00! 7,.+4.+3+4! 708:09,! 5,7,! 048!I42-708!8:2,20390!03=,N484!&!1,0,4?!6:0!94/46!4!.,8+!94/46!I,!54/+/4!/024897,7806! 4! 5,70.07! 6:0! 80! /024897,-,6! 547! 7,443,2+03948D! 7DDD;!"0!7,443,2+0394!08!-:0346!5074!547!8J!8404!34!-,89,6!03!089,!.:089$O3'/0'.,848'/'/0' #7,/48D! 7DDD;! W48!5,79+/,7+48!0L.08+;48!/00!7,443,2+03946! 048!6:0! .7003! 6:0! 94/4! 5:0/0! &! /0-0! 1472:0,780! 547! 00! 7,443,2+03946! 80!06:+;4.,36! &! 80! 06:+;4.,3! 9,2-+F3! 048! 6:0! 570903/03! 5708.+3/+7! /00!7,443,2+0394?! 04! 6:0!08!30.08,7+4! 03! 0,! ;+/,!57E.9+.,6! 08! .425009,7! 00!7,443,2+0394! .43! 00! +389+394! 025J7(.4D! 7DDD;! !W(08! 1,09,! 080! .439740! /00!8039+/4! .42n3! *(5070O=+.4D! \:.I,8! ;0.086! 843! 085J7+9:8! 1,08486! 34'

Page 22: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! !!!

5476:0' 7,543031' 8$34' 5476:0' 34' +,.03' 2E8' 6:0' 7,543,7?! 34! 5476:0!903=,3!:3,!.48,6!8+34!5476:0!008!1,09,!497,!!"025+7+,l(ft]D!! !eE6:J!0397,!00!-:03!8039+/4!I+5070O=+.46!574/:.94!/0!.:,394!I0248!;+894!!&!/0!.:,394!I0248!8039+/4?!08,!.43.0397,.+O3!/0!0L507+03.+,!&!/0!8039+2+0394N!,0=4!&,!+389+39+;4fD!e$0!;0!.0,7,20390!0,!.:089$O3'/0'#7,/4N!eI,89,! .+0794! 5:394k6! j34! /02,8+,/4k?! 5074! o/O3/0! 089,! 080' 7.$0794'5:394p6! o.:E3/4! 08! 080! /02,8$,/4p! E6:J6! &,! 00! 7,443,2+0394! 08!+25490390?! 04! 6:0! 348! /,! 0,! 840:.+O36! 80,! 03! =0307,06! 80,! 5,7,! .,/,!.,846!08!0,!0+507(03.(,6!.:,3/4!08!548+-00?!50746!.:,3/4!34!08!548+-006!08!00! +389+394!025J7+.46!00! +389+394!0+507(2039,%!6:0!94/48!9030248!03!2,&47!4!20347!=7,/46!,0!6:0!.43;+030!34!/08570.+,76!&!6:0!.425%09,!00!7,.+4.+3+4fttD(!! \0! +25479,! 54307! 00! ,.0394! 84-70! 94/4! 03! 0,! 0:.+/04! .43! 6:0! ',4!50770+7,! 8:-7,&,! 0,! 7,/+.,0! +38:1+.+03.+,! 6:0! 9+0303! 048! 7,443,2+03948!547' 8J' 84&486! .:E3! +3/+85038,-00! 08! .425002039,7048! !547! 9,394N!0;039:,020390! .4770=+7048!! .43! +31472,.+O3! 4170.+/,! 547! 8,-0708!5745+,20390! 025J7$.48! 84-70! 0,!2,907+,!2+82,! !!70,0+/,/08!! ! ,! 6:0!0848!7,443,2+03948!039+03/,3!70107+780D!!,70.+07,!6:0!9,0!.42574-,.+O3!08! 97+;+,06! 2,8! 34! 54.,8! 9047+4,.+4308! 03! 0,8! .+03.+,8! 84.+,008! 5,8,3!+250J.+9,20390! 547! 03.+2,! /0! 000,6! 5,7,! -:03,! 5,790! /0! 8:8!5489:0,.+4308tZD!! "3!0,!%047J,!/00!H070.I46!5,79+.:0,7203906!9,0!5,8,7Q547Q03.+2,!34!08! 0,! 0L.05.+O36! .4389+9:&0! 0,! 9O3+.,! ,250+,20390! /42+3,390! 5,7,! 0,!.0,80! /0! 00:.+/,.+4308! ,! 6:0! 80! .438,=7,3! 8:8! 08.7+94708D! EIJ! 0894! 80!/0-0! 84-70! 94/4! ,! 5708:54307! 00! 8:84/+.I4! +842471+824!802E39+.,w57,=2E9+.,! !8:57,N! V! <(?! 4! 03! 94/4! .,846! 8:5:0894! 6:0! 9,0!570.4257038+O3!34! 008!5,80!8+250020390!/08,507.+-+/,!,!,6:000486!34!;03!249+;4!/0!84209070,!,!e.43974008f!6:0!34!80,3!/0!J3/400!!/+8.:78+;4Q/4=2E9+.,8! 5,7,! 8:89039,7! 8:8! 5745+,8! 908+8D! i4! I,-7J,! 30.08+/,/6!5:086! /0! .43/+.+43,7! 0,! 5079+303.+,! /0! 0848! 7,443,2+03948! ,! :348!8,-0708! 8:2+3+897,/48! 547! e00! +389+394! 025J7$.4f6! 8:! ,.059,-+0+/,/! 34!903/7J,! 547! 6:F! /0503/07! /0! 3+3=n3! e.43974&! /00! 8039+/4! .42n3!+$5070O=+.4f6! 2,8! 9,254.4! /0! .:,394! 5:0/,3! ;07+1+.,7! 0,8! .$03.$,8!84.+,008! 84-70! 903/03.+,8! /0! 0,8! .43/:.9,8! I:2,3,8! 010.9+;,8! 03!700,.+O3!.43!048!.7+907+48!3472,9+;48!+3;4.,/48D!!! H08/0! 0:0=46! 34! I,&! 547! 6:F! &$2$9,7! 00! .439740! 025J7+.4! 84-70! 048!03:3.+,/48!3472,9+;48!,!70+;+3/+.,7!.434.+2+03948!/00!8,-07!.49+/+,346!080! e+389+394f! 4! e8039+/4! .42n3f! 80N,0,/4! 547! ',4! 50770+7,?! 5074! 9,0!70+;+3/+.,.+O3! 08! 70.4203/,-00! 8O04! I,89,! /43/0! 080! 8,-07! ;:0=,7! 34!089F! /082039+/4! ! 72+948! +/040O=+.486! 570O:+.+48! 84.+,0086! 09.D;! 547!+3;089+=,.+4308! /0! 0,8! .+03.+,8! 84.+,008D! "8! .+0794! 6:06! 5,7,! /,780!.:039,!/0!6:0!&077,3!:348!7,443,2+03948!,.,/F2+.4Qe.00089+,008f!84-70!.43/:.9,8!I:2,3,8!.42:3086!5:0/0!-,89,7!.43!8+250020390!;40.,7!048!4O48! ,! 0,! e9+077,f6! &! 03943.08! ,0.,34,! .43! 0L507+03.+,8! +3.47547,/,8!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!![J5!'8;!![J9!![H9!!QG!85X!30C75!]5!5<5!![[5!'8;!!QQ9!![H!K30C75!]5!5<5M5![Q5!'F,80!J3970.90.3O.7,9,8""""7015!35!G!(5!

Page 23: Enrique P. Haba[*] Lógica VIVA (Vaz Ferreira) como base de

<UZU! ! !042097*824!

! !J!

.424!e+389+39+;,20390f!,!3:08974!,.07;4!3472,0!/0!8,-0708!.49+/+,348D!\,8! 0894! 34! 6:+9,! 6:0! I,&,! 9,2-+F3! ,850.948! 2E8! .42500O48! /0! 0,8!/+3E2+.,8! 84.+,0086! 34! 1E.+020390! 507.059+-008! 547! 00! .+:/,/,34! e/0! ,!5+0fD! E.07.,! /0!08948!49748!,850.9486!20348!5,02,7+486! 0,8! 8:84/+.I,8!.+03.+,8! 5:0/03! ,5479,7! .434.+2+03948! 025J7$.48! /0.+8+;486! +3.,5,.08!/0! 807! 574;+8948! 547! 00! 2074! e$389$394! 025J7+.4fD! !i4! .704! 6:0! ',4!50770+7,!I,&,!03903/+/4!.4397,/0.+7!089,8!570.+8+4308D(!! "0!80N,0,/4!F31,8+8!6:0!',4!50770+7,!5:84!03!I,.07!,/;079+7!6:0!0,!5079+303.+,!/0! 94/4! 7,443,2+03946!5,7,! 0,! e;+/,!57E.9+.,f6!.47708543/0!.439740,70,!03!1:3.+O3!/0!8:!70850.9+;4!8:890394!025J7$.41'.,-0!,50+.,704!,8+2+824! 03! .:,394! ,! :3! ,850.94! 0850.+,0! 6:0! F0! 34! ,-47/O! ,IJN! 0,8!548+-+0+/,/08!/00!/070.I4!.424!90.34&4#J,!84.+,0D!E!0890!70850.946!8+!-+03!,:3!5,7,!0004!9+030!5079+303.+,!2:.I4!/0!.:,394!00!e+389+394f!03!8,-0708!.49+/+,348!84-70!04!84.+,0!00!I,.0!5,05,-00!,0!.+:/,/,34!.42n36!08!4-;+4!6:0!708:09,!+3/+85038,-006!.424!03!94/,!90.3404=J,6!70.:77+7!9,2-+F3!,!.434.+2+03948!0850.+,0+4,/48!!03!04!5079+30390!!/0!.$03.$,8!025J7+.,8N!W+3=QJ89+.,6!$4.+404=J,6!".4342J,6!!40+9404=J,6!!8+.404=J,!$4.+,0!&!/02E8D!$+!-+03!',4!50770+7,!34!,-47/O!9,0!,/;07903.+,!0850.J1+.,6!8:!!O#$.,';$;,!000;,! /0! 0,!2,34! ,! 6:0! 9,2-+F3!547! .:,394!I,.0!,! 048! 7,443,2+03948!O:7J/+.486! ,IJ! 0,! ,903.+O3! 80,! /+7+=+/,! 84-70! 94/4! I,.+,! 00! /070.I4!025J7+.4D!\:&!,!/+10703.+,6!5:086!/0! 04! e1,080,3908!0! e+3I+-+947+48f! 7'5;!6:06! O:89,20390! 03! .:,394! ,! 0894! n09+24! 7"025+7+,l;6! 843! 048!/$;079$203948!e.43897:.9+;+89,8f!03!0,!2,907+,D!

sss!! \0! 5,70.0! 6:0! 34! 54.4! /0! .:,394! 80! /+8.:90! 03! 0,! /+8.+50+3,!0850.+,0+4,/,!e%047J,!/00!H070.I4f!807J,!;+894!/0!2:&!4974!24/46!.:,3/4!34! 8+250020390! 80! /08Q;,30.07J,! ! 7eDDD! 0,! 248.,! 08.,5,3/4! /00!2486:+9074f;6!8+!80!942,!/0-+/,!.43.+03.+,!/0!08,8!5:39:,0+4,.+4308!/0!',4! 50770+7,! I,.+,! 0,8! 6:0! I0! 97,9,/4! /0! /+7+=+7! 0,! ,903.+O3! ,6:JD! "3!010.946!6:+F7,80!4!34N!!% ;;;!0,!807!:3!-:03!5038,/47!08!2E8!/#1J.#,!/0!,4!6:0!,!57#207,!;#89,!5,70.09!5476:0!34!84,4!

4,7!6:0!/0103/0780!/0!,,8!84,:.#4308G!4,7!6:0!/0103/0780!3,89,'/0'2,8'.:089$43089!/0!,48!2#8248!574-,02,8!/0!,48!03:3.#,/48AF,%

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!![I5!'8;!G[Q5!