Universidade Estadual do Sudoeste da Bahia Pedro Ivo Dias Rocha

Lgica de Predicados

Vitria da Conquista BA !"# "

1. Introduo

E$iste% %uitos ti&os de argu%entos que n'o &ode% ser (or%ali)ados de (or%a adequada na lgica &ro&osicional* co%o &or e$e%&lo+ Santos Dumont aviador. Todo aviador brasileiro. Logo, Santos Dumont brasileiro. Intuitiva%ente* &erce,e%os que este - u% argu%ento v.lido* &or-% usando lgica proposional, a (or%ali)a/'o deste argu%ento resulta e% 0&* q1 23 r* e n'o h. co%o &rovar que r u%a consequ4ncia lgica de p e q5 Isso acontece &orque o argu%ento de&ende do signi(icado da &alavra 6Todo7 8generali)a/'o9* que n'o &ode ser e$&resso na sinta$e de lgica &ro&osicional5 Para argu%entos desse ti&o &recisa%os da Lgica de Predicados5 Pelos %otivos discutidos* - :til ter%os u%a linguage% (or%al onde - &oss;vel e$&ressar &ro&osi/<es &ara%-tricas* e raciocinar co% elas5 Def 1 8Rela/'o95 Seja D1, D2 , . . . Dn con=untos* n'o necessaria%ente dis=untos5 R - u%a rela/'o de aridade n so,re os con=untos D1, D2 , . . . Dn se R - u% su,con=unto do &roduto cartesiano D1 D2 Dn 5 Def 2 8Predicado95 Se=a D" * D * 5 5 5 D n con=untos* e R u%a rela/'o de aridade n so,re os con=untos D" * D * 5 5 5 D n5 > &redicado R associado a R - a (un/'o total de D" ? D ? @ @ @ ? Dn &ara 0V* A15 De agora e% diante* considera%os u% :nico con=unto de o,=etos de discurso D* ou se=a D1, D2 , . . . Dn s'o id4nticos5 U% &redicado nada %ais - que u%a &ro&osi/'o &ara%-trica* cu=a valora/'o - verdadeiro &ara alguns ele%entos de u% deter%inado con=unto* e (also &ara os de%ais5 Ire%os agora e%&regar este conceito &ara de(inir a sinta$e e a se%Bntica da lgica dos &redicados5

2. A linguagem da lgica de predicados Al-% dos conectivos lgicos 8 C* * * D9* as (r%ulas e% lgica de &redicados s'o co%&ostas &or objetos, predicados, vari veis e !uanti"icadores5 2.1 O !etos e predicados A no/'o de o,=eto - usada nu% sentido %uito a%&lo5 >,=etos &ode% ser concretos* a,stratos ou (ict;cios5 >,=etos &ode% ainda ser atE%icos ou co%&ostos5 E% su%a* u% o,=eto &ode ser qualquer coisa da qual &recisa%os di)er algo5 Por conven/'o* o,=etos s'o escritos co% inicial %in:scula e assu%i%os que no%es di(erentes s'o o,=etos di(erentes5

U% &redicado de%onstra u%a rela/'o entre o,=etos de u% deter%inado conte$to5 Por e$e%&lo* nesse conte$to ilustrado na Aigura "* &ode%os di)er que o ,loco a est. so,re o ,loco b* usando o &redicado sobre e escrevendo sobre#a, b$F &ara di)er que o ,loco b - a)ul* &ode%os usar o &redicado cor e escrever cor#b, a%ul$ e* &ara di)er que o ,loco b - %aior que o ,loco c, &ode%os usaur o &redicado maior e escrever maior#b, c$.

2.2 "ari#$eis e %uantificadores Grande &arte da e$&ressividade da lgica de &redicados - devida ao uso dos conectivos lgicos* que nos &er%ite% (or%ar senten/as co%&le$as a &artir de senten/as %ais si%&les5 Por e$e%&lo* considerando o conte$to da Aigura "* &ode%os di)er que o ,loco a est. so,re o ,loco b e que este est. so,re a %esa escrevendo+ sobre#a, b$ sobre#b, mesa$ Entretanto* o que real%ente torna a lgica de &redicados %ais e$&ressiva que lgica &ro&osicional - a no/'o de $ari#$eis e quantificadores+ usando $ari#$eis* &ode%os esta,elecer (atos a res&eito de o,=etos de u% deter%inado conte$to de discurso* se% ter que no%ear e$&licita%ente esses o,=etos 8&or conven/'o* no%es de vari.veis s'o escritos co% inicial %ai:scula9F usando o quantificador uni$ersal 89* &ode%os esta,elecer (atos a res&eito de todos os o,=etos de u% conte$to* se% ter%os que enu%erar e$&licita%ente todos elesF e* usando o quanti(icador e$istencial 89 &ode%os esta,elecer e$ist4ncia de u% o,=eto se% ter que identi(icar esse o,=eto e$&licita%ente5 Por e$e%&lo* considerando nova%ente o conte$to da Aigura "* &ode%os di)er que todo ,loco est. so,re algu%a coisa 8,loco ou %esa9 escrevendo+ HI,loco8H9 D J Iso,re8H* J 9KK

2.& 'inta(e > l-$ico de(ine o re&ertrio de s;%,olos a &artir dos quais as e$&ress<es da lgica &ode% ser constru;das a&licando as regras sint.ticas5 E% lgica dos &redicados* u% l-$ico - u%a tri&la #&, ', ($* onde+ ' ) * p, !, r, ...+ - u% con=unto de s;%,olos ar,itr.rios* cha%ados de s;%,olos de &redicados 8cada u% co% a sua aridade9F & ) *a, a1, b, ... , " , " , g, ...+ u% con=unto de s;%,olos de (un/<es 8cada u% co% a sua aridade9F ( ) * ,, , 1 , ... , , , ... , -, %, ...+ - u% con=unto de s;%,olos* cha%ados vari.veis5 E$iste% e$&ress<es de duas nature)as di(erentes+ termos e frmulas5 U% ter%o -* ou u%a vari.vel* ou u%a constante* ou u%a e$&ress'o "#t1, ... , tn$ * onde " - u% s;%,olo de (un/'o de aridade n* e t1, ... tn s'o ter%os5 U%a (r%ula atE%ica 8ou .to%o9 - u%a e$&ress'o p#t 1 , ... , tn $* onde p - u% s;%,olo de &redicado de aridade n* e t1, ... tn s'o ter%os5 Por e$e%&lo* assu%indo que ( ) *,+* & ) *a, "+* e ' ) *p, !+* onde as aridades de a, ", p e ! s'o !* "* ! e res&ectiva%ente* alguns ter%os s'o+ ,, a, " # ,$, " # a$ , " # " # ,$$ , " # " # a $$, ... , e alguns .to%os s'o + p, ! #,, ,$, !#,, a$, !#a, a$, !#a, ,$, !#"#,$, ,$, !#"#,$, a $, !#"#,$, "#a$$, ... U%a (r%ula da lgica dos &redicados - true* (alse* u%a (r%ula atE%ica* ou ent'o u%a das seguintes co%&osi/<es de (r%ulas* diga%os A e B+ C A* 8A B9* 8 A B 9* 8 A B 9* 8 A B9* $A e $A* onde $ H - u%a vari.vel5 A novidade na constru/'o de (r%ulas reside nos quanti(icadores e e e% u%a %aior rique)a na contru/'o dos .to%os5

&. A sem)ntica na lgica de predicados > signi(icado de (r%ulas na lgica de &redicados de&ende da se%Bntica de conectivos e da inter&reta/'o dos o,=etos e &redicados5 U%a interpreta./o consiste de+ u% con=unto D 3 * deno%inado do% NOnio da inter&reta/'oF u% %a&ea%ento que associa cada o,=eto a u% ele%ento (i$o e% DF u% %a&ea%ento que associa cada &redicado a u%a rela/'o e% D5 > quanti(icador denota u%a con=un P ca Q o e o quanti(icador denota u%a dis=un/'o5 Por e$e%&lo* &ara D ) *a, b, c+* a (r%ula (0colorido#($1 denota a con=un/'o colorido#a$ colorido#b$ colorido#c$ e a (r%ula (0cor#(, a%ul$1 denota a dis=un/'o cor#a, a%ul$ cor#b, a%ul$ cor#c, a%ul$5 Al-% disso* co%o 2#3 4$ 5 #23 24$* - (.cil ver que 2(0cor#(, a%ul$1 5 (02cor#(, a%ul$1. De %odo an.logo* conclu;%os que 2(0cor#(, ro,o$1 5 (02cor#(, ro,o$1 5 Ent'o* usando a lgica de &redicados* o argu%ento que a&resenta%os inicial%ente Santos Dumont aviador. Todo aviador brasileiro. Logo, Santos Dumont brasileiro. &ode ser (or%ali)ado co%o+ * aviador#santosdumont$, (0aviador#($ 6 brasileiro#($1 + 7) brasileiro#santosdumont$ Para (acilitar a (or%ali)a/'o de argu%entos na lgica de &redicados* &ode%os destacar quatro ti&os de senten/as e% es&ecial* deno%inadas enunciado categrigos5

*ipos de enunciados +ni$ersal afirmati$o+ s'o enunciados da (or%a (0p#($ 6 !#($15 E% ter%os de con=untos* u% enunciado universal a(ir%ativo esta,elece que o con=unto p - u% su,con=unto do con=unto !5 Por e$e%&lo* a senten/a 6Sodos os aviadores s'o ,rasileiros7 &ode ser tradu)ida co%o (08#($ 6 m#($1* ou se=a* &ara todo (* se ( p ent'o ( m5 +ni$ersal negati$o+ s'o enunciados da (or%a (0p#($ 6 2!#($1 5 E% ter%os de con=untos* u% enunciado universal negativo esta,elece que os con=untos p e ! s'o dis=untos5 Por e$e%&lo* a senten/a 6Tenhu% aviador - a%ericano7 &ode ser tradu)ida co%o (08#($ 6 2e#($1* ou se=a* &ara todo (* se ( 8 ent'o ( e5 Particular afirmati$o+ s'o enunciados da (or%a (0p#($ !#($1 5 E% ter%os de con=untos* u% enunciado universal a(ir%ativo esta,elece que os con=untos p e ! te% u%a interse/'o n'oUva)ia5 Por e$e%&lo* a senten/a 6Alguns aviadores s'o %ilitares7 &ode ser tradu)ida co%o (08#($ c#($1 * ou se=a* e$iste ( tal que ( 8 e ( c5 Particular negati$o+ s'o enunciados da (or%a (0p#($ 2!#($15 E% ter%os de con=untos* u% enunciado universal negativo esta,elece que e$iste% ele%entos que est'o no con=unto p %as n'o est'o no con=unto !5 Por e$e%&lo* a senten/a 6Alguns aviadores n'o s'o %ilitares7 &ode ser tradu)ida co%o (08#($ 2c#($1 * ou se=a* e$iste ( tal que ( 8 e ( c5 V. senten/as que &ode% ser escritas* equivalente%ente* de %ais de u%a (or%a5 Por e$e%&lo* considere a senten/a 6Te% tudo que ,rilha - ouro75 >ra* se ne% tudo que ,rilha - ouro* ent'o signi(ica que e$ite algu%a coisa que ,rilha e n'o - ouro5

Assi%* a senten/a 6Te% tudo que ,rilha - 6ouro7 &ode ser escrita co%o 2(0bril8a#($ 6 ouro#($1 ou co%o (0bril8a#($ 2ouro#($1 5 Para ver que isso - verdade* veri(ique as equival4ncias a seguir+ 2(0bril8a#($ 6 ouro#($1 5 2(02bril8a#($ ouro#($1 5 (202bril8a#($ ouro#($1 5 (0bril8a#($ 2ouro#($1 V. ta%,-% senten/as %ais co%&le$as co%o* &or e$e%&lo* 6Te% todo ator a%ericano (a%oso75 Tesse caso* o antecedente da (r%ula condicional deve ser u%a con=u/'o* ve=a+ 2(0ator#($ americano#($ 6 " amoso#($1 5 U%a inter&reta/'o dessa senten/a seria a seguinte+ ora* se ne% todo ator a%ericano - (a%oso* ent'o deve e$istir ator a%ericano que n'o - (a%oso5 Assi%* a senten/a ta%,-% &oderia ser tradu)ida co%o (0ator#($ americano#($ 2"amoso#($1 5 A equival4ncia entre essas duas (or%as de tradu)ir a senten/a - de%onstrada a seguir+ 2(0ator#($ americano#($ 6 " amoso#($1 5 2(02#ator#($ americano#($$ " amoso#($1 5 2(02ator#($ 2americano#($ " amoso#($1 5 (202ator#($ 2americano#($ " amoso#($1 5 (0ator#($ americano#($ 2" amoso#($1

,. +m sistema a(iom#tico na lgica de predicados

Ar%ulas ,e%U(or%adas &redicativas que t4% a %es%a (or%a lgica que tautologias s'o v.lidas5 Por e$e%&lo* no e$e%&lo aci%a %ostra%os que a (r%ulas ,e%U(or%adas - v.lida5 Ela te% a (or%a do a$io%a no c.lculo &ro&osicional* a&esar de n'o ser u%a (r%ulas ,e%U(or%adas &ro&osicional5 Se &er%itir%os as (or%as dos a$io%as e a regra de in(er4ncia da lgica &ro&osicional* onde as (r%ulas ,e%U(or%adas s'o (r%ulas ,e%U(or%adas &redicativas* continuare%os a o,ter co%o teore%as todas as (r%ulas ,e%U(or%adas &redicativas que tenha% a (or%a de tautologias5 To entanto* e$iste% algu%as (r%ulas ,e%U(or%adas &redicativas que n'o t4% (or%as tautolgicas* %as ainda assi% s'o v.lidas devido Y sua estrutura e ao signi(icado dos quanti(icadores universal e e$istencial 8ve=a o e$e%&lo aci%a95 Para os ter%os co%o teore%as* nosso siste%a (or%al usar. novos a$io%as e u%a nova regra de in(er4ncia que lan/a %'o do signi(icado dos quanti(icadores5 >s a$io%as &ara a lgica de &redicados s'o %ostrados a seguir* onde P* Z e R re&resenta% (r%ulas ,e%U(or%adas &redicativas+

,.1 A(iomas para a Lgica de Predicados

Aqui a nota/'o P8$9 indica que $ ocorre na (r%ulas ,e%U(or%adas* %as outras vari.veis ta%,-% &ode% ocorrer5 Portanto*

onde a - u%a constante* - u%a instBncia do A$io%a M 8to%e P8$9 co%o sendo Co%o na lgica &ro&osicional* - ,vio que estes a$io%as &articulares &oderia% ser usados* %as &ode%os ver que eles s'o intuitiva%ente v.lidos5 > A$io%a L di) que se todos os ele%entos do do%;nio que tivere% a &ro&riedade P ta%,-% tivere% a &ro&riedade Z* e se todos os ele%entos do do%;nio* de (ato* tivere% a &ro&riedade P* ent'o todos os ele%entos do do%;nio t4% a &ro&riedade Z5 > A$io%a M di) que se u%a &ro&riedade (or verdadeira &ara todos os ele%entos do do%;nio* ela ser. verdadeira &ara u% $ ar,itr.rio ou u%a constante a5 > A$io%a R di) que se e$iste u% o,=eto &ara o qual a &ro&riedade P - verdadeira* &ode%os dar u% no%e a este o,=etoF no entanto* este no%e deve ser ar,itr.rio %as di(erente de qualquer outro que =. tenha%os usado na seq\4ncia da de%onstra/'o5 8Esta necessidade (a) co% que queira%os usar o A$io%a R o quanto antes &oss;vel na de%onstra/'o a (i% de que os outros a$io%as n'o tenha% essas restri/<es59 > A$io%a W di) que se P (or verdadeira &ara u% valor &articular* ent'o h. algu% %e%,ro do do%;nio &ara o qual ela verdadeira5 > A$io%a X con(ir%a nossa co%&reens'o intuitiva do signi(icado dos quanti(icadores universal e e$istencialF se (or (also que algu% ele%ento do do%;nio te% a &ro&riedade P* ent'o todo ele%ento do do%;nio n'o ter. a &ro&riedade P e viceUversa5 >s A$io%as M* R e W &ode% ser usados e% de%onstra/<es* =unto co% o %odus &onens* &ara re%over quanti(icadores universais* quanti(icadores e$istenciais e incluir quanti(icadores e$istenciais* res&ectiva%ente5 U%a nova regra de in(er4ncia nos &er%ite inserir quanti(icadores universais* %as a&enas so, devidas circunstBncias5

"!

-. .efer/ncias 0i liogr#ficas Gesting* ]5 8"[X#95 9at8ematical Structures "or :omputer Science. Tova Jor^* _5 V5 Aree%an and Co%&an` D-har,e* D5 8 !" 95 L;gica dos 'redicados< sinta,e e sem=ntica. TatalURT* UART DIa !M!M do Lago Pereira* S5 8 !!W95 L;gica de 'redicados. Universidade de S'o Paulo IE% linhaK5 Dis&on;vel e% htt&+bbccc5i%e5us&5,rbdslagobIAUlogicaDePredicados5&d( Iconsultado e% "XU!"U !"LK5

""