You are on page 1of 15

1

1.1

L ogica de primeira ordem


Sintaxe

Para denir uma linguagem de primeira ordem e necess ario dispor de um alfabeto. Este alfabeto introduz os s mbolos ` a custa dos quais s ao constru dos os termos e as f ormulas dessa linguagem. Deni c ao 1.1 Alfabeto de primeira ordem Um alfabeto de primeira ordem e composto de: um conjunto SF de s mbolos de fun c ao e um conjunto SP de s mbolos de predicado, disjuntos, juntamente com as respectivas aridades, uma fun c ao : SF SP I N0 um conjunto numer avel X de vari aveis os conectivos (nega c ao), (conjun c ao), (disjun c ao) e (implica c ao), o quanticador universal e o quanticador existencial os s mbolos de pontua c ao ( e ) (par entese esquerdo e par entese direito) e , (v rgula). O valor que a fun c ao atribui a cada s mbolo de fun c ao ou de predicado designa-se aridade do s mbolo. Os s mbolos de fun c ao de aridade 0 s ao designados s mbolos de constante. Os s mbolos de predicado de aridade 0 s ao designados s mbolos proposicionais. poss E vel considerar fragmentos de um alfabeto de primeira ordem. Pode considerar-se por exemplo o fragmento em que e s ao os u nicos conectivos e ou nico quanticador. Um outro exemplo, designado fragmento proposicional, e constitu do apenas por conectivos, s mbolos de predicado de aridade 0 (s mbolos proposicionais) e par enteses. Exemplo 1.2 Considerem-se os conjuntos SF = { , s, q } SP = {S, T, Q, M } X = {x1 , x2 , x3 , . . .} e a fun c ao : SF SP I N 0 com ( ) = (S ) = (T ) = 0 (s) = (q ) = (Q) = 1 (M ) = 2.

Os conjuntos SF, SP e X acima mencionados, juntamente com os conectivos, quanticadores e s mbolos de pontua c ao referidos na Deni c ao 1.1, constituem um alfabeto de primeira ordem. A aridade do s mbolo de fun c ao e 0 (e portanto e um s mbolo de constante) e a aridade dos s mbolos de fun c ao s eq e 1. A aridade dos s mbolos de predicado S e T e 0 (e portanto S e T s ao s mbolos proposicionais). A aridade do s mbolo de predicado Q e 1 e a aridade do s mbolo de predicado M e 2. O fragmento proposicional deste alfabeto e constitu do pelos s mbolos S e T , pelos conectivos e pelos par enteses. Considera-se xado um alfabeto de primeira ordem Alf com conjunto de s mbolos de fun c ao SF, conjunto de s mbolos de predicado SP e conjunto de vari aveis X. Dado um alfabeto de primeira ordem, certas sequ encias de s mbolos do alfabeto s ao designadas termos. Termos s ao vari aveis, constantes e s mbolos de fun c ao aplicados a outros termos. Os termos representam as entidades cujas propriedades podem ser descritas ou especicadas atrav es das f ormulas. Deni c ao 1.3 Termos A linguagem dos termos, ou conjunto dos termos, sobre o alfabeto Alf designase Term e e o conjunto de sequ encias geradas pela gram atica com produ c oes: termo var | sf0 | sf1 (termo ) | sf2 (termo , termo ) | . . . var x1 | x2 | x3 | . . . (cada uma das vari aveis)
0 | f 0 | f 0 | . . . (cada um dos s sf0 f1 mbolos de fun c ao com aridade 0) 2 3 1 | f 1 | f 1 | . . . (cada um dos s sf1 f1 mbolos de fun c ao com aridade 1) 2 3 2 | f 2 | f 2 | . . . (cada um dos s sf2 f1 mbolos de fun c ao com aridade 2) 2 3

... e em que termo , var , sf0 , sf1 , sf2 , . . . s ao os s mbolos n ao terminais, X SF {, , (, )} s ao os s mbolos terminais e termo e o s mbolo inicial. Um termo diz-se fechado se nele n ao ocorrem vari aveis. Exemplo 1.4 Considerando o alfabeto do Exemplo 1.2, tem-se que , x1 , s( ), q (x2 ), s(q (x3 )) s ao exemplos de elementos de Term, sendo e s( ) termos fechados. Os outros termos n ao s ao fechados. As f ormulas s ao tamb em sequ encias de s mbolos do alfabeto, constru das segundo regras apropriadas. As f ormulas representam asser c oes acerca das entidades representadas pelos termos. rmulas Deni c ao 1.5 Fo A linguagem das f ormulas de primeira ordem, ou conjunto das f ormulas de primeira ordem, sobre o alfabeto Alf designa-se Form e e o conjunto de sequ encias geradas pela gram atica que inclui todas as produ c oes da gram atica que gera a linguagem dos termos e tamb em: 2

form formatomica | (form ) | (form form ) | (form form ) | (form form ) | (quant var form ) formatomica sp0 | sp1 (termo ) | sp2 (termo , termo ) | . . . quant | var x1 | x2 | x3 | . . . sp0 sp1 sp2 ... e em que form , formatomica , quant , termo , var , sf0 , sf1 , . . . , spf0 , sp1 , . . . , s ao os s mbolos n ao terminais, os s mbolos terminais s ao todos os s mbolos de Alf e form e o s mbolo inicial. usual omitirem-se os par E enteses mais exteriores das f ormulas. As f ormulas nas quais apenas ocorrem termos e s mbolos de predicado s ao designadas f ormulas at omicas. As f ormulas nas quais ocorrem apenas s mbolos de predicado de aridade 0 (s mbolos proposicionais) e conectivos s ao f ormulas proposicionais. Para construir estas f ormulas s ao apenas necess arios s mbolos do fragmento proposicional do alfabeto de primeira ordem. Cada subsequ encia de que seja ela pr opria uma f ormula em Form diz-se subf ormula de . Exemplo 1.6 Considerando o alfabeto do Exemplo 1.2 tem-se que S Q( ) M (x1 , x2 ) ST Q(s(x1 )) M (q (s(x2 )), s(x1 )) x1 Q(x1 ) x3 (M (x3 , ) Q(x3 )) s ao exemplos de f ormulas em Form. As tr es primeiras s ao f ormulas at omicas. A primeira e a terceira s ao f ormulas proposicionais. A f ormula x3 (M (x3 , ) Q(x3 )) tem quatro subf ormulas: M (x3 , ) Q(x3 ), M (x3 , ), Q(x3 ) e x3 (M (x3 , ) Q(x3 )). M (x1 , x2 ) eau nica subf ormula de M (x1 , x2 ).
0 P1 1 P1 2 P1

(cada uma das vari aveis)

| | |

0 P2 1 P2 2 P2

| | |

0 P3 1 P3 2 P3

| . . . (cada um dos s mbolos de predicado com aridade 0) | . . . (cada um dos s mbolos de predicado com aridade 1) | . . . (cada um dos s mbolos de predicado com aridade 2)

O conectivo e aqui denido como abreviatura: =abv ( ) ( ) Uma dada vari avel pode ocorrer v arias vezes numa f ormula. Na f ormula x3 (M (x3 , ) Q(x3 )), por exemplo, existem tr es ocorr encias da vari avel x3 . Diz-se que uma ocorr encia da vari avel x X numa f ormula Form est a no alcance de uma quantica c ao y se essa ocorr encia est a numa subf ormula de do tipo y . Mutatis mutandis para para o caso da quantica c ao y . Diz-se que uma ocorr encia da vari avel x X numa f ormula Form e uma ocorr encia muda se est a no alcance de uma quantica c ao x ou de uma quantica c ao x. Se uma ocorr encia da vari avel x X numa f ormula Form n ao e muda, diz-se que e ocorr encia livre. A f ormula Form diz-se fechada se nenhuma vari avel tem ocorr encias livres em . Caso contr ario diz-se f ormula aberta. Exemplo 1.7 Na f ormula x3 (M (x3 , ) Q(x3 )) existem tr es ocorr encias da vari avel x3 . Todas essas ocorr encias est ao no alcance de uma quantica c ao x3 . Todas as ocorr encias s ao mudas. Esta f ormula e fechada. A segunda ocorr encia de x1 e a terceira ocorr encia de x1 na f ormula M (q (s(x2 )), s(x1 )) (x1 Q(x1 )) est ao no alcance de uma quantica c ao x1 . Estas ocorr encias s ao mudas. A primeira ocorr encia de x1 e livre e a ocorr encia de x2 e tamb em livre. Esta f ormula e aberta. As ocorr encia das vari aveis x1 e x2 na f ormula Q(s(x1 ))M (q (s(x2 )), s(x1 )) s ao livres. Esta f ormula e aberta. As duas ocorr encias da vari avel x1 na f ormula x1 (M (q (s(x2 )), s(x1 ))) est ao no alcance de uma quantica c ao x1 . S ao assim ocorr encias mudas. A ocorr encia da vari avel x2 est a tamb em no alcance de uma quantica c ao x1 e e uma ocorr encia livre (dado que n ao est a no alcance de uma quantica c ao x2 ou x2 ). Esta f ormula e aberta. As ocorr encias de vari aveis em termos podem ser substitu das por outros termos. As ocorr encias (livres) de vari aveis em f ormulas podem ser substitu das por termos. o em termo Deni c ao 1.8 Substituic a Para cada t, s Term e x X, o termo que se obt em por substitui c ao de x por x t em s denota-se (s) t e dene-se indutivamente como se segue. (x) x t =t (v ) x t = v se v X\{x} (c) x mbolo de constante c t = c para cada s 4

x x (f (t1 , . . . , tn )) x t = f ((t1 ) t , . . . , (tn ) t ) se t1 , . . . , tn Term e f SF tem aridade n > 0.

o em fo rmula Deni c ao 1.9 Substituic a Para cada Form, t Term e x X, a f ormula que se obt em por substitui c ao x de x por t em denota-se por () t e dene-se indutivamente como se segue. (P ) x mbolo proposicional P t = P para cada s
x x (P (t1 , . . . , tn )) x t = P ((t1 ) t , . . . , (tn ) t ) se t1 , . . . , tn Term e P SP tem aridade n > 0

(x ) x t = x
x (v ) x t = v () t se v X\{x}

(x ) x t = x
x (v ) x t = v () t se v X\{x} x () x t = () t x x ( ) x t = ( ) t ( ) t x x ( ) x t = ( ) t ( ) t x x ( ) x t = ( ) t ( ) t .

Note-se que da Deni c ao 1.9 resulta que, ao substituir uma vari avel x por um termo numa f ormula, s o nas ocorr encias livres de x s ao efectivamente realizadas as substitui c oes. Deste modo, se uma vari avel s o ocorre muda numa f ormula, a sua substitui c ao por um qualquer termo n ao modica a f ormula de partida. Exemplo 1.10 Sendo t = q (x2 ) e t = s(x3 ) tem-se que
1 (s(x1 )) x t = s(q (x2 )) 2 (x1 (Q(x1 ) M (x1 , s(x2 )))) x t = x (Q(x1 ) M (x1 , s(q (x2 )))) 1 (x1 (Q(x1 ) M (x1 , s(x2 )))) x t = x1 (Q(x1 ) M (x1 , s(x2 ))) 3 (Q(x3 ) (x3 M (q (x3 ), x1 ))) x t = Q(q (x2 )) (x3 M (q (x3 ), x1 )) 1 (Q(x3 ) (x3 M (q (x3 ), x1 ))) x t = Q(x3 ) (x3 M (q (x3 ), s(x3 ))).

Existem situa c oes em que n ao e desej avel que certas ocorr encias livres de vari aveis sejam substitu dos por determinados termos, pois tal pode alterar de modo n ao desejado a interpreta c ao da f ormula (a interpreta c ao das f ormulas, ou sem antica das f ormulas, e estudada com detalhe na sec c ao seguinte). Um desses casos tem lugar quando se considera, por exemplo, a f ormula x2 M (x2 , x1 ) e o termo s(x2 ). Quando se substitui x1 por s(x2 ) nesta f ormula obt em-se a f ormula x2 M (x2 , s(x2 )). Se se interpretar M como um predicado que exprima a usual rela c ao maior que no conjunto dos n umeros naturais, a 5

f ormula x2 M (x2 , x1 ) exprime que existe um natural maior que o representado por x1 (o que e vericado no conjunto dos naturais qualquer que seja o natural representado por x1 ). Se se interpretar s como a fun c ao que a cada natural faz corresponder o seu sucessor, x2 M (x2 , s(x2 )) exprime que existe um natural que e maior que o seu sucessor (o que n ao e vericado no conjunto dos naturais). Assim parte-se de uma f ormula que representa uma arma c ao verdadeira e obt em-se ap os a substitui c ao uma que representa uma arma c ao falsa. Repare-se que a ocorr encia de x1 em x2 M (x2 , x1 ) que vai ser substitu da e, naturalmente, livre mas est a no ambito de uma quantica c ao x2 . O termo que vai substituir t, s(x2 ) tem precisamente uma ocorr encia de x2 . A f ormula de partida x2 M (x2 , x1 ) e uma f ormula aberta pois a ( unica) ocorr encia de x1 e livre. No entanto, e muda a terceira ocorr encia de x2 em x2 M (x2 , s(x2 )), a f ormula que resulta da substitui c ao, e esta f ormula e fechada. Situa c oes indesejadas na substitui c ao de x por t em como a se que acabou de descrever est ao relacionadas precisamente com esta quest ao: na f ormula , uma ocorr encia livre da vari avel x est a no alcance de uma quantica c ao sobre uma vari avel que ocorre em t. Assim, em geral , s o se permitem substitui c oes quando tal problema n ao ocorre, caso em que se diz que o termo t e livre para x em . vel numa fo rmula Deni c ao 1.11 Termo livre para varia Para cada Form, t Term e x X , o termo t diz-se livre para x em se nenhuma ocorr encia livre de x em est a no alcance de uma quantica c ao y ou de uma quantica c ao y em que y e uma vari avel que ocorre em t. Exemplo 1.12 Tem-se que s(x2 ) n ao e livre para x1 em x2 M (x2 , x1 ) s(x1 ) e s(x3 ) s ao livres para x1 em x2 M (x2 , x1 ) s(x1 ), s(x2 ) e s(x3 ) s ao livres para x2 em x2 M (x2 , x1 ) q (x1 ) e livre para x1 em Q(x1 ) (x2 (Q(x2 ) M (x3 , s(x1 )))) q (x2 ) n ao e livre para x1 em Q(x1 ) (x2 (Q(x2 ) M (x3 , s(x1 )))) q (x2 ) e livre para x1 em Q(x1 ) (x1 (Q(x1 ) M (x3 , s(x2 )))) q (x3 ) n ao e livre para x2 em x1 (Q(x1 ) (x3 M (x3 , s(x2 )))) q (x3 ) e livre para x3 em x1 (Q(x1 ) (x3 M (x3 , s(x2 )))). De agora em diante usa-se a nota c ao [] x t para representar o resultado de substituir a vari avel x pelo termo t em seguindo a Deni c ao 1.9 com t termo livre para x em . Assim, sempre que se usar esta nota c ao est a impl cito que t tem de ser termo livre para x em . 6

1.2

Sem antica

Um alfabeto de primeira ordem introduz s mbolos de fun c ao e de predicado, isto e, nomes de fun c oes e de predicados. Esses s mbolos ou nomes podem vir a ser interpretados de muitas formas diferentes, no sentido em que a cada um desses nomes se pode fazer corresponder uma certa fun c ao (total) ou predicado. Quando se faz corresponder a cada s mbolo de fun c ao uma certa fun c ao e a cada s mbolo de predicado um certo predicado (propriedade) est a a denir-se uma estrutura de interpreta c ao. As fun c oes e predicados s ao denidos ` a custa de conjuntos, pelo que as estruturas de interpreta c ao incluem tamb em conjuntos. Na l ogica de primeira ordem que e objecto de estudo neste texto, os s mbolos de fun c ao e de predicado s ao interpretados como fun c oes e predicados envolvendo apenas um conjunto. Assim, cada estrutura de interpreta c ao inclui apenas um conjunto, designado dom nio ou universo de interpreta c ao. A interpreta c ao de um termo numa estrutura de interpreta c ao e um elemento desse dom nio e a interpreta c ao duma f ormula e uma arma c ao sobre elementos desse dom nio. No entanto, se se considerar apenas o fragmento proposicional do alfabeto, n ao existem termos e s o se podem construir f ormulas proposicionais. Havendo s o f ormulas proposicionais n ao e necess ario considerar um dom nio, basta atribuir a cada s mbolo proposicional um valor booleano. Assim, a sem antica do fragmento proposicional e mais simples que no caso geral, raz ao pela qual e apresentada em primeiro lugar, na sec c ao 1.2.1. 1.2.1 Fragmento proposicional

Apresentam-se nesta sec c ao os detalhes da sem antica do fragmento proposicional. Neste caso n ao se consideram s mbolos de fun c ao, s mbolos de predicado de aridade positiva e quanticadores. Designa-se Prop o conjunto de s mbolos proposicionais do alfabeto Alf (s mbolos de predicado de aridade 0) e Formp o conjunto das f ormulas proposicionais. o sobre Prop Deni c ao 1.13 Estrutura de interpretac a Uma valora c ao, ou estrutura de interpreta c ao, sobre Prop e uma fun c ao total V : Prop {0, 1}. Dada uma valora c ao V , designa-se por VF a sua extens ao a Formp denida indutivamente da seguinte forma: VF : Formp {0, 1} tal que VF (P ) = V (P ) para cada P Prop VF ( ) = 1 0 se VF () = 1 e VF ( ) = 1 caso contr ario

VF ( ) = VF ( ) = VF () = 1 0

1 0 1 0

se VF () = 1 ou VF ( ) = 1 caso contr ario se VF () = 0 ou VF ( ) = 1 caso contr ario

se VF () = 0 caso contr ario

Note-se que no caso da implica c ao tem-se que VF ( ) = 0 apenas se VF () = 1 e VF ( ) = 0. Uma outra forma de denir VF ( ) e a seguinte: VF ( ) = 1 se e s o se sempre que VF () = 1 ent ao VF ( ) = 0. Para simplicar a nota c ao e usual escrever apenas V () em vez de VF (). o Deni c ao 1.14 Satisfac a Dada uma valora c ao V sobre Prop e uma f ormula Formp , diz-se que V satisfaz , o que se denota V |= se V () = 1. Usa-se V |= como abreviatura de V n ao satisfaz , isto e, quando V () = 0. Dado Formp , diz-se que V satisfaz , o que se denota V |= se V |= para toda a f ormula . Exemplo 1.15 Sejam {P, Q, R, S } Prop e V uma valora c ao sobre Prop tal que V (P ) = 1, V (Q) = 0, V (R) = 0 e V (S ) = 1. Tem-se que como V (P ) = 1 ent ao V |= P como V (Q) = 0 ent ao V |= Q como V (Q) = 0 ent ao V (P Q) = 0 e portanto V |= P Q como V (S ) = 1 ent ao V (P S ) = 1 e portanto V |= P S como V (R) = 0 ent ao V (R Q) = 1 e portanto V |= R Q como V (R) = 0 e V (P Q) = 0 ent ao V (R (P Q)) = 0 e portanto V |= R (P Q). rmula poss ria e va lida Deni c ao 1.16 Fo vel, contradito Seja Formp . diz-se poss vel se existe uma valora c ao V sobre Prop que satisfaz diz-se contradit oria (ou imposs vel) se nenhuma valora c ao sobre Prop satisfaz

diz-se v alida, o que se denota |= se todas as valora c oes V sobre Prop satisfazem . As f ormulas proposicionais v alidas s ao tamb em designadas tautologias. Algumas destas no c oes podem ser estendidas a conjuntos de f ormulas. Sendo Formp , diz-se poss vel se existe uma valora c ao V sobre Prop que satisfaz todas as f ormulas em . Caso contr ario, isto e, se para cada valora c ao V sobre Prop existe sempre uma f ormula em que n ao e satisfeita por V , diz-se que e conjunto contradit orio (ou imposs vel). ncia sema ntica Deni c ao 1.17 Conseque Sendo Formp , a f ormula Formp diz-se consequ encia sem antica de , o que se denota |= se para cada valora c ao V sobre Prop , se V |= ent ao V |= . Exemplo 1.18 Seja {P, Q, R, S } Prop . Tem-se que s ao f ormulas poss veis P P Q R (P Q) s ao f ormulas contradit orias P (P ) (R S ) (R (S )) s ao f ormulas v alidas, ou tautologias P (P ) (P Q) Q {P Q, Q R} |= P R ou seja, P R e consequ encia sem antica de {P Q, Q R}. A proposi c ao seguinte mostra que para determinar se uma f ormula proposicional e ou n ao satisfeita por uma dada valora c ao V , basta saber qual o valor que V atribui aos s mbolos proposicionais presentes em . Isto signica que dadas duas valora c oes V e V (sobre P ), tem-se que se ambas atribuem os mesmos valores aos s mbolos proposicionais presentes em ent ao V |= se e s o se V |= . Proposi c ao 1.19 Sejam V e V duas valora c oes sobre Prop . Para cada Formp , se para cada s mbolo proposicional P que ocorre em se tem que V (P ) = V (P ) ent ao V |= se e s o se V |= . 9

Uma consequ encia deste resultado e que, para determinar se uma f ormula e ou n ao v alida, basta considerar um n umero nito de valora c oes. Mais precisamente, basta considerar 2n valora c oes, onde n e o n umero de s mbolos proposicionais distintos que ocorrem na f ormula. Id enticas observa c oes se podem fazer quando se considera o caso da consequ encia sem antica. 1.2.2 Caso geral

Apresentam-se agora as estruturas de interpreta c ao no caso geral. Recorde-se que se considera xado um alfabeto de primeira ordem Alf com conjunto de s mbolos de fun c ao SF, conjunto de s mbolos de predicado SP e conjunto de vari aveis X. Um predicado de aridade n (ou n- ario), n I N 0 , sobre um conjunto U e uma fun c ao total : U n {0, 1}. U 0 representa um conjunto singular. o Deni c ao 1.20 Estrutura de interpretac a Uma estrutura de interpreta c ao sobre o alfabeto de primeira ordem Alf e um par I M I = (U, I ) onde U e um conjunto n ao vazio designado universo, dom nio ou suporte, da estrutura I e uma fun c ao total, designada fun c ao de interpreta c ao, que a cada s mbolo em SF SP associa uma fun c ao total do seguinte modo para cada s mbolo de fun c ao f de aridade n, I (f ) e uma fun c ao total I (f ) : U n U para cada s mbolo de predicado P de aridade n, I (P ) e uma aplica c ao I (P ) : U n {0, 1}. Para cada s mbolo de fun c ao f de aridade 0, ou seja, para cada s mbolo de constante f , I (f ) e uma aplica c ao que ao elemento do conjunto singular U 0 faz corresponder um elemento u U (a interpreta c ao do s mbolo de constante f usual, nesta situa na estrutura de interpreta c ao I M I ). E c ao, escrever-se apenas I (f ) para denotar o elemento u. De modo semelhante, para cada s mbolo de predicado P de aridade 0, I (P ) denota um elemento de {0, 1}. Note-se que cada s mbolo de predicado de aridade 0 e um s mbolo proposicional e I e neste caso uma valora c ao proposicional. Usam-se tamb em as nota c oes fI e P para I ( f ) e I ( P ), respectivamente. M I I M I Exemplo 1.21 Considere-se o alfabeto apresentado no Exemplo 1.2. O par I M I = (Z Z, I ) onde, considerando as habituais opera c oes de soma e multiplica c ao em Z Z, 10

I( ) = 0 I (s) : Z ZZ Z tal que I (s)(n) = n + 1 para cada n Z Z I (q ) : Z ZZ Z tal que I (q )(n) = n n para cada n Z Z I (Q) : Z Z {0, 1} tal que I (Q)(n) = 1 se n e um quadrado perfeito (ou seja, se existe k Z Z tal que n = k k ) e I (Q)(n) = 0 caso contr ario I (M ) : Z Z 2 {0, 1} tal que I (M )(n1 , n2 ) = 1 se n1 e maior que n2 e I (M )(n1 , n2 ) = 0 caso contr ario, e uma estrutura de interpreta c ao sobre o alfabeto considerado. Neste caso fazse corresponder ao s mbolo de constante o inteiro 0, ao s mbolo de fun c ao s a fun c ao sucessor, ao s mbolo de fun c ao q a fun c ao que associa a cada inteiro o seu quadrado, ao s mbolo de predicado Q o predicado e quadrado perfeito e ao s mbolo de predicado M o predicado e maior do que. Tendo em conta a nota c ao acima referida, poder-se-ia tamb em ter escrito
I M I

=0

sI ZZ Z tal que sI Z M I :Z M I (n) = n + 1 para cada n Z qI ZZ Z tal que qI Z M I :Z M I (n) = n n para cada n Z QI Z {0, 1} tal que QI e um quadrado perfeito e M I : Z M I (n) = 1 se n QI ario M I (n) = 0 caso contr MI Z 2 {0, 1} tal que MI e maior que n2 e M I : Z M I (n1 , n2 ) = 1 se n1 MI ario. M I (n1 , n2 ) = 0 caso contr Por ser mais simples, ser a esta a nota c ao que se utilizar a preferencialmente na sequ encia. A sem antica, ou signicado, das f ormulas depende da interpreta c ao dos termos. Uma estrutura de interpreta c ao s o xa uma interpreta c ao para os s mbolos de fun c ao e de predicado. Como para al em de s mbolos de fun c ao um termo pode conter vari aveis, para interpretar um termo e necess ario atribuir tamb em assim necess um valor ` as vari aveis. E ario introduzir a no c ao de atribui c ao (de valores ` as vari aveis). Considera-se xada uma estrutura de interpreta c ao I M I = (U, I ) sobre Alf . o Deni c ao 1.22 Atribuic a Uma atribui c ao de X em I M I e uma fun c ao total : X U que associa a cada vari avel um elemento do universo U . Para cada k U , [x := k ] e a atribui c ao que associa k ` a vari avel x e associa (v ) a cada v X\{x}. Estas atribui c oes dizem-se x-equivalentes a .

11

o de termos Deni c ao 1.23 Interpretac a Seja uma atribui c ao de X em I M I . A interpreta c ao dos termos em I M I com e uma fun c ao [[.]] I M I : Term U denida indutivamente como se segue: [[x]] I M I = (x) se x X [[c]] e um s mbolo de constante M I se c I M I = cI
[[f (t1 , . . . , tn )]] e um s mbolo de fun c ao M I ([[t1 ]]I I M I = fI M I , . . . , [[tn ]]I M I ) se f de aridade n > 0 e t1 , . . . , tn Term.

Fixada uma estrutura de interpreta c ao e uma atribui c ao nessa estrutura, a interpreta c ao de cada termo e um valor do universo subjacente ` a estrutura de interpreta c ao. Exemplo 1.24 Considerem-se a estrutura de interpreta c ao apresentada no Exemplo 1.21 e a atribui c ao tal que (x1 ) = 1, (x2 ) = 2 e (x3 ) = 3. Tem-se que [[ ]] I M I =
I M I

= 0;

[[x1 ]] I M I = (x1 ) = 1;
[[s( )]] M I (0) = 1; M I ([[ ]]I M I ) = sI I M I = sI [[q (x2 )]] M I (2) = 4; M I ([[x2 ]]I M I ) = qI I M I = qI [[s(q (x3 ))]] M I (qI M I ([[x3 ]]I M I (qI M I (3)) = 10. I M I = sI M I )) = sI

o por estrutura de interp. com atribuic o Deni c ao 1.25 Satisfac a a a seguinte Seja uma atribui c ao de X em I M I . Denota-se tamb em por [[.]] I M I fun c ao, denida indutivamente sobre : [[.]] I M I : Form {0, 1} tal que [[P ]] mbolo proposicional P M I , para cada s I M I = PI
[[P (t1 , . . . , tn )]] M I ([[t1 ]]I I M I = PI M I , . . . , [[tn ]]I M I ), para cada P s mbolo de predicado de aridade n > 0 e t1 , . . . , tn Term

[[ ]] I M I = [[ ]] I M I =

1 0 1 0

se [[]] I M I = 1 e [[ ]]I M I =1 caso contr ario se [[]] I M I = 1 ou [[ ]]I M I =1 caso contr ario

12

[[ ]] I M I = [[]] I M I = [[x ]] I M I = [[x ]] I M I = 1 0 1 0 1 0

1 0

se [[]] I M I = 0 ou [[ ]]I M I =1 caso contr ario

se [[]] I M I =0 caso contr ario se [[]]I = 1 para cada u U M I caso contr ario se [[]]I = 1 para algum u U M I caso contr ario
[x:=u] [x:=u]

Diz-se que I M I com satisfaz Form, o que se denota I M I, |= se [[]] M I, |= sempre que I M I com n ao satisfa ca , ou seja, I M I = 1. Usa-se I = 0. sempre que [[]] I M I Dado Form, I M I com satisfaz , o que se denota I M I, |= se I M I, |= para cada . Pode tamb em denir-se a no c ao de satisfa c ao por estrutura de interpreta c ao apenas. Exemplo 1.26 Considerem-se a estrutura de interpreta c ao apresentada no Exemplo 1.21 e a atribui c ao tal que (x1 ) = 1, (x2 ) = 2 e (x3 ) = 3. Tem-se que I M I, |= Q( ) porque
[[Q( )]] M I ([[ ]]I M I (0) = 1 M I ) = QI I M I = QI

pois 0 e um quadrado perfeito I M I, |= M (x1 , x2 ) porque


[[M (x1 , x2 )]] M I ([[x1 ]]I M I (1, 2) = 0 I M I = MI M I , [[x2 ]]I M I ) = MI

pois 1 n ao e maior que 2 I M I, |= Q(s(x1 )) M (q (s(x2 )), s(x1 )) porque [[Q(s(x1 )) M (q (s(x2 )), s(x1 ))]] I M I =0
uma vez que [[Q(s(x1 ))]] M I ([[s(x1 )]]I M I (2) = 0 I M I = QI M I ) = QI

13

I M I, |= x1 Q(x1 ) pois
1 [[Q(x1 )]]I M I

[x :=5]

=0

uma vez que


1 [[Q(x1 )]]I M I

[x :=5]

1 = QI M I ([[x1 ]]I M I

[x :=5]

) = QI M I (5) = 0.

I M I, |= x3 (M (x3 , ) Q(x3 )) porque


3 [[M (x3 , ) Q(x3 )]]I M I

[x :=4]

=1

uma vez que


3 [[M (x3 )]]I M I e 3 [[Q(x3 )]]I M I

[x :=4]

3 = MI M I ([[x3 ]]I M I

[x :=4]

3 , [[ ]]I M I

[x :=4]

) = MI M I (4, 0) = 1

[x :=4]

3 = QI M I ([[x3 ]]I M I

[x :=4]

) = QI M I (4) = 1.

I M I, |= x1 Q(q (x1 )), para cada atribui c ao de X em I M I. Note-se que da Deni c ao 1.25 resulta que em f ormulas do tipo x h a que garantir a satisfa c ao de por I M I com [x := u] para cada u U , e portanto o valor de (x) n ao e, por si s o, relevante. De igual modo, em f ormulas do tipo x h a que garantir a satisfa c ao de por I M I com uma atribui c ao [x := u] para algum u U , pelo que tamb em neste caso o valor de (x) n ao e necessariamente relevante. Daqui resulta que os valores que uma atribui c ao associa ` as vari aveis que s o t em ocorr encias mudas numa f ormula s ao irrelevantes para a satisfa c ao de por I M I com . As vari aveis mudas s ao apenas auxiliares da quantica c ao e poder ao ser trocadas por outras (se certas condi c oes forem respeitadas) sem que seja modicada a satisfa c ao ou n ao satisfa c ao por I M I com . Naturalmente que o mesmo j a n ao se passa relativamente ` as vari aveis livres. Considerando, por exemplo, a f ormula M (x1 , x2 ) do Exemplo 1.26, tinha-se que I M I, |= M (x1 , x2 ) mas, se for considerada uma atribui c ao tal que (x1 ) = 4 e (x2 ) = 2 j a se tem que I M I, |= M (x1 , x2 ). rmula poss ria Deni c ao 1.27 Fo vel e contradito Form diz-se poss vel se existe uma estrutura de interpreta c ao I M I sobre Alf e uma atribui c ao de X em I M I tal que I M I, |= Form diz-se contradit oria (ou imposs vel) se n ao e poss vel. Estas no c oes podem ser estendidas tamb em a conjuntos de f ormulas, da forma esperada. rmula Deni c ao 1.28 Validade de fo A f ormula Form diz-se v alida, o que se denota |= se I M I, |= quaisquer que sejam a estrutura de interpreta c ao I M I sobre Alf e atribui c ao de X em I M I. 14

ncia sema ntica Deni c ao 1.29 Conseque Sendo Form, a f ormula Form diz-se consequ encia sem antica de , o que se denota |= se para cada estrutura de interpreta c ao I M I sobre Alf e cada atribui c ao de X em I M I , se tem que se I M I, |= ent ao I M I, |= . Como se referiu, no caso do fragmento proposicional, para estabelecer |= por via sem antica, basta considerar apenas um n umero nito de estruturas de interpreta c ao (valora c oes). Note-se que o caso geral, que tem vindo a ser apresentado nesta sec c ao, e completamente diferente. Para estabelecer |= e necess ario considerar todas as estruturas de interpreta c ao I M I = (U, I ) e todas as atribui c oes em I M I . Embora a satisfa c ao de uma f ormula por I M I com s o dependa, de facto, dos valores que atribui a um n umero nito de vari aveis, como U pode ser um qualquer conjunto n ao vazio, innito em particular, pode existir um n umero innito de atribui c oes relevantes a considerar. Assim, estabelecer por via sem antica |= no caso geral e uma tarefa com um car acter innit ario, por constraste com o car acter nit ario de id entica tarefa no caso do fragmento proposicional. Exemplo 1.30 Considerando o alfabeto apresentada no exemplo 1.2 tem-se que |= x1 (Q(x1 ) (Q(x1 ))), ou seja, x1 (Q(x1 ) (Q(x1 ))) e uma f ormula v alida |= x1 Q(x1 ), ou seja, x1 Q(x1 ) n ao e uma f ormula v alida {x1 (x2 M (x1 , x2 ))} |= x1 (x2 , M (x1 , x2 ))}, ou seja, x1 (x2 , M (x1 , x2 )) e consequ encia sem antica de {x1 (x2 M (x1 , x2 ))} {M (x1 , x2 ))} |= x1 M (x1 , x2 )}, ou seja, x1 M (x1 , x2 ) n ao e consequ encia sem antica de {M (x1 , x2 )}.

15

You might also like