Edward Hermann Lgica e Especificao 1

Lgica de Primeira Ordem

1- Modelos e Teorias
2- Definibilidade de (classes de) Estruturas (s)
3- Definibilidade em um estrutura
Ref ==> Sees 2.1 e 2.2 de [Enderton]
Edward Hermann Lgica e Especificao 2
Algumas Definies teis
Modelos e Teorias
Sejam - L uma linguagem no-lgica de primeira ordem,
- Est(L) a classe de todas as estruturas para L
- Sent(L) o conjunto das sentenas de L
Def. Seja ! " Sent(L). Define-se Mod(!) = { S / S # Est(L) e S |= !
}
Def. Seja C " Est(L). Define-se Th(C) = { $ / $ # Sent(L) e C |= $ }
Def. Sejam C " Est(L) e $ # Sent(L). Diz-se que a classe de estruturas C satisfaz
$ (C |= $ , em smbolos) , sss, para toda estrutura S # C tem-se S |= $
Def. Seja D um sistema dedutivo correto e completo para a LPO. Nota-se ! |- $ ,
sempre que existir uma prova de $ a partir de ! em D.
Def. Cn(!) = {$ / ! |- $ }
Edward Hermann Lgica e Especificao 3
Modelos e Teorias
Frmulas sobre L Estruturas para L
Uma linguagem no-lgica L
Th(D)
Th(C)
D
Th
=> 1- O que Th({S}) tem de especial ???
2- Th({S}) como uma descrio lingstica de S.
C
Edward Hermann Lgica e Especificao 4
Definio Importante em Lgica e Cincias Formais
Seja L uma linguagem da LPO.
Def. % " Formulas(L) uma teoria, sss, para toda $ # Formulas(L) , tem-se:


$ # T , se e somente se, T |- $


Fato: T " Formulas(L) uma teoria , sss, Cn(T) = T.
Def. T " Formulas(L) completa sss, para toda $ # Formulas(L) , tem-se que
ou $ # T ou $ # T.
Modelos e Teorias
Edward Hermann Lgica e Especificao 5
Definibilidade em Lgica (I)
Sentenas sobre L Estruturas para L
Uma linguagem no-lgica L
!
&
Mod(!)
Mod(&)
Mod
=> 1- Um conjunto de frmulas especifica uma classe de estruturas
2- Axiomatizao de uma Classe de estruturas
Edward Hermann Lgica e Especificao 6
Modelos e Teorias
Exerccios:
Verifique se falso ou verdadeiro:
1- Cn(!1 ' !2) = Cn(!1) ' Cn(!2)
2- Cn(!) = Th(Mod(!))
3- Se !1 " !2 ento Cn(!2) " Cn(!1)
4- Se C1 " C2 ento Th(C2) " Th(C1)
5 - ! " Th(Mod(!)) e C " Mod(Th(C))
6 - Mod(!) " Mod(Th(Mod(!))) e Th(C) " Th(Mod(Th(C)))
7- Th(C1) ' Th(C2) = Th(C1 ' C2)
Edward Hermann Lgica e Especificao 7
Questes Naturais :
1- Todo conjunto de frmulas (sobre L) define uma classe de estruturas ??
2 - Qual o conjunto de frmulas que define a classe de todas as estruturas
para uma linguagem L ?
3- Toda classe de estruturas definvel por um conjunto de frmulas, ou
seja todas as classes de estruturas so elementares ??
4- Toda classe de estruturas definvel por uma nica frmula ??
=> Existem classes no elementares
Edward Hermann Lgica e Especificao 8
Teorema da Completude: ! |= ( se e somente se ! |- (
Teorema da Compacidade: ! finitamente satisfatvel sss ! satisfatvel
Teorema da Compacidade: ! finitamente satisfatvel sss ! satisfatvel
! finitamente satisfatvel = Para todo & finito com & ) ! tem-se & sat.
=> A Classe das estruturas (para L fixa) infinitas no definvel por nenhuma
frmula. (isto , no elementar)
=> A Classe das estruturas (para L fixa) finitas no definvel por nenhum
conjunto de frmulas
Edward Hermann Lgica e Especificao 9
Definibilidade em Lgica (I)
Estrutura S
Frmulas para L
S

Para cada estrutura S tem-se a linguagem L
S
da estrutura
Th(S)
Th
!
Cn
Cn
1- Definibilidade de uma (classe de) estrutura (s) !!!!
2- Axiomatizao da Teoria de uma Estrutura
Edward Hermann Lgica e Especificao 10
Definibilidade em Lgica (II)
Definibilidade em uma estrutura:
*(x1,...,xn) uma frmula na linguagem da estrutura S
*(x1,...,xn) define uma relao n-ria (um subconjunto de S
n
)
[[*(x1,...,xn) ]] = { <a1,...,an> / ai# |S| e |= *(x1,...,xn)[+[a1/x1,...,an/xn]] }
S
Exemplos:

1. Em <N,suc>: [[,y(suc(y)=x)]]={0}, [[,z (,y(suc(y)=z)-(suc(z)=x)]]={1} e
[[suc(suc(x1)=x2)]]={<a1,a2>/ a1+2=a2 e a1,a2 # N}
2. Em <R,.,+>: [[/y(+(y,x)=y]]={0}, [[,y(.(y, y)=x)]]={r / r # R e r00},
[[,y((x1+y=x2) - (+(y,y)1 y))]]={<r1,r2> / r1<r2 e r1,r2 # R
Obs: s vezes a notao infixa usada : x+y no lugar de +(x,y)
Edward Hermann Lgica e Especificao 11
Q
Definibilidade em Lgica (I)
Homomorfismo de Estruturas
S1
S2
h
P P
h

s
h(s)
f(a,b)
a
b
h(a)
h(b)
h(f(a,b))
<|S1|,f,P>
<|S2|,g,Q>
|S1|

f

P
|S2|

g

Q
h
= f
h
(h(a),h(b))
= g(h(a),h(b))
f
h

P
h

Edward Hermann Lgica e Especificao 12
Subestruturas e Extenses
Def. Sejam S1 e S2 duas estruturas tais que a funo de incluso S1) S2
um homomorfismo. Diz-se que S1 subestrutura de S2, e que
S2 uma extenso de S1.
Def. Sejam S1 e S2 duas estruturas e h: S1 S2 um homomorfimo
bijetivo (injetivo e sobrejetivo), ento h dito ser um isomorfimo
de estruturas e S1 dita ser isomorfa a S2 (S12 S2)
=> Estruturas isomorfas satisfazem as mesmas frmulas ???
=> Estruturas que satisfazem as mesmas frmulas so isomorfas ???
Definibilidade em Lgica (I)
Edward Hermann Lgica e Especificao 13
Definibilidade em Lgica (I)
Teorema do homomorfimo: Seja h homomorfismo de S1 em S2 (estruturas para L)
Vars |S1|
|S2|
+
h h 3 +
|= P(t1,...,tn)
<S1,+>
|= P(t1,...,tn)
<S2,h3+>
<+(t1),....., +(tn)> # P
S1
<h(+(t1)),....., h(+(tn))> # P
S2

sss
sss
sss
1. Se ( no possui quantificadores nem a igualdade.
|= (
<S1,+>
|= (
<S2,h3+>
sss
2. Se ( no possui quantificadores mas sim a igualdade e
h um homomorfismo injetivo
t1=t2 t1=t2
S1 S2
a
b
h(a)=h(b)
3. Se ( possui quantificadores e mas no a igualdade e
h um homomorfismo sobrejetivo
/x( /x(
h(|S1|)
S1 S2
c
Edward Hermann Lgica e Especificao 14
Homomorfismo e Definibilidade
Definibilidade em Lgica (II)
Def. Um Automorfismo um isomorfismo (homomorfismo bijetivo) de uma estrutura
nela mesma.
Corolrio: Seja S uma estrutura e h:S S um automorfismo, ento A"S
n
definvel,
se e somente se, h(A) "S
n
definvel.
==> O Corolrio acima uma boa ferramenta para mostrar que algumas relaes/conjuntos
no so definveis.
Exemplos:

1- Na estrutura <N> nenhum conjunto diferente do vazio e do N definvel (em particular o
nmero zero no definvel). Qualquer funo bijetiva um automorfismo em N.
2- Em <N,.> a adio no definvel, pois o a funo:f(0)=0,f(1)=1 f(3)=2, f(2)=3 e
f(p1 . p2)=f(p1) . f(p2) caso contrrio, um automorfismo em <N ,.> que no
preserva a adio.
Edward Hermann Lgica e Especificao 15
<N,s>
< N,< >
<N,+> <N, . >
<N, .,+ >
Definibilidade em Lgica (II)
Relaes de extensibilidade prpria entre estruturas sobre N.