Escolar Documentos
Profissional Documentos
Cultura Documentos
Exemplo 13.2
Dado o domínio das pessoas cursando lógica
I(c1 ) = João,
I(c2 ) = Maria,
I(c3 ) = Ana,
I(c4 ) = Rodrigo,
I(c5 ) = José,
I(c6 ) = Júlia.
1
2 Aula 13: Lógica de Predicados
a sentença “Todo aluno que está cursando Lógica é inteligente” é representada por
∀x(Q(x)). Note que a propriedade “ser aluno” e a relação “estar cursando Lógica” foram
suprimidas pois estão implícitas no domínio.
A interpretação da fórmula ∀x(Q(x)) será
Uma variável x pode ser substituída por qualquer elemento do domínio de U e também
por constantes, que representam elementos do domínio.
Exemplo 13.3
Considere as fórmulas
A interpretação de A é
A interpretação de B é
Exemplo 13.4
Agora considere I uma interpretação sobre os naturais
A interpretação I(f (a, b)) = 5. Segundo a definição das interpretações, a função deve ter
interpretação de N2 em N. No entanto, temos que I(f (x, c)) é indefinida. Logo teríamos
que restringir o domínio para N × N+ . Além disso, temos que f (x, y) ∈ Q. Portanto a
função está definida de N × N+ em Q. Mas isso vai contra a definição da interpretação.
Logo se o domínio é o conjunto dos naturais não podemos definir a função de divisão.
Exemplo 13.5
Suponha uma fórmula A = ∀x(∃y(P (x, y)) e a interpretação
e
I(x) < I(y) se, e somente se, xI < yI .
4 Aula 13: Lógica de Predicados
A fórmula pode ser descrita pela sentença “Para todo xI , existe yI tal que xI < yI ”.
Claramente estamos falando de números. No entanto, sem explicitar o domínio não é
possível avaliar se a interpretação I(A) é verdadeira ou falsa.
Suponha o domínio U = [0, ∞). Nesse caso, I(A) = 1, pois é verdade que para todo
xI ∈ U , existe yI ∈ U tal que xI < yI .
Agora, se supusermos U = (−∞, 0], I(A) = 0, pois não é possível satisfazer a fórmula
quando xI = 0.
Exemplo 13.6
Suponha uma fórmula A = ∀x(P (x, y)) e a interpretação
e
I(x) < I(y), se, e somente se, xI ≤ yI .
Também definimos I(y) = −5. Se o domínio for U = (−∞, 0], então I(A) = 0 porque é
falso que para todo xI ∈ U , xI ≤ −5. No entanto, se I(y) = 0, então temos que I(A) = 1.
Os Exemplos 13.5 e 13.6 mostram que além do domínio é preciso considerar a classificação
de variáveis dentro das fórmulas para avaliar as interpretações. Vamos recordar as definições
de escopo e variáveis livres e ligadas.
No Exemplo 13.5 temos as variáveis x e y. Essas variáveis são variáveis ligadas. Durante
a avaliação da interpretação, isso significa que x e y devem ser substituídas por todos os
elementos do domínio considerado.
Aula 13: Lógica de Predicados 5
No Exemplo 13.6 temos as mesma variáveis x e y, mas apenas x é uma variável ligada. A
variável x deverá ser substituída por todos os elementos do domínio. A variável y é livre. Isso
significa que não existe um quantificador forçando que elementos do domínio sejam atribuídos
a y. Por esse motivo, no Exemplo 13.6, explicitamente atribuímos uma interpretação para
y.
Veremos também que mesmo quando uma variável possui uma interpretação explícita,
dentro do escopo em que ela é ligada devemos considerar todas as possíveis interpretações
dentro do domínio.
Exemplo 13.7
Considere a fórmula A = ∀x(∃y(P (x, y))) ∧ ∀x(P (x, y)) e a interpretação
A seguir definimos formalmente essas ideias para formar a interpretação de uma fórmula.
6 Aula 13: Lógica de Predicados
Definição 13.3. Seja I uma interpretação sobre um domínio U , x uma variável da lin-
guagem da LP e d um elemento de U . Uma interpretação estendida de I, denotada por
hx ← diI, é tal que
d se α = x
hx ← diI(α) =
I(α) se α 6= x
hx ← 2iI(y) = 4
hx ← 2iI(x) = 2
hx ← 9ihx ← 2iI(y) = 9
hx ← 9ihx ← 2iI(x) = 2
hx ← 7ihx ← 9ihx ← 2iI(y) = 9
hx ← 7ihx ← 9ihx ← 2iI(x) = 7
Note que a extensão mais à esquerda tem precedência sobre a extensão mais à direita.
Definição 13.4. Seja U um conjunto não-vazio chamado domínio. Uma interpretação I
sobre o domínio U é uma função tal que:
• para toda função f , n-ária, se I(f ) = fI , então fI é uma função n-ária em U , isto é,
fI : U n → U .
• se E = ∃x(A), então I(E) = I(∃x(A)) = 1 se, e somente se, existe d ∈ U para o qual
hx ← diI(A) = 1.
Como exigimos que bI , xI ∈ U , então constantes e variáveis livres são necessariamente in-
terpretadas como elementos do domínio de interpretação. A interpretação de uma predicado
0-ário é p, I(p) = pI e pI ∈ {0, 1}.