Logica - Calculo de Predicados

Clculo de Predicados de Primeira-Ordem
da Lgica Clssica
Logica EI
Departamento de Matematica
Universidade do Minho, Braga
2008 /2009
Calculo de Predicados de Primeira-Ordem da L ogica Classica p. 1/63
Sintaxe do Clculo de Predicados
Denicao 3.1 Um tipo de linguagem e um terno (F, R, N), em
que:
a) F e um conjunto, numeravel ou nito, de smbolos designados
por smbolos de funcao;
b) R e um conjunto, numeravel ou nito, de smbolos designados
por smbolos de relacao ou smbolos de predicado;
c) N e uma fun cao de domnio F R e conjunto de chegada N
0
.
Para cada s F R, chamamos ao n umero natural N(s) a aridade
de s. Os smbolos de fun cao de aridade 0 sao chamados constantes.
Exemplo 3.2 O terno ({0, s, +, }, {=, <}, N), onde N(0) = 0,
N(s) = 1, N(+) = 2, N() = 2, N(=) = 2 e N(<) = 2, e um tipo
de linguagem. Chamaremos L
Arit
a este tipo de linguagem para a
Aritmetica.
Caso nada seja dito em contrario, L e utilizado para representar um
tipo linguagem (F, R, N), cujo conjunto das constantes e C.
Denicao 3.3 O alfabeto A
L
, do Calculo de Predicados, induzido
por um tipo de linguagem L e o conjunto formado pelos seguintes
smbolos:
a) smbolos de fun cao e smbolos de predicado de L;
b) , , , , e , chamados conectivos proposicionais;
c) x
0
, x
1
, ..., x
n
, ..., chamados variaveis (de indivduo), formando
um conjunto numeravel, notado por V;
d) e , chamados quanticador existencial e quanticador
universal respectivamente;
e) (, ) e , chamados smbolos auxiliares.
Denicao 3.4 O conjunto de L-termos, que notamos por T
L
, e o
conjunto denido indutivamente, sobre o conjunto de palavras sobre
A
L
, pelo seguinte conjunto de regras:
a) para cada variavel x
i
V, x
i
T
L
x
i
;
b) para cada constante c de L, c T
L
c
;
c) para cada smbolo de fun cao f de L, de aridade n 1,
t
1
T
L
... t
n
T
L
f(t
1
, ..., t
n
) T
L
f .
Exemplo 3.5 A palavra (x
1
, s(0)) sobre o alfabeto A
L
Arit
e um
L
Arit
-termo. De facto,
x
1
T
L
Arit
x
1
0 T
L
Arit
0
s(0) T
L
Arit
s
(x
1
, s(0)) T
L
Arit
e uma arvore de forma cao de (x

1
, s(0)).
Notacao: No caso em que f e um smbolo de fun cao binario e t
1
e t
2
sao L-termos, e usual a nota cao t
1
ft
2
(possivelmente entre
parentesis) para representar o L-termo f(t
1
, t
2
). Por exemplo, a
nota cao x
1
s(0) representara o L
Arit
-termo (x
1
, s(0)).
Denicao 3.6 Chamaremos subtermos aos sub-objectos de um
L-termo.
Exemplo 3.7 O conjunto dos subtermos de x
1
s(0) e
{x
1
s(0), x
1
, s(0), 0}.
A sequencia de objectos
0, s(0), x
1
, x
1
s(0)
e uma sequencia de forma cao de x
1
s(0).
A deni cao indutiva do conjunto de L-termos e determinista, Assim,
existe um teorema de recursao estrutural para L-termos, que pode ser
enunciado como se segue.
Teorema 3.8 [Teorema da Recursao Estrutural para L-Termos] Sejam
X um conjunto, g
V
: V
L
X e g
C
: C X fun coes e seja, para cada
smbolo de fun cao f, de aridade n 1, g
f
: X
n
X uma fun cao.
Entao, existe uma e uma so fun cao G : T
L
X tal que:
a) Para todo x V, G(x) = g
V
(x);
b) Para todo c C, G(c) = g
C
(c);
c) para todo o smbolo de fun cao f, de aridade n 1, e para todo
t
1
, ..., t
n
T
L
,
G(f(t
1
, ..., t
n
)) = g
f
(G(t
1
), ..., G(t
n
)).
Denicao 3.9 A fun cao VAR : T
L
P(V), que a cada L-termo t faz
associar o conjunto VAR(t) das variaveis que ocorrem em t, e
denida, por recursao estrutural em T
L
, do seguinte modo:
a) Para todo x V, VAR(x) = {x};
b) Para todo c C, VAR(c) = ;
t
1
, ..., t
n
T
L
,
VAR(f(t
1
, ..., t
n
)) =
n
_
i=1
VAR(t
i
).
Exemplo 3.10 O conjunto das variaveis que ocorrem no L
Arit
-termo
x
0
s(x
1
) e
VAR(x
0
s(x
1
)) = VAR(x
0
) VAR(s(x
1
))
= {x
0
} VAR(x
1
)
= {x
0
, x
1
}.
Denicao 3.11 Sejam x V e t T
L
. A fun cao [t/x] : T
L
T
L
que a cada L-termo t
0
faz associar o L-termo que resulta da
substitui cao em t
0
, da variavel x pelo termo t, e denida, por recursao
estrutural, do seguinte modo:
a) para todo y V, y[t/x] =
_
_
t se y = x
y se y = x
b) para todo c C, c[t/x] = c;
t
1
, ..., t
n
T
L
,
f(t
1
, ..., t
n
)[t/x] = f(t
1
[t/x], ..., t
n
[t/x]).
O L-termo que resulta da substitui cao em t
0
, da variavel x pelo termo
t, e representado por t
0
[t/x].
Exemplo 3.12 O L
Arit
-termo que resulta da substitui cao de x
1
por
s(0), em x
0
s(x
1
), e
(x
0
s(x
1
))[s(0)/x
1
] = (x
0
[s(0)/x
1
] s(x
1
)[s(0)/x
1
])
= (x
0
s(x
1
[s(0)/x
1
]))
= (x
0
s(s(0))).
Uma vez que o conjunto de L-termos e denido indutivamente, existe
um teorema de indu cao estrutural para este conjunto, que pode ser
enunciado como se segue.
Teorema 3.13 [Indu cao Estrutural em L-Termos] Seja P(t) uma
propriedade que depende de um L-termo t. Se:
a) para todo x V, P(x) e valida;
b) para todo c C, P(c) e valida;
t
1
, ..., t
n
T
L
, se P(t
1
) e ... e P(t
n
) sao validas, entao
P(f(t
1
, ..., t
n
)) e valida
entao, para todo t T
L
, P(t) e valida.
Proposicao 3.14 Dados L-termos t
1
e t
2
e dada uma variavel x, se
x VAR(t
1
), entao t
1
[t
2
/x] = t
1
.
Dem: Por indu cao estrutural em t
1
. (Exerccio.)
Denicao 3.15 Seja L um tipo de linguagem. Uma palavra sobre o
alfabeto A
L
da forma R(t
1
, ..., t
n
), onde R e um smbolo de rela cao
de aridade n e t
1
, ..., t
n
sao L-termos, e chamada uma L-formula
atomica. O conjunto das L-formulas at omicas e representado por
At
L
.
Exemplo 3.16 As palavras < (x
0
, s(0)) e = (x
0
, x
1
), sobre o
alfabeto A
L
Arit
, sao L
Arit
-formulas atomicas.
Notacao: Quando R e um smbolo de rela cao binario e t
1
e t
2
sao
L-termos, utilizamos a nota cao t
1
Rt
2
(possivelmente entre parentesis)
para representar a L-formula atomica R(t
1
, t
2
). Por exemplo, a
nota cao x
0
< s(0) representara a L
Arit
-f ormula atomica < (x
0
, s(0)).
Denicao 3.17 Seja L um tipo de linguagem. O conjunto das
L-formulas, que representamos por F
L
, e o conjunto denido
indutivamente, sobre o conjunto de palavras sobre A
L
, pelas regras
seguintes:
a) F
L
;
b) F
L
At
L
, para cada At
L
;
c)
F
L
() F
L
;
d)
F
L
F
L
() F
L
, para cada {, , , };
e)
F
L
(
x
) F
L
x , para cada x V;
f)
F
L
(
x
) F
L
x , para cada x V.
Exemplo 3.18 A palavra (
x
0
(
x
1
(((x
0
< s(0))) (x
0
= x
1
))),
sobre o alfabeto induzido pelo tipo de linguagem L
Arit
, e uma
L
Arit
-formula, como prova a arvore de forma cao seguinte:
(x
0
< s(0)) F
L
Arit
At
L
Arit
((x
0
< s(0))) F
L
Arit
(x
0
= x
1
) F
L
Arit
At
L
Arit
(((x
0
< s(0))) (x
0
= x
1
)) F
L
Arit
(
x
1
(((x
0
< s(0))) (x
0
= x
1
))) F
L
Arit
x
1
(
x
0
(
x
1
(((x
0
< s(0))) (x
0
= x
1
))) F
L
Arit
x
0
Para simplica cao de escrita, omitiremos alguns parentesis na escrita
de formulas; os parentesis extremos e os parentesis `a volta de
nega coes ou de quanticadores sao geralmente omitidos. Por
exemplo, a L
Arit
-formula do exemplo anterior podera ser representada
por
x
0
x
1
((x
0
< s(0)) (x
0
= x
1
)).
Uma vez que o conjunto de L-formulas se encontra denido atraves
de uma deni cao indutiva determinista, existem teoremas de recursao
e de indu cao estrutural para L-formulas.
Teorema 3.19 [Recursao Estrutural em L-formulas] Sejam X um
conjunto e x X e sejam g : At
L
X, g
: X X,
g
: X X X (para cada {, , , }) e g
Q
: X X
(para cada Q {, }) fun coes. Entao, existe uma e uma so fun cao
G : F
L
X tal que:
a) G() = x;
b) G() = g(), para todo At
L
;
c) G()) = g
(G()), para todo F

L
;
d) G() = g
(G(), G()), para todo {, , , } e para

todo , F
L
;
e) G(Q
y
) = g
Q
(G()), para todo Q {, }, para todo y V e
para todo F
L
.
Teorema 3.20 [Indu cao Estrutural em L-Formulas] Seja L um tipo
de linguagem e seja P() uma propriedade que depende de uma
L-formula . Se:
a) P();
b) P(), para todo At
L
;
c) P() P(), para todo F
L
;
d) P() e P() P(), para todo {, , , } e para
todo , F
L
;
e) P() P(Q
x
), para todo Q {, }, para todo x V e para
todo F
L
;
entao, para todo F
L
, P().
Denicao 3.21 Sejam L um tipo de linguagem e F
L
. Aos
sub-objectos de damos a designa cao de sub-formulas de .
Denicao 3.22 Dada uma sub-formula de uma L-formula da
forma Q
x
, em que Q {, } e x V, o alcance desta ocorrencia
do quanticador Q
x
em e a L-formula .
Exemplo 3.23 Na L
Arit
-formula
x
0
(
x
1
(x
0
= s(x
1
)) ((x
0
= 0)
x
1
(x
1
< x
0
))),
a) o alcance de
x
0
e
x
1
(x
0
= s(x
1
)) ((x
0
= 0)
x
1
(x
1
< x
0
));
b) o alcance da primeira ocorrencia do quanticador
x
1
e x
0
= s(x
1
);
c) o alcance da segunda ocorrencia do quanticador
x
1
e x
1
< x
0
.
Denicao 3.24 Numa L-formula , uma ocorrencia numa
sub-formula atomica de de uma variavel x diz-se livre quando essa
ocorrencia nao esta no alcance de nenhum quanticador Q
x
(com
Q {, }); caso contrario, essa ocorrencia de x diz-se ligada.
Representamos por LIV() o conjunto das variaveis que tem
ocorrencias livres em e por LIG() o conjunto das variaveis que tem
ocorrencias ligadas em .
Exemplo 3.25 Seja a L
Arit
-formula
x
1
(( x
0
..
(a)
< s(0))
x
0
( x
0
..
(b)
= x
1
..
(a)
)).
A ocorrencia (a) de x
0
e livre, enquanto que a ocorrencia (b) de x
0
,
por se encontrar no alcance do quanticador
x
0
, e ligada. A
ocorrencia (a) de x
1
e tambem ligada, pois encontra-se no alcance do
quanticador
x
1
. Assim, LIV() = {x
0
} e LIG() = {x
0
, x
1
}.
Denicao 3.26 A L-formula resultante da substituicao, numa
L-formula , de todas as ocorrencias livres de uma variavel x
por um L-termo t, que sera notada por [t/x], e denida, por
recursao estrutural em , como:
a) [t/x] = ;
b) para todo o smbolo de rela cao R, de aridade n, e para todo
t
1
, ..., t
n
T
L
, R(t
1
, ..., t
n
)[t/x] = R(t
1
[t/x], ..., t
n
[t/x]);
c) Para todo F
L
, ()[t/x] = ([t/x]);
d) Para todo {, , , } e para todo
1
,
2
F
L
,
(
1
2
)[t/x] = (
1
[t/x]
2
[t/x]);
e) Para todo Q {, }, para todo y V e para todo F
L
,
(Q
y
)[t/x] =
_
_
(Q
y
) se y = x
(Q
y
[t/x]) se y = x
.
Arit
-formula
x
1
((x
0
< s(0))
x
0
(x
0
= x
1
)).
Entao,
[s(x
1
)/x
0
] =
x
1
((s(x
1
) < s(0))
x
0
(x
0
= x
1
)).
Denicao 3.28 Uma variavel x diz-se substituvel por um
L-termo t numa L-formula quando nao existem ocorrencias livres
de x no alcance de quanticadores Q
y
, em que Q {, } e
y VAR(t), ou, equivalentemente, quando, para toda a ocorrencia
livre de x em , se essa ocorrencia esta no alcance de um
quanticador Q
y
, com Q {, }, entao y VAR(t).
Arit
-formula
x
1
(x
1
< x
2
) (x
1
< x
2
).
a) x
0
e substituvel por x
1
+s(x
2
) em , pois x
0
nao tem
ocorrencias livres em .
b) x
1
e substituvel por x
1
+s(x
2
) em , uma vez que a unica
ocorrencia livre de x
1
em nao se encontra no alcance de
qualquer quanticador.
c) x
2
nao e substituvel por x
1
+s(x
2
) em , pois x
2
tem uma
ocorrencia livre no alcance do quanticador
x
1
e
x
1
VAR(x
1
+s(x
2
)).
d) Em existem duas ocorrencias livres de x
2
. Uma dessas
ocorrencias esta no alcance de um unico quanticador,
x
1
. A
outra ocorrencia nao esta no alcance de nenhum quanticador.
Logo, x
2
e substituvel por um L-termo t em se e so se
x
1
VAR(t).
Observacao: Observe que mesmo quando uma variavel x nao e
substituvel por um L-termo t numa L-f ormula , a opera cao de
substitui cao de x por t em encontra-se denida. Por exemplo, x
2
nao e substituvel por x
1
+s(x
2
) em
=
x
1
((x
1
< x
2
) (x
1
< x
2
));
no entanto, a L
Arit
-formula resultante da substitui cao de x
2
por
x
1
+s(x
2
) em
x
1
(x
1
< x
2
) (x
1
< x
2
)) encontra-se denida e e
igual a
x
1
(x
1
< x
1
+s(x
2
)) (x
1
< x
1
+s(x
2
))).
Contudo, note que a primeira ocorrencia da variavel x
2
em , que era
livre, foi substituda pelo termo x
1
+s(x
2
), cuja ocorrencia de x
1
passou a estar ligada ao quanticador
x
1
.
Convencao: Caso nada seja dito em contrario, sempre que
escrevermos [t/x], assumimos que a variavel x e substituvel pelo
L-termo t na L-formula .
Proposicao 3.30 Dadas uma L-formula e uma variavel x e dado
um L-termo t,
x livres() = [t/x] = .
Dem: Por indu cao estrutural em .
a) Caso = . Entao, [t/x] = [t/x]
(1)
= = .
Justicac oes
(1) Denic ao de substituic ao.
b) Caso = R(t
1
, ..., t
n
), com R um smbolo de rela cao, n-ario, e
t
1
, ..., t
n
T
L
. Assim, temos que para todo 1 i n, x VAR(t
i
),
de outra forma teramos x livres(), uma contradi cao. Portanto,
aplicando a Proposi cao 3.14, para todo 1 i n,
t
i
[t/x] = t
i
. Logo:
[t/x] = R(t
1
, ..., t
n
)[t/x]
(1)
= R(t
1
[t/x], ..., t
n
[t/x])
(2)
= R(t
1
, ..., t
n
) = .
Justicac oes
(2) Para todo 1 i n, t
i
[t/x] = t
i
.
c) Caso = Q
y
1
, com Q {, }, y V e
1
F
L
.
Caso x = y. Entao:
[t/x] = (Q
y
1
)[t/x]
(1)
= Q
y
1
= .
Justicac oes
Caso x = y. Entao:
[t/x] = (Q
y
1
)[t/x]
(1)
= Q
y
1
[t/x]
(2)
= Q
y
1
= .
Justicac oes
(2) Por hip otese, x livres(). Como livres(
1
) livres() {y} e
x = y, segue-se que x livres(
1
). Logo, por hip otese de induc ao,
1
[t/x] =
1
.
d) Os restantes casos sao deixados como exerccio.
Denicao 3.31 Uma L-formula diz-se uma L-sentenca, ou uma
L-formula fechada, quando nao tem ocorrencias livres de variaveis,
i.e., LIV() = .
Proposicao 3.32 Sejam uma L-senten ca, x uma variavel e t um
L-termo. Entao, [t/x] = .
Dem: Imediata, a partir da proposi cao anterior.
Semntica do Clculo de Predicados
Denicao 3.33 Uma L-estrutura E e um par (D, ) tal que :
a) D e um conjunto nao vazio, chamado o domnio de E e notado
por dom(E);
b) e uma fun cao de domnio F R, chamada a funcao
interpretacao de E, tal que :
para cada constante c de L, faz corresponder um elemento c
de D;
para cada smbolo de fun cao f de L, de aridade n 1, faz
corresponder uma fun cao f : D
n
D, n-aria;
para cada smbolo de rela cao R de L, de aridade n, faz
corresponder uma rela cao R D
n
, n-aria.
Para cada smbolo s F R, s e chamada a interpretacao de s
em E.
Exemplo 3.34
a) Seja E
Arit
= (N
0
, ), onde:
0 e o n umero natural zero;
s e a fun cao de sucessor em N
0
, i.e., s e a fun cao
N
0
N
0
n n + 1
;
+ e a fun cao de adi cao em N
0
;
e a fun cao de multiplica cao em N
0
;
= e a rela cao de igualdade em N
0
;
< e a rela cao de menor do que em N
0
.
Entao, E
Arit
e uma L
Arit
-estrutura.
Exemplo 3.34
b)

E tambem uma E
Arit
-estrutura o par ({a, b}, ), onde:
0 = a;
s e a fun cao {a, b} {a, b}
x x
;
+ e a fun cao {a, b} {a, b} {a, b}
(x, y) a
;
e a fun cao {a, b} {a, b} {a, b}
(x, y) b
;
= = {(a, a), (b, b)};
< = {(a, b)}.
Denicao 3.35 Uma fun cao a : V dom(E), do conjunto das
variaveis para o domnio de uma L-estrutura E, e chamada uma
atribuicao em E.
Exemplo 3.36 A fun cao
a
ind
: V N
0
x
i
i
e uma atribui cao em E
Arit
.
Denicao 3.37 O valor de um L-termo t para uma atribuicao a
numa L-estrutura E = (D, ), que notamos por t[a]
E
ou,
simplesmente, por t[a] (quando e claro qual a estrutura que deve ser
considerada) e um elemento de D denido, por recursao estrutural em
t, como:
a) Para todo x V, x[a] = a(x);
b) Para todo c C, c[a] = c;
t
1
, ..., t
n
T
L
,
f(t
1
, ..., t
n
)[a] = f(t
1
[a], ..., t
n
[a]).
Exemplo 3.38 O valor do L
Arit
-termo s(x
0
) (x
0
+x
2
) para a
atribui cao a
ind
, na L
Arit
-estrutura E
Arit
, e
(s(x
0
) (x
0
+x
2
))[a
ind
] = s(x
0
)[a
ind
] (x
0
+x
2
)[a
ind
]
= s(x
0
[a
ind
]) (x
0
[a
ind
] +x
2
[a
ind
]) = (0 + 1) (0+2) = 2.
Proposicao 3.39 Dado um L-termo t e dadas atribui coes a
1
e a
2
numa L-estrutura E = (D, ),
xVAR(t)
a
1
(x) = a
2
(x) = t[a
1
] = t[a
2
].
Dem: Por indu cao estrutural em t.
a) Caso t seja uma variavel. Entao, t VAR(t). Logo, por hipotese,
a
1
(t) = a
2
(t) (). Assim,
t[a
1
]
(1)
= a
1
(t)
()
= a
2
(t)
(1)
= t[a
2
].
Justicac oes
(1) Denic ao de valor de um termo para uma atribuic ao.
b) Caso t seja uma constante. Entao,
t[a
1
]
(1)
= t
(1)
= t[a
2
].
Justicac oes
c) Caso t seja da forma f(t
1
, ..., t
n
) (com f um smbolo de fun cao de
aridade n 1). Entao,
t[a
1
] = f(t
1
, ..., t
n
)[a
1
]
(1)
= f(t
1
[a
1
], ..., t
n
[a
1
])
(2)
= f(t
1
[a
2
], ..., t
n
[a
2
])
(1)
= f(t
1
, ..., t
n
)[a
2
] = t[a
2
].
Justicac oes
(2) Para 1 i n, como VAR(t
i
) VAR(t), da hip otese segue-
se que:
xVAR(t
i
)
a
1
(x) = a
2
(x). Logo, por hip otese de
induc ao,
1in
t
i
[a
1
] = t
i
[a
2
].
De a), b) e c), por indu cao estrutural em L-termos, pode agora
concluir-se que, para todo t T
L
,
(
xVAR(t)
a
1
(x) = a
2
(x)) = t[a
1
] = t[a
2
].
Notacao: Sejam a uma atribui cao numa L-estrutura E, d dom(E)
e x uma variavel. Escrevemos a
_
x
d
_
para a atribui cao tal que:
yV
a
_
x
d
_
(y) =
_
_
d se y = x
a(y) se y = x
.
Proposicao 3.40 Sejam t
0
e t
1
L-termos e seja a uma atribui cao
numa L-estrutura. Entao,
t
0
[t
1
/x][a] = t
0
[a
_
x
t
1
[a]
_
].
Dem: Por indu cao estrutural em t
0
. (Exerccio.)
Denicao 3.41 O valor logico de uma L-formula numa
L-estrutura E = (D, ) para uma atribuicao a em E, que
notamos por [a]
E
ou, simplesmente, por [a] (quando e claro qual a
estrutura que deve ser considerada) e um elemento do conjunto {0, 1}
denido, por recursao em , como:
a) [a] = 0;
b) R(t
1
, ..., t
n
)[a] = 1 sse (t
1
[a], ..., t
n
[a]) R, para todo o smbolo
de rela cao R de aridade n e para todo t
1
, ..., t
n
At
L
;
c) (
1
)[a] = 1
1
[a], para todo
1
F
L
;
d) (
1

2
)[a] = min(
1
[a],
2
[a]), para todo
1
,
2
F
L
;
e) (
1

2
)[a] = max(
1
[a],
2
[a]), para todo
1
,
2
F
L
;
f) (
1

2
)[a] = 0 sse
1
[a] = 1 e
2
[a] = 0, para todo
1
,
2
F
L
;
g) (
1

2
)[a] = 1 sse
1
[a] =
2
[a], para todo
1
,
2
F
L
;
h) (
x
1
)[a] = 1 sse existe d D tal que
1
[a
_
x
d
_
] = 1
sse max{
1
[a
_
x
d
_
] : d D} = 1,
para todo x V e para todo
1
F
L
;
i) (
x
1
)[a] = 1 sse para todo d D,
1
[a
_
x
d
_
] = 1
sse min{
1
[a
_
x
d
_
] : d D} = 1,
para todo x V e para todo
1
F
L
.
Exemplo 3.42 O valor logico da L
Arit
-f ormula
x
1
x
2
(x
3
+x
2
= s(s(0)) x
1
),
em E
Arit
, para a atribui cao a
ind
, e 1, pois a seguinte proposi cao da
Aritmetica e verdadeira,
n
1
N
0

n
2
N
0
3 + n
2
= 2 n
1
Denicao 3.43 Dizemos que uma L-estrutura E satisfaz uma
L-formula para uma atribuicao a em E, e escrevemos E |= [a],
quando o valor logico de em E para a e 1. Dizemos que a
L-estrutura E nao satisfaz para a atribuicao a, e escrevemos
E |= [a], quando o valor logico de em E para a e 0.
Proposicao 3.44 Sejam E uma L-estrutura e a uma atribui cao em
E. Entao:
a) E |=
x
[a] sse existe d dom(E) tal que E |= [a
_
x
d
_
];
b) E |=
x
[a] sse para todo d dom(E), E |= [a
_
x
d
_
];
c) E |=
x
[a] sse para todo d dom(E) tal que E |= [a
_
x
d
_
];
d) E |=
x
[a] sse existe d dom(E), E |= [a
_
x
d
_
].
Dem: Imediata, a partir da deni cao de valor logico de L-formulas.
Por exemplo:
E |=
x
[a] sse
x
[a]
E
= 0
sse para todo d dom(E), [a
_
x
d
_
]
E
= 0
sse para todo d dom(E), E |= [a
_
x
d
_
].
Arit
-formula
x
1
((x
1
= x
0
)
x
2
(s(x
2
) = x
1
)).
Entao
E
Arit
|=
x
1
((x
1
= x
0
)
x
2
(s(x
2
) = x
1
))[a
ind
]
sse para todo n
1
N
0
,
E
Arit
|= (x
1
= x
0
)
x
2
(s(x
2
) = x
1
)[a
ind
_
x
1
n
1
_
]
sse para todo n
1
N
0
,
E
Arit
|= (x
1
= x
0
)[a
ind
_
x
1
n
1
_
]
ou E
Arit
|=
x
2
(s(x
2
) = x
1
)[a
ind
_
x
1
n
1
_
]
sse para todo n
1
N
0
,
E
Arit
|= (x
1
= x
0
)[a
ind
_
x
1
n
1
_
]
ou existe n
2
N
0
tal que E
Arit
|= (s(x
2
) = x
1
)[a
ind
_
x
1
n
1
__
x
2
n
2
_
]
sse para todo n
1
N
0
,
n
1
= 0 ou existe n
2
N
0
tal que n
2
+ 1 = n
1
Assim, uma vez que a ultima proposi cao e verdadeira, temos que
E
Arit
satisfaz para a
ind
ou, por outras palavras, o valor logico de
em E
Arit
para a
ind
e 1.
Proposicao 3.46 Seja uma L-formula e sejam a
1
e a
2
atribui coes
numa L-estrutura E.
a) Se a
1
(x) = a
2
(x) para todo x LIV(), entao E |= [a
1
] sse
E |= [a
2
].
b) Se x LIV(), entao E |= [a
1
] sse para todo d dom(E),
E |= [a
1
_
x
d
_
].
c) Se e uma L-senten ca, entao E |= [a
1
] sse E |= [a
2
].
Dem:
a) Por indu cao estrutural em . (Exerccio.)
b) e c) Exerccio. (Sugestao: Aplique a alnea a).)
Proposicao 3.47 Sejam uma L-formula, E = (D, ) uma
L-estrutura, a uma atribui cao em E e x uma variavel substituvel por
um L-termo t em . Entao,
E |= [t/x][a] sse E |= [a
_
x
t[a]
_
].
Dem: a) Caso x LIV(),
E |= [t/x][a]
(1)
sse E |= [a]
(2)
sse E |= [a
_
x
t[a]
_
].
Justicac oes
(1) Da Proposic ao 3.30, por x LIV(), [t/x] = .
(2) Como x LIV() e t[a] dom(E), por (i) da proposic ao anterior,
E |= [a] sse E |= [a
_
_
x
t[a]
_
_
].
b) Caso x LIV(), a demonstra cao segue por indu cao estrutural em
.
1) = , de outra forma x LIV().
2) Caso = R(t
1
, ..., t
n
), com R smbolo de rela cao n-ario, e
t
1
, ..., t
n
T
L
. Entao:
E |= R(t
1
, ..., t
n
)[a
_
x
t[a]
_
]
(1)
sse (t
1
[a
_
x
t[a]
_
], ..., t
n
[a
_
x
t[a]
_
]) R
(2)
sse (t
1
[t/x][a], ..., t
n
[t/x][a]) R
(1)
sse E |= R(t
1
[t/x], ..., t
n
[t/x])[a]
(3)
sse E |= R(t
1
, ..., t
n
)[t/x][a].
Justicac oes
(1) Denic ao de satisfac ao.
(2) Pela Proposic ao 3.40, para todo 1 i n, t
i
[a
_
_
x
t[a]
_
_
] = [t/x]t
i
[a].
3) Caso =
y
1
. Entao, y = x (de outra forma x LIV()) e
y VAR(t) (de outra forma x nao seria substituvel por t em ).
Assim,
E |= (
y
1
)[t/x][a]
(1)
sse E |=
y
1
[t/x][a]
(2)
sse para todo d dom(E), E |=
1
[t/x][a
_
y
d
_
]
(3)
1
[a
_
y
d
_
_
_
_
_
x
t[a
_
_
y
d
_
_
]
_
_
_
_
]
(4)
1
[a
_
x
t[a]
__
y
d
_
]
(2)
sse E |=
y
1
[a
_
x
t[a]
_
]
Justicac oes
(2) Denic ao de satisfac ao.
(3) Hip otese de induc ao.
(4) Como y = x,
a
_
_
x
t[a]
_
_
_
_
y
d
_
_
= a
_
_
y
d
_
_
_
_
x
t[a]
_
_
.
Da Proposic ao 3.40, por y VAR(t), t[a] = t[a
_
_
y
d
_
_
].
Logo,
a
_
_
x
t[a]
_
_
_
_
y
d
_
_
= a
_
_
y
d
_
_
_
_
_
_
x
t[a
_
_
y
d
_
_
]
_
_
_
_
.
4) Os restantes casos sao deixados como exerccio.
Denicao 3.48 Dizemos que uma L-formula e valida numa
L-estrutura E, e escrevemos E |= , quando, para toda a atribui cao
a em E, E |= [a]. Utilizamos a nota cao E |= quando nao e
valida em E, i.e., quando existe uma atribui cao a em E tal que
E |= [a].
Denicao 3.49 Dizemos que uma L-formula e (universalmente)
valida, e escrevemos |= , quando e valida em todas as
L-estruturas. Utilizamos a nota cao |= quando nao e
(universalmente) valida, i.e., quando existe uma L-estrutura E tal
que E |= .
Denicao 3.50 Dizemos que uma L-formula e logicamente
equivalente a uma L-formula , escrevendo , quando
|= .
Proposicao 3.51 Dadas L-formulas e e dadas variaveis x e y,
sao validas as proposi coes que se seguem.
a)
x

x
b)
x

x
c)
x

x
d)
x

x
e)
x
( )
x

x
f)
x
( )
x

x
g) (
x

x
)
x
( ) h)
x
( ) (
x

x
)
i) |=
x
( ) (
x

x
) j) |= (
x

x
)
x
( )
k)
x
y

y
x
l)
x
y

y
m) |=
x
y

y
x
n) |=
x
y

y
o) Q
x
se x LIV() (Q {, })
p)
x

y
[y/x] se y LIV() e x e substituvel por y em
q)
x

y
[y/x] se y LIV() e x e substituvel por y em
Dem: a) Sejam L uma linguagem, E uma L-estrutura e a uma
atribui cao em E. (Queremos demonstrar que: E |=
x
[a] sse
E |=
x
[a].)
E |=
x
[a]
(1)
sse para todo d dom(E) E |= [a
_
x
d
_
]
(2)
sse para todo d dom(E) E |= [a
_
x
d
_
]
(3)
sse E |=
x
[a]
(2)
sse E |=
x
[a]
Justicac oes
(1) Por (b) da Proposic ao 3.44.
(2)
F
L
E |= [a] sse E |= [a] (Exerccio).
(3) Por (c) da Proposic ao 3.44.
(4)
F
L
E |= [a] sse E |= [a] (Exerccio).
n) Seja L uma linguagem contendo um smbolo R de rela cao, binario.
Seja E uma L-estrutura de domnio {a, b}, onde a interpreta cao de R
e o conjunto {(a, b), (b, a)}. Entao,
E |=
x
0
x
1
R(x
0
, x
1
),
mas
E |=
x
1
x
0
R(x
0
, x
1
) (Porque?).
Logo, E |=
x
0
x
1
R(x
0
, x
1
)
x
1
x
0
R(x
0
, x
1
).
A demonstra cao das restantes proposi coes e deixada como exerccio.
Denicao 3.52 Uma L-formula e uma instancia de uma formula
do Calculo Proposicional quando existe uma enumera cao
p
1
, ..., p
n
de VAR() e existem L-formulas
1
, ...,
n
tais que
= [
1
/p
1
; ...;
n
/p
n
], ou seja, e a L-formula obtida de
substituindo, em simultaneo, cada p
i
por
i
.
Exemplo 3.53 A L
Arit
-formula
(x
0
= x
1
) (
x
0
x
1
(x
0
+x
1
= 0) (x
0
= x
1
))
e uma instancia da formula p
0
(p
1
p
0
) do Calculo Proposicional,
pois:
(x
0
= x
1
) (
x
0
x
1
(x
0
+x
1
= 0) (x
0
= x
1
))
= (p
0
(p
1
p
0
))[(x
0
= x
1
)/p
0
;
x
0
x
1
(x
0
+x
1
= 0)/p
1
].
Proposicao 3.54 Se uma L-formula e uma instancia de uma
tautologia do Calculo Proposicional, entao e valida em qualquer
L-estrutura.
Exemplo 3.55 A L
Arit
-formula
= ((x
0
= x
1
) (
x
0
x
1
(x
0
+x
1
= 0) (x
0
= x
1
))) e, como
vimos no exemplo anterior, uma instancia de p
0
(p
1
p
0
). Assim,
sendo p
0
(p
1
p
0
) uma tautologia, podemos, pela proposi cao
anterior, concluir que e uma formula universalmente valida.
Observacao: Nem todas as L-formulas universalmente validas sao
instancias de tautologias do Calculo Proposicional. Por exemplo, a
L
Arit
-formula
x
0
((x
0
= 0) (x
0
= 0)) e valida em todas as
L
Arit
-estruturas, no entanto, esta formula nao e instancia de
nenhuma tautologia, pois as unicas formulas do Calculo Proposicional
das quais esta formula e uma instancia sao as variaveis proposicionais,
que, como sabemos, nao sao tautologias.
Denicao 3.56 Dizemos que um par (E, a), em que E e uma
L-estrutura e a e uma atribui cao em E, e uma realizacao de um
conjunto de L-formulas quando, para todo , E |= [a].
Exemplo 3.57 O par (E
Arit
, a
ind
) e uma realiza cao do conjunto
{
x
0
(x
0
x
1
= x
0
),
x
0
x
1
(x
0
< x
1
)}
de L
Arit
-formulas, mas nao e uma realiza cao do conjunto
{
x
0
(x
0
x
1
= x
0
),
x
0
(x
0
< x
1
)}
de L
Arit
-formulas.
Denicao 3.58 Um conjunto de L-formulas diz-se
semanticamente consistente, ou realizavel, quando existe uma
realiza cao de . Caso contrario, diz-se semanticamente
inconsistente.
Exemplo 3.59
a) O conjunto
= {
x
0
(x
0
x
1
= x
0
),
x
0
x
1
(x
0
< x
1
)},
de L
Arit
-formulas, e semanticamente consistente. Por exemplo,
(E
Arit
, a
ind
) e uma realiza cao de .
b) O conjunto
{
x
0
(x
0
= x
0
), (0 = 0)},
de L
Arit
-formulas, e semanticamente inconsistente. (Exerccio.)
Denicao 3.60 Uma L-estrutura E e um modelo de um conjunto
de L-formulas quando, para toda a atribui cao a em E, (E, a)
realiza ou, por outras palavras, quando toda a L-formula de e
valida em E.
Exemplo 3.61 E
Arit
e um modelo do conjunto formado pelas
seguintes L-senten cas:
x
0
(0 = s(x
0
));
x
0
(s(x
0
) < 0);
x
0
(x
0
+ 0 = x
0
);
x
0
(x
0
0 = 0);
x
0
x
1
(s(x
0
) x
1
= (x
0
x
1
) +x
1
);
x
0
x
1
(s(x
0
) +x
1
= s(x
0
+x
1
));
x
0
x
1
((s(x
0
) = s(x
1
)) (x
0
= x
1
));
x
0
x
1
((x
0
< s(x
1
)) ((x
0
< x
1
) (x
0
= x
1
))).
A axiomatica de Peano para a Aritmetica e constituda pelas formulas
acima descritas, juntamente com um princpio de indu cao nos
naturais.
Proposicao 3.62 Sejam um conjunto de L-senten cas, E uma
L-estrutura e a uma atribui cao em E. Entao, E e um modelo de se
e somente se (E, a) e uma realiza cao de .
Dem: Exerccio.
Denicao 3.63 Dizemos que uma L-formula e uma
consequencia semantica de um conjunto de L-formulas, e
escrevemos |= , quando, para toda a L-estrutura E e para toda a
atribui cao a em E, se (E, a) e uma realiza cao de , entao E |= [a].
Exemplo 3.64 A L
Arit
-formula 0 = 0 e uma consequencia semantica
do conjunto = {
x
0
(x
0
= x
0
)} de L
Arit
-formulas, pois se (E, a) e
uma realiza cao de , entao, e designando a fun cao interpreta cao de E
por ,
n
0
dom(E)
(n
0
, n
0
) = e assim, em particular, (0, 0) =,
donde E |= (0 = 0)[a].
Proposicao 3.64 Sejam um conjunto de L-formulas, uma
L-formula, t um L-termo e x V.
a) Se |=
x
e x e substituvel por t em , entao |= [t/x].
b) Se |= e x LIV() (i.e., para todo , x LIV()), entao
|=
x
.
c) Se |= [t/x] e x e substituvel por t em , entao |=
x
.
d) Se |=
x
, , [y/x] |= e y LIV( {}), entao |= .
Dem: a) Suponhamos que (E, a) uma realiza cao de . (Queremos
demonstrar que: E |= [t/x][a].) Entao, pela hipotese, E |=
x
[a].
Assim, por deni cao de satisfa cao, para todo d dom(E),
E |= [a
_
x
d
_
]. Donde, em particular, E |= [a
_
x
t[a]
_
], pois
t[a] dom(E). Logo, como por hipotese x e substituvel por t em ,
aplicando a Proposi cao 3.47, E |= [t/x][a].
b) Suponhamos que (E, a) e uma realiza cao de . (Queremos
demonstrar que: E |=
x
[a].) Por hipotese, x LIV(). Logo, de
(b) da Proposi cao 3.46, para toda a L-f ormula no conjunto ,
E |= [a] sse para todo d dom(E), E |= [a
_
x
d
_
]. Assim, uma
vez que (E, a) e uma realiza cao de , para todo o elemento d do
domnio de E, (E, a
_
x
d
_
) e uma realiza cao de . Logo, como por
hipotese |= , para todo o elemento d do domnio de E,
E |= [a
_
x
d
_
]. Donde, por deni cao de satisfa cao, E |=
x
[a].
c) e d) Exerccio.

Logica - Calculo de Predicados

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Logica - Calculo de Predicados

Caricato da

Copyright:

Formati disponibili

Clculo de Predicados de Primeira-Ordem

e uma arvore de forma cao de (x

(G()), para todo F

(G(), G()), para todo {, , , } e para

Potrebbero piacerti anche