Академический Документы
Профессиональный Документы
Культура Документы
1 - Lógica de predicados.
A linguagem da Lógica de Predicados é mais rica que a da Lógica Proposicional, pois para
além de conter todos os objetos desta, contém também quantificadores, símbolos de funções e de
predicados. Sendo assim, a Lógica de Predicados é uma extensão da Lógica Proposicional, tendo
assim um maior poder de representação.
Associado a cada símbolo para função ou predicado, tem –se um número k IN0 que indica
a aridade ou número de argumentos da função ou predicado.
Quando k=0, tem-se uma função ou predicado com zero argumentos ou aridade nula. As
funções com aridade nula representam constantes (a, b, c, a1 , b1, c1, a2;…) os predicados com
aridade nula representam os símbolos proposicionais que ocorrem no alfabeto proposicional (P, Q,
R, P1, Q1, R1,…).
1
EI Matemática Discreta II(17/18)
c) O símbolo proposicional P.
,
,
,
2
EI Matemática Discreta II(17/18)
((x)H) = ((x)(H))
((x)H) = ((x)(H))
Exemplo 1.4 (correspondência entre os quantificadores):
Considere a interpretação p(x) = “x voa”, n(x) =”x é nocturno” e o respectivo domínio: “conjunto
de todas as aves”.
((x)n(x)): “Algumas aves são nocturnas” ou “Existem aves nocturnas” é logicamente equivalente a
(x)( n(x)): “Nem todas as aves não são nocturnas “.
Resposta:
Quantificador Abrangência
(x) (y)((z)p(x,y,w,z)(y)q(z,y,x,z1))
(y) ((z)p(x,y,w,z)(y)q(z,y,x,z1))
(z) p(x,y,w,z)
(y) q(z,y,x,z1)
3
EI Matemática Discreta II(17/18)
Definição 1.18 (regras semânticas para interpretação de fórmulas sem quantificadores no início).
Seja E uma expressão e I uma interpretação sobre o domínio U. A interpretação de E conforme I,
indicada por I[E], é determinada pelas regras:
Se E= F, então I[E]=I[F]=F
Se E= V, então I[E]=I[V]=V
Se E=f(t1,…,tn) onde f(t1,…,tn) é um termo então I[E]=I[f(t1,…,tn)]= fI(t1I,…,tnI) onde I[f] =
fI e para todo termo ti, I[ti]=tIi.
Se E=p(t1,…,tn) onde p(t1,…,tn) é um átomo então I[E]=I[p(t1,…,tn)]= pI(t1I,…,tnI) onde I[p]
= pI e para todo termo ti, I[ti]=tIi.
Se E= Q onde H é uma fórmula, então
I[E] = I[Q]=V se I[Q]=F e I[E] = I[Q]=F se I[Q]=V.
4
EI Matemática Discreta II(17/18)
Se E=Q S onde Q e S são duas fórmulas, então
I[E] = I[Q S]=V se I[Q] = V e/ou I[S]=V e
I[E] = I[Q S]=F se I[Q] = I[S] =F.
Se E= (Q S), então
I[E]=I[Q S] = V se I[Q] = V e I[S]=V
I[E]=I[Q S] = F se I[Q] = F e/ou I[S]=F.
Nota: A extensão mais à esquerda tem precedência sobre a extensão que ocorre mais à direita. Dada
uma interpretação I sobre um domínio U, as interpretações estendidas x d y c I e
y c x d I são equivalentes quando x y . No caso, em que x y , as interpretações são
equivalentes somente quando c d .
I[(x)H]=V d U, x d I H V
I[(x)H]=F d U, x d I H F
I[(x)H]=V d U, x d I H V
I[(x)H]=F d U, x d I H F
Exercício 1.6: Seja I uma interpretação sobre o domínio dos números naturais IN, tal que I[x]=3,
I[y]=4 e I[p]=<. Interprete as fórmulas seguintes: G=(x)p(x,y) e H=(x)(y)p(x,y).
5
EI Matemática Discreta II(17/18)
Resolução: p.189 e 190 do livro “Lógica para Ciência da Computação – Fundamentos de
linguagem, semântica e sistemas de dedução” de João Nunes de Souza, Ed. Campus
Exercício 1.7: Seja I uma interpretação sobre o domínio dos números racionais Q* (diferentes de
zero), tal que I[a]=1, I[b]=25, I[x]=13, I[y]=77, I[f]= : e I[p]= <. Interprete as fórmulas seguintes:
a. G1=(x)(y)p(x,y)p(b,f(a,b)) c. G2=(x)((y)p(x,y)p(x,y))
b. G3=(x)(y)p(x,y)p(x,y) d. G4= (x)(y)p(x,y)p(f(a,b),x)
Resolução: p.193 e 194 do livro “Lógica para Ciência da Computação – Fundamentos de
linguagem, semântica e sistemas de dedução” de João Nunes de Souza, Ed. Campus
[P1] Uma fórmula P é uma tautologia ou é válida se e somente se existe para toda a interpretação I,
I[P]=V.
[P2] Uma fórmula P é factível ou é uma contingência se e somente se existe pelo menos uma
interpretação I, tal que I[P]=V.
[P3] Uma fórmula P é contraditória se e somente se para toda a interpretação I, I[P]=F.
[P4] Dadas duas fórmulas P e Q, P P é logicamente equivalente a Q sse para toda a interpretação I,
I[P]= I[Q].
[P5] Dadas duas fórmulas P e Q, P implica Q (P Q) sse para toda a interpretação I, se I[P]=V
então I[Q] =V.
{I[H]=I[G]}{I[H]=V I[G]=V}
{I[H]=I[G]}{I[H]=F I[G]=F}
Exercício 1.9: Mostre que a fórmula G x px x px é uma tautologia.
Exercício 1.10: Verifique que as fórmulas H x px rx e G x px x r x são
logicamente equivalentes.