Estrutura

Definição de Estrutura
Uma estrutura é uma sequência ordenada < A,R1, ..., Rn, F1, ..., Fm, {ci  A} >
onde A é um conjunto não vazio, R1, ..., Rn são relações em A, F1, ..., Fm são
funções A e Ci são as constantes.

Definição de Tipo de Similaridade de uma Estrutura

O tipo de similaridade de uma estrutura < A,R1, ..., Rn, F1, ..., Fm, {ci  A} > é
uma sequência < r1, ..., rn ; f1, ..., fm ; k > onde ri é a aridade de Ri, fi a
aridade de Fi e k = | {ci  A} | (cardinalidade do conjunto de constantes.
Exemplo
Linguagem de tipo <2;2,1;1>
• Símbolos de predicados L, = ;
• Símbolos de funções p, q;
• Constante
 Exemplo de estrutura e Interpretação
• U = < Z, <,+,-, 0 >
Linguagem do tipo < 2; 2, 1; 1>

• L(U) – linguagem estendida (da lógica) e interpretação

– Símbolos de função P, M
– Símbolos de predicado =, L
– Símbolo de constante ō
– Símbolos adicionais de constantes ū, para cada u  Z.
[P] U ≡ + [M] U ≡ - [L] U ≡ >
[ō] U ≡ 0 [ū] U ≡ u, onde u  Z
Interpretação de termos (sem variáveis livres)
 Interpretação de sentenças
(fórmulas sem variáveis livres)
Interpretação de sentenças (cont)
 Para sentenças
(fórmulas sem variáveis livres)
Teoremas:
 Para sentenças
(fórmulas sem variáveis livres)
Teoremas (continuação):
Provas
Para fórmulas
 Teoremas

Obs: Se não houver variaveis livres as provas são

imediatas. Consideraremos o caso geral.
Prova de (i)
Prova de (i) continuação
Teoremas
 Teoremas

Prova de (i) e (ii) imediatas. Prova de (iii)

Resolver seção 2.5 ex 2 a 7, 9, 10, 14, 15
Consequência semântica
Simbolo de Identidade
Dedução natural para os operadores lógicos  e 

a
i (restrição : x não aparece livre nas hipotese da derivação)
xa

xa
e (restrição : t livre para x em a )
a [t / x]

a [t / x ]
i (restrição : t livre para x em a )
xa

[a ]1

xa  (x não aparece livre nas hipotese da derivação
e1

 e x não aparece livre em  )

 Restrição na regra de eliminação do existe

[a ]1

xa  (x não aparece livre nas hipóteses da derivação)
e 1

 e x não aparece livre em 

Suponha que não existisse a restrição x não livre em 

Então a regra de exclusão do seria :

[a ]1

xa  (x não aparece livre nas hipóteses da derivação)
e1

 Exercícios
Prove usando a definição de |-, ou refute com um
contra-exemplo, que:
|- (  x a (x)  y b(y) )   x (  a (x)  b(x) )
|-  x (a (x)   y a (y) )
 Teorema
Seja L de tipo de similaridade <r1, ..., rn ; a1,..,am ; k>, Se valem as regras:

então RI4 pode ser deduzido das regras acima

Prova: Provado por indução no caso de L ter um símbolo funcional de

aridade 1 e um símbolo de predicado de aridade 2
Exercícios
Definição

Uma teoria é um conjunto fechado por derivação, ou seja, se

G |- a, então a  G.

Um conjunto G´ tal que G = {a | G´ |- a } é chamado conjunto de

axiomas de G. Os elementos de G´ são chamados axiomas G.

obs:
a classe dos corpos de característica p (>0) é finitamente axiomatizável.
a classe dos corpos de característica 0 é axiomatizável, mas não finitamente axiom..
a classe dos corpos de característica positiva não é axiomatizável.

Ex
T = {a | G |- a } é uma teoria
 Considere um conjunto G de formulas de 1ª ordem e
K uma classe de estruturas.

Definição
Mod ( G) é uma classe de estruturas que são modelos de G

Mod ( G) = { U | U |= G, para todo a  G};

Definição
Th ( K) é a teoremas de K

Th (K) = {a | U |= a, para todo U  K }

Ex. 1
Se G  G´ então Mod G´ Mod G.

Ex. 2 Ex. 3
Mod  G  G   Mod G  Mod G Mod  G  G   Mod G  Mod G
Ex. 4 Ex 5
Se K  K então Th K  Th K. Se Th  K  K´  Th K  Th K´

Ex 6 Ex 7
Se Th  K  K ´  Th K  Th K´ Se K  Mod (G), então G  Th( K )

Ex 8 Ex 9
G  Th Mod (G). K  Mod ( Th (K) )

Ex 10
Th Mod (G) é uma teoria.