Documente Academic
Documente Profesional
Documente Cultură
PRENEX
Consiste em puxar todos os quantificadores para o prefixo.
O problema:
- Dada uma frmula , quer-se encontrar uma frmula tal que:
. seja logicamente equivalente a ;
. esteja na forma prenex.
PRENEX
Dada duas frmulas, A e B, elas so logicamente equivalentes
se todo modelo de A tambm for modelo B.
PRENEX
Uma frmula est na forma prenex quando do tipo
(Qx1)...(Qxn)G, onde
G aberta (s vezes chamada de matriz)
(Qxi) um quantificador universal ou existencial
(Qx1)...(Qxn) s vezes chamado de prefixo
y((x R(x,y)) ^ P(y)) est na forma prenex?
PRENEX
No!!!
Na forma prenex, o escopo dos quantificadores deve
ser frmula inteira
Toda frmula tem um equivalente na forma prenex!
Como transform-la em Prenex ento?
PRENEX
Equivalncias lgicas:
x(P(x)) x(P(x))
x(P(x)) x(P(x))
x(P(x)) ^ x(Q(x)) x((P(x) ^ (Q(x))
x(P(x)) v x(Q(x)) x(P(x) v (Q(x))
x(P(x)) v O x(P(x) v O)
x(P(x)) ^ O x(P(x) ^ O)
x(P(x)) v x(Q(x)) xz(P(x) v Q(z))
x(P(x)) ^ x(Q(x)) xz(P(x) ^ Q(z))
PRENEX - RESUMO
1 -Leis de eliminao
PQ = (PvQ)
P Q = (P Q) ^ (Q P)
2 -Leis da negao
(H) H
(z H) = ( x H)
(z H) = ( x H)
2 -Leis de De Morgan
(PvQ) = P ^ Q
(P^Q) = P v Q
PRENEX - EXEMPLO
SKOLEM
Mtodo utilizado para eliminar quantificadores existenciais.
Dada uma frmula F na forma prenex, para cada quantificador
existencial, conte o nmero de quantificadores universais
esquerda dele, suponha n este nmero, crie uma funo f nria, em funo das variveis quantificadas universalmente, por
fim, remova a varivel existencial (e o quantificador), colocando
em seu lugar a funo f recm criada.
SKOLEM
(x)(y)prof(y,x)
todo aluno tem ao menos um professor
Se trocarmos para (x)r(Fred,x)
Fred professor de todos os alunos do CIn
No uma interpretao correta do predicado
Porque acontece isso??
SKOLEM
Porque Fred existe no domnio
A idia que b seja um professor genrico de x (sem
ser uma varivel )
y = f(x), pois y depende de x
Trocamos x y R(y,x) para x R( f(x), x)
(z)(x)(y) P(z,y,x) vira (z)(x) P(z,g(z,x),x)
SKOLEM
SKOLEM
(x)(y)(z)(w)(x1)(y1)(z1)
(P(x,y,z,w,w3) Q(x2,x1,y1,z1))
(x)(y)(x1)(y1)(z1)
(P(x,y,f(x,y),g(x,y),w3) Q(x2,x1,y1,z1))
(x)(y)(x1)(z1) (P(x,y,f(x,y),g(x,y),w3)
Q(x2,x1,h(x,y,x1),z1))
EXEMPLOS
Encontre a forma prenex e, em seguida, aplique Skolem em
cada uma das frmulas abaixo:
. x( yP(x,y) (zQ(z) R(x)))
. ( x(P(x,y) x(P(x,y) ^ yR(y)))