Lgica Matemtica, 2012-2, Lgica 1.

Ordem, Estruturas e
Interpretaes
Marcelino Pequeno
1

Linguagem, estruturas e interpretaes

Roteiro da Nota de Aula
1. Linguagem da lgica de primeira ordem.
2. Estrutura
3. Assinalamento
4. Interpretao
5. Interpretao de termos
6. Interpretao de frmulas
7. Consequncia Lgica, validade, equivalncia lgica
8. Teorema da Coincidncia.
9. Teorema da Substituio de primeira ordem
10. Referncias


1. Linguagem da lgica de primeira ordem

Tudo comea com um alfabeto. Um alfabeto conter smbolos lgicos e smbolos no
lgicos; e ainda os smbolos de pontuao (, ) e a vrgula. Os smbolos lgicos tm
este nome porque so os mesmos para todos os domnios do conhecimento (tm uma
interpretao fixa) e compreende os conectivos e os quantificadores conforme tabela
abaixo.

NOME ARIDADE SMBOLO LEITURA
Conjuno Binrio
.
E
Disjuno Binrio
v
Ou
Implicao Binrio

Se ... ento ....
Bi-implicao Binrio Se, e somente se
Negao Unrio

No
QUANTIFICADORES
Quantificador universal Unrio

Para todo
Quantificador existencial Unrio
-
Existe
Tabela 1. Smbolos Lgicos

Os smbolos no lgicos so os que descrevem as propriedades, relaes e nomes de
indivduos e variam de acordo com o contexto sendo especificado. Um conjunto de
propriedades se aplica se estamos descrevendo um contexto de qumica e outro
bastante diferente ser utilizado se estivermos falando de relaes humanas, por
exemplo. So os smbolos no lgicos que precisam ser interpretados conforme
veremos abaixo.



NOME ARIDADE SMBOLO OBSERVAO
Smbolos predicados n P, Q, R, ... Letras maisculas
com ou sem ndices
Smbolos funcionais n f, g, h, ... Letras minsculas
com ou sem ndices
Smbolos constantes - a, b, c, ... Letras minsculas
com ou sem ndices
Variveis - x, y, z, ... Letras minsculas
com ou sem ndices
Tabela 2. Smbolos No Lgicos

Precisamos de termos para denotar indivduos e objetos; e de frmulas para fazermos
afirmaes (sentenas declarativas) sobre o mundo.

Exemplos de termos: a rainha da Inglaterra, o filho de Jos, o nico filho de Jos e
Maria, x + y, x
2
, etc. Note que nestes exemplos teramos os respectivos smbolos
funcionais: rainha de x; filho de x, o nico filho de x e y, x + y, x
2
.

Com os smbolos predicados podemos fazer afirmaes sobre os indivduos (termos)
construindo as frmulas atmicas, e com estas e os smbolos lgicos, formamos as
frmulas compostas.

Exemplos de Sentenas. A rainha da Inglaterra a monarca mais rica da Terra. O
filho de Jos mais alto do que seu pai. O nico filho de Jos e Maria morreu na
cruz. x + y = 4. x
2
par.

De posse deste alfabeto damos uma definio indutiva para o conjunto dos termos e o
conjunto das frmulas.

Todo o processo de definio indutiva de termos e frmulas dado abaixo.

Definio 1. Conjuntos dos Termos

O conjunto dos termos definido como:

(i) Toda varivel x um termo.
(ii) Toda constante um termo.
(iii) Se f um smbolo funcional de aridade n, e t
1
,...,t
n
so termos, ento
f(t
1
,...,t
n
) um termo funcional ou composto.

Exemplos de Termos.

x, f(x), g(y, f(x)), f(g(y, f(x)), a, f(a), ...

Os termos acima poderia ser formalizados como:

Lgica Matemtica, 2012-2, Lgica 1. Ordem, Estruturas e
Interpretaes
Marcelino Pequeno
3

a rainha da Inglaterra: r(c); onde r o simb. funcional para rainha de x; e c a
constante para Inglaterra.

o filho de Jos: f(j); onde f o simb. funcional para filho de x; e j a constante
para Jos.

o nico filho de Jos e Maria: f(j,m); onde f o simb. funcional para o nico
filho de x e y; e j uma constante para Jos, e m uma constante para Maria.

x + y: f(x, y); onde f o simb. funcional binrio para a soma de dois nmeros
x e y. Como a notao da soma como + bastante difundida e normalmente escrita
in-fixa, tomamos a liberdade de representar este termo simplesmente como x + y.

x
2
E(x); onde E o simb. funcional unrio para a operao de
exponenciao ao quadrado de um nmero x. Note que aqui preferimos utilizar uma
letra maiscula para o smbolo funcional. Esta uma liberdade que tomamos porque
ns declaramos explicitamente o E como um smbolo funcional.



Definio 1. Uma linguagem ou assinatura de primeira ordem uma tripla de trs
conjuntos = <P, F, C> onde:
P = {P
n
| P
n
um smbolo predicado de aridade n}
F = {F
n
| F
n
um smbolo predicado de aridade n}
C = {c | c um smbolo constante}

Definio 2. Uma estrutura para uma linguagem = <P, F, C> uma qudrupla
N = <D, P
U
, F
U
, C
U
> onde:
D o conjunto de indivduos chamado de domnio da estrutura N, D .
P
N
= {P
N
D
n
| para cada smbolo predicado P
n
de aridade n (uma relao n-ria)}
F
N
= {F
N
: D
n
D | para cada smbolo funcional F
n
de aridade n (uma funo n-
ria)}
C
N
= {c
N
D| para cada smbolo constante c}

Definio 3. Um assinalamento de valores para variveis para uma estrutura
N = <D, P
N
, F
N
, C
N
> uma funo s: Var D; onde Var = {x, y, z, ...} o
conjunto das variveis.


Definio 4. Uma interpretao para uma linguagem = <P, F, C> uma dupla
I = <N, s>; onde N uma estrutura para e s um assinalamento de variveis para
N.

Definio 5. Se s: Var D um assinalamento de variveis ento s(x|d) o
assinalamento de variveis dado por:

=
=
=
x y se d
x y se ) y ( s
) y )( d | x ( s

s(x|d) igual a s em todas variveis menos em x, onde o valor de s(x|d)(x) = d.

Definio 6. Se I = <N, s> ento
x
d
I = <N, s(x|d)>.

Definio 7. Interpretao dos termos, I(t) e D.
Considere uma interpretao I = <N, s>. Importante observar que a interpretao de
um termo t um elemento do domnio da estrutura N. Vamos definir recursivamente
como achar o elemento do domnio, denotado por I(t), que corresponde ao termo t na
interpretao I = <N, s>. Aqui importante observar a definio indutiva de um
termo.

(i) t = x, uma varivel.
I(x) = s(x),
o elemento que a atribuio da varivel x dado pelo assinalamento de variveis s.

(ii) t = c, uma constante.
I(c) = c
N
,
o elemento que a interpretao da constante c dada pela estrutura N.

(iii) t = f(t
1
,...,t
n
), um termo composto ou funcional.
I(f(t
1
,...,t
n
)) = f
N
(I(t
1
),...,I(t
n
)),
f
N
a funo que interpreta o smbolo funcional f na estrutura N. Veja a recurso:
para calcular I(f(t
1
,...,t
n
)) utilizamos I(t
1
), ..., I(t
n
), cada termo t
i
por sua vez, pode ser
novamente um termo funcional, mas continuamos at chegar em termos que so
constantes ou variveis.

Definio 8. Satisfao das frmulas, I .
A interpretao de uma frmula seu valor verdade. Novamente a definio
recursiva e utilizaremos a interpretao dos termos para poder determinar o valor
verdade das frmulas atmicas. Dizemos que uma interpretao I = <N, s> satisfaz
uma frmula o, e denotamos por I o, se o valor da frmula verdadeiro na
interpretao.

(i) o = P(t
1
,...t
n
)

I = <N, s> P(t
1
,...t
n
) sse (I(t
1
),...,I(t
n
)) e P
N


(ii) o = ( . )
I = <N, s> ( . ) sse <N, s> e <N, s>

(iii) o = ( v )
I = <N, s> ( v ) sse <N, s> ou <N, s>

(iv) o = ( )
Lgica Matemtica, 2012-2, Lgica 1. Ordem, Estruturas e
Interpretaes
Marcelino Pequeno
5

I = <N, s> ( ) sse <N, s> ou <N, s>

(v) o = ( )
I = <N, s> ( ) sse <N, s> sse <N, s>

(vi) o = ()
I = <N, s> () sse <N, s>

(vii) o = x
I = <N, s> x sse p/ todo d e D, <N, s(x|d)>

(viii) o = -x
I = <N, s> -x sse p/ algum d e D, <N, s(x|d)>

Exemplos.

Seja uma linguagem com um smbolo predicado binrio P; uma funo unria f e
uma constante c. Considere uma interpretao I = <N, s> para esta linguagem onde:
D = , o conjunto dos naturais
P
N
= {(m, n) e X | m n}
f
N
= a funo sucessor
c
N
= 0
s(x) = 0
s(y) = 2

Teramos as seguintes interpretaes para os termos e frmulas:

(i) t = f(f(y))
I(f(f(y)) = f
N
(I(f(y))) = f
N
(f
N
(I(y))) = f
N
(f
N
(s(y))) = f
N
(f
N
(2)) = f
N
(3) = 4

(ii) t = f(f(c))
I(f(f(c))) = f
N
(I(f(c))) = f
N
(f
N
(I(c))) = f
N
(f
N
(c
N
)) = f
N
(f
N
(0)) = f
N
(1) = 2

(iii) I = <N, s> P(c, f(x))
I(c) = c
N
= 0 e I(f(x)) = f
N
(I(x)) = f
N
(s(x)) = f
N
(0) = 1.
Portanto, (0, 1) e P
N
, pois 0 1.

(iv) I = <N, s> x P(c, x)
Para todo n e , <N, s(x|n)> P(c, x), pois 0 n, para todo n.

(v) I = <N, s> x P(y, x)
Para d = 1, <N, s(x|1)> P(y, x), pois 2 no menor ou igual a 1.

Consequncia lgica o conceito mais importante da lgica, pois ele que garante a
corretude de um argumento. Um argumento ser correto se a verdade das premissas
garante a verdade da concluso. Esta noo formalizada abaixo.

Definio . Satisfao de um conjunto de frmulas.
Uma interpretao I = <N, s> para uma linguagem, , satisfaz um conjunto I de
frmulas de , denotado por I I, sse I , para todo I.

Definio 9. Consequncia lgica
Sejam I e um conjunto de frmulas e uma frmula em uma linguagem ,
dizemos que I implica logicamente , denotado por I , se, e somente se, para
toda interpretao I = <N, s> para a linguagem tal que <N, s> I, <N, s> .

Definio 10. Validade
Uma frmula em uma linguagem dita vlida, denotamos por , sse
satisfeita para toda interpretao I = <N, s> para .

Por outro lado, se uma frmula falsa para toda interpretao, diz-se que ela
insatisfatvel ou contraditria.

Se existe uma interpretao que satisfaz uma frmula dizemos que ela satisfatvel.

Um conjunto I de frmulas satisfatvel sse existe uma I = <N, s> tal que I ,
para todo e I.

Um conjunto ser insatisfatvel ou contraditrio sse no existe interpretao
I = <N, s> tal que I .

Se uma interpretao I = <N, s> satisfaz uma frmula ou um conjunto de frmulas
I, dizemos que I um modelo de ou de I, respectivamente.

Definio 11. Equivalncia lgica.
Duas frmulas e so logicamente equivalentes, denota-se por , sse e
. Note que se duas frmulas so logicamente equivalentes ento elas tm os
mesmos modelos.

Exemplos.

O leitor deve se convencer dos seguintes resultados.

(i) sse C .
(ii) Se ento ( ).
(iii) Se I contraditrio, ento I , para toda frmula .
(iv) Se ento I , para todo I.
(v) Se e I ento I .
Lgica Matemtica, 2012-2, Lgica 1. Ordem, Estruturas e
Interpretaes
Marcelino Pequeno
7

(vi) Se I , e I _ E, ento E .
(vii) Se I o, para todo o e A; e A , ento I .
(viii) I ; sse I ( ).
(ix) Se I = {
1
,...,
n
} e I , ento (
1
. ... .
n
) .
(x) Se I ou I ento I ( v ).

Variveis Livres e Ligadas

Uma varivel ocorre livre em uma frmula , se ela no ocorre dentro do escopo de
um quantificador com o mesmo nome. Por exemplo, na frmula xP(x) Q(x), o
primeiro x ocorre ligado, e o segundo ocorre livre.

Podemos dar uma definio recursiva de variveis que ocorrem livres:

Definio. Variveis que ocorrem livres em uma frmula.

(i) Todas variveis que ocorrem em uma frmula atmica so livres.
(ii) x ocorre livre em () sse x ocorre livre em .
(iii) x ocorre livre em ( |) sse x ocorre livre em ou em |; {.,v,,}.
(iv) x ocorre livre em y se x ocorre livre em e x = y.
(v) x ocorre livre em -y se x ocorre livre em e x = y.

Uma frmula em que no ocorre nenhuma varivel livre uma sentena.
A frmula x(P(x) Q(x)) uma sentena.
A frmula xP(x) Q(x) no uma sentena.


Teorema da Coincidncia (Teorema 22A do Enderton, seo 2.2, p.86).
Considere as interpretaes I
1
= <N, s
1
> e I
2
= <N, s
2
> tais que s
1
e s
2
concordam em
todas variveis livres de uma frmula , ento I
1
sse I
2
.

Prova.
(a) Primeiro observe que se s
1
e s
2
concordam em todas variveis de um termo t, ento
I
1
(t) = I
2
(t).
Provamos por induo na estrutura do termo t.
(i) t = c uma constante.
Logo, I
1
(c) = c
N
= I
2
(c).

(ii) t = v uma varivel.
Logo, I
1
(v) = s
1
(v) = s
2
(v) = I
2
(v); note que s
1
(v) = s
2
(v) pela hiptese de que s
1
e s
2

concordam em todas variveis de t.

(iii) t = f(t
1
,...,t
n
)
I
1
(f(t
1
,,t
n
)) = f
N
(I
1
(t
1
),,I
1
(t
n
))
= f
N
(I
2
(t
1
),,I
2
(t
n
)) Esta igualdade pela Hip. Ind, I
1
(t
i
) = I
2
(t
i
),
p/i =1,...,n

(b) Vamos provar agora o teorema por induo na estrutura da frmula .

(i) = P(t
1
,...,t
n
) uma frmula atmica.
Primeiro observe que toda varivel que ocorre em uma frmula atmica ocorre livre,
ento pela hiptese do teorema, s
1
e s
2
concordam em toda varivel que ocorre nos
termos t
1
,...,t
n
. Assim, pelo item (a), I
1
(t
i
) = I
2
(t
i
), p/i =1,...,n. Teremos:
I
1
P(t
1
,...,t
n
) sse <I
1
(t
1
),,I
1
(t
n
)> P
N

sse <I
2
(t
1
),,I
2
(t
n
)> P
N

sse I
2
P(t
1
,...,t
n
)

(ii) = ( . )
Observe que as variveis que ocorrem livres em so as que ocorrem livres em e ,
portanto s
1
e s
2
(pela hiptese do teorema) concordam em todas variveis que ocorrem
livres em e em , portanto, pela Hip. Indutiva, I
1
sse I
2
e I
1
sse I
2
.
Da em diante trivial mostrar que I
1
( . ) sse I
2
( . ).

(iii) e (iv). Com os conectivos v, e completamente anlogo.

(iv) = x
Observe que as variveis livres de so as variveis livres de menos a varivel x.
Assim s
1
e s
2
concordam em todas variveis livres de menos em x, portanto, s
1
(x|d)
e s
2
(x|d) concordam em todas variveis livres de . Portanto, pela Hip. Indutiva,
I
1
x
d
sse I
2
x
d
. Lembre que I
1
x
d
= <N, s
1
(x|d)> e I
2
x
d
= <N, s
2
(x|d)>.
Assim,
I
1
x sse para cada d D, I
1
x
d

sse para cada d D, I
2
x
d

sse I
2
x

(v) = -x
Este caso bem anlogo ao anterior.

Corolrio.

Se uma frmula uma sentena ento os valores dos assinalamentos das variveis no
fazem diferena no valor verdade da frmula dentro de uma interpretao, I = <N, s>.

Para uma sentena, , ou:
(i) I = <N, s> , para toda s; ou
(ii) I = <N, s> , para toda s.

Substituio de variveis por termos.

Uma operao muito comum e til que fazemos em termos e frmulas a substituio
de uma varivel por um termo. Definiremos formalmente esta operao e faremos
algumas observaes importantes quanto a esta operao.
Lgica Matemtica, 2012-2, Lgica 1. Ordem, Estruturas e
Interpretaes
Marcelino Pequeno
9

Substituio em termos.
x
u
t
Intuitivamente a substituio em termos simples, por exemplo,
x
y g
x f
) (
) ( = f(g(y)).
Vamos definir esta operao recursivamente.
Considere t e u termos e x uma varivel.
(i) t = y uma varivel.
a) Se y=x ento
x
u
x = u.
b) Se y=x ento
x
u
y = y.
(ii) t = c uma constante.
x
u
c = c.
(iii) t = f(t
1
,...,t
n
).
x
u n
t t f ) , , (
1
= ) , , (
1
x
u n
x
u
t t f

Substituio em frmulas.
x
u

Anloga de termos e utiliza a de termo para fazer a substituio em frmulas
atmicas. Tambm temos que observar que apenas variveis livres so substitudas.

Vamos definir esta operao recursivamente.
Considere u um termo e x uma varivel.

(i) = P(t
1
,...,t
n
) uma frmula atmica.
x
u n
t t P ) , , (
1
= ) , , (
1
x
u n
x
u
t t P
(ii) ( )
x
u
= (
x
u

x
u
); onde {., v, , }
(iii) ()
x
u
= (
x
u
)
(iv) (y)
x
u
=

=
=
y x se y
y x se y
x
u

(v) (-y)
x
u
=

= -
= -
y x se y
y x se y
x
u

Exemplos.

1)
x
x
= .
2) (Q(x) xP(x))
x
u
= (Q(y) xP(x))
3) -y (y ~ x)
x
y
= -y (y ~ y)

O exemplo 3 ilustra um cuidado que precisamos ter quando fazemos substituies
para no alterar o significado da frmula. A inteno que a frmula expresse da
varivel livre x, a mesma coisa que expressar do termo u. Observe que isto no
acontece no exemplo 3. A frmula original, -y (y ~ x), expressa que existe pelo
menos um y diferente de x, uma afirmao verdadeira em qualquer domnio com mais
de um elemento. Entretanto a frmula substituda, -y (y ~ y), expressa que existe
um elemento diferente dele mesmo, uma impossibilidade lgica!

Para corrigir este problema introduzimos o conceito de um termo u substituvel por
uma varivel x em uma frmula . Esta definio recursiva.

Definio. Termo u substituvel por varivel x em uma frmula .

= P(t
1
,...,t
n
) uma frmula atmica.
(i) uma frmula atmica.
u sempre substituvel por x em uma frmula atmica (em uma frmula
atmica no h quantificadores que aonde pode ocorrer o problema).
(ii) u substituvel por x em ( ) sse u substituvel por x em e .
(iii) u substituvel por x em () sse u substituvel por x em .
(iv) u substituvel por x em y sse
a. x no ocorre livre em y (neste caso nada ser substitudo); ou
b. y no ocorre livre em u, e u substituvel por x em .

Renomeao de Variveis

Uma possibilidade sempre em aberto a renomeao das variveis ligadas de uma
frmula, pois isto no altera o significado da frmula. Por exemplo, xP(x) e yP(y)
essencialmente afirmam a mesma proposio.

Assim, no exemplo 3, se quisermos substituir o x por y na frmula -y (y ~ x), basta
renomear a frmula para -z (z ~ x) e ao fazer a substituio de x por y, obter o
resultado desejado: -z (z ~ y).

Teorema da Substituio
1


Sejam t e u termos de uma linguagem e seja I = <N, s> uma interpretao para a
linguagem . Ento:

(i) I(
x
u
t ) =
x
) u ( I
I (t).
(ii) I
x
u
sse
x
) u ( I
I , se x substituvel por u em .

(i) Prova.
Por induo na estrutura do termo t.
(i) t = c, uma constante.
x
u
c = c. Logo,
I(
x
u
c ) = I(c) = c
N
=
x
) u ( I
I (c).
(ii) t = y x, uma varivel diferente de x.
x
u
y = y. Logo,
I(
x
u
y ) = I(y) = s(y) = s(x|I(u))(y) =
x
) u ( I
I (y)
(iii) t = x, a varivel x.
x
u
x = u. Logo,

1
Enderton, Lemma 25B e Substitution Lemma, seo 2.5, p.133 e 134.
Ebbinghaus, Cap. III, 8, Lemma 8.3, pg.52.

Lgica Matemtica, 2012-2, Lgica 1. Ordem, Estruturas e
Interpretaes
Marcelino Pequeno
11

I(
x
u
x ) = I(u) = s(x|I(u))(x) =
x
) u ( I
I (x)
(iv) t = f(t
1
,...,t
n
)
f(t
1
,...,t
n
)
x
u
= f(t
1
x
u
,, t
n
x
u
). Logo,
I(f(t
1
,...,t
n
)
x
u
) = I(f(t
1
x
u
,, t
n
x
u
))
= f
N
(I(t
1
x
u
),,I(t
n
x
u
))
= f
N
(
x
) u ( I
I (t
1
),...,
x
) u ( I
I (t
n
)). Pela Hip. Ind em t
1
,...,t
n
.
=
x
) u ( I
I (f(t
1
,...,t
n
))

(ii) Prova: I
x
u
sse
x
) u ( I
I .
Por induo na estrutura da frmula .
(i) = P(t
1
,...,t
n
) uma frmula atmica.
I P(t
1
,...,t
n
)
x
u
sse I P(t
1
x
u
,, t
n
x
u
)
sse <I(t
1
x
u
),,I(t
n
x
u
)> P
N

sse <
x
) u ( I
I (t
1
),,
x
) u ( I
I (t
n
)> P
N
. Isto por (i).
sse
x
) u ( I
I P(t
1
,...,t
n
)
(ii) No h dificuldades com os conectivos, basta observar a Hip. Indutiva

(iii) = y e x no ocorre livre em .
Logo, (y)
x
u
= y, e, alm disso, s e s(x|I(u)) concordam em todas variveis livres
de y. Portanto, pelo Teorema da Coincidncia, I y sse
x
) u ( I
I y.
Logo,
I (y)
x
u
sse I (y) sse
x
) u ( I
I y.

(iv) = y e x ocorre livre em .
Observe que como x substituvel por u em , y no ocorre em u. Logo, I
y
d
(u) = I(u),
pelo item (a) na prova do Teorema da Coincidncia.
I (y)
x
u
sse I y
x
u

sse para cada d D, I
y
d

x
u

sse para cada d D, I
y
d
x
) u ( I
y
d
pela Hip. Indutiva aplicada a I
y
d
e

sse para cada d D, I
y
d
x
) u ( I
, pois I
y
d
(u) = I(u);
sse
x
) u ( I
I y.

(v) = -y
anlogo aos itens (iii) e (iv), sendo agora adaptados para o caso existencial.

Referncias
1) Enderton, Herber B, A Mathematical Introduction to Logic.Harcourt
Academic Press, 2
nd
. Edition, 2001.
2) Ebbinghaus, H D, Flum, J and Thomas, W, Mathematical Logic. Springer-
Verlag, 2
nd
Edition, 1994.