Lgica de Predicados

Propriedades Semnticas
Jos Gustavo de Souza Paiva

Introduo
Relacionamento entre os resultados das
interpretaes das frmulas
Mesmos conceitos da Lgica Proposicional
Tautologia
Contradio
Satisfatibilidade

Mtodos diferentes de verificao

Quantificadores
Variveis
Funes
Predicados

Satisfatibilidade
H satisfatvel quando existe pelo menos uma
interpretao I tal que I[H] = T
Ex.: Considerando Ii sobre os nmeros Naturais
H1 = p(x,y)
I1: I[p] = <, I[x] = 5, I[y] = 9

H2 = (x)p(x,y)

I2: I[p] = , I[y] = 0

H3 = (x)(y)p(x,y)
I3: I[p] = <

H4 = (x)(y)p(x,y) p(x,y)
I4: I[p] = <, I[x] = 5, I[y] = 9

Satisfatibilidade
Exemplo
H = ((x)p(x,y)) (x)(p(x,z))
Suponha
Domnio: N
I[p(x,y)] = T x e y so pares
I[y] = 4, I[z] = 6

Satisfatibilidade
Exemplo
H = ((x)p(x,y)) (x)(p(x,z))
I[H] = T I[((x)p(x,y))] = I[(x)(p(x,z))]

Satisfatibilidade
Exemplo
I[((x)p(x,y))] = T

I[((x)p(x,y))] = F
d N | <x d>I[p(x,y)] = F
d N | d e/ou 4 so nmeros mpares
d N | d um nmero mpar

Logo, I[((x)p(x,y))] = T

Satisfatibilidade
Exemplo
I[(x)(p(x,z))] = T
d N | <x d>I[p(x,y)] = T
d N | <x d>I[p(x,y)] = F
d N | d e/ou 6 so nmeros mpares
d N | d um nmero mpar

Logo, I[(x)(p(x,z))] = T
Concluindo, I[H] = T

Validade
H no vlida se somente se existe uma
interpretao J, tal que J[H] = F
Exemplo
H = ((x)p(x,y)) (x)(p(x,z))
J[H] = F J[((x)p(x,y))] J[(x)(p(x,z))]

Validade
Exemplo
J[((x)p(x,y))] = T
J[(x)p(x,y)] = F

d N | <x d>J[p(x,y)] = F
d N | p(d,y) = F
J[(x)(p(x,z))] = T
d N | <x d>J[p(x,z)] = T
d N | <x d>J[p(x,z)] = F
d N | p(d,z) = F

Validade
Exemplo
Deve-se achar uma interpretao J tal
que
d N | p(d,y) = F deve ser falsa e
d N | p(d,z) = F deve ser verdadeira

Suponha uma interpretao J sobre

U = {A, B, C, D}

J definido de acordo com a figura

Validade

p(r,s) = T se somente se h uma seta de r para s

Validade
Alm disso, suponha que
J[y] = B
J[z] = A

d U | p(d,y) = F equivale a
d U | p(d,B) = F
Tal afirmao falsa

d U | p(d,z) = F equivale a
d U | p(d,A) = F
Tal afirmao verdadeira

Logo, I[H] = F

Igualdade e Interpretao
I[H] = I[G] {I[H] = T I[G] = T}
I[H] = I[G] {I[H] = F I[G] = F}

Exemplo
G = ((x)p(x)) (x)(p(x))
G uma tautologia se somente se para
toda interpretao J, J[G] = T
J[G] = T J[((x)p(x))] = J[(x)(p(x))]
J[((x)p(x))] = J[(x)(p(x))]
J[((x)p(x))] = T J[(x)(p(x))] = T

Exemplo
J[((x)p(x))] = T
J[(x)p(x)] = F
d U | <x d>J[p(x)] = F

J[(x)(p(x))] = T
d U | <x d>J[p(x)] = T
d U | <x d>J[p(x)] = F

Assim:
J[((x)p(x))] = T
d U | <x d>J[p(x)] = F
J[(x)(p(x))] = T

Exerccio
H = (y)(x)q(x,y) (x)(y)q(x,y)
Determine se H ou no uma tautologia

Exerccio
Soluo
I[H] = F I[(y)(x)q(x,y) (x)(y)q(x,y)] = F
I[(y)(x)q(x,y)] = T e I[(x)(y)q(x,y)] = F
I[(y)(x)q(x,y)] = T
d U | <y d>I[(x)q(x,y)] = T
d U, e U | <x e><y d>I[q(x,y)] = T
d U, e U | q(e,d) = T
I[(x)(y)q(x,y)] = F
r U | <x r>I[(x)q(x,y)] = F
r U, s U | <y s><x r>I[q(x,y)] = F
r U, s U | q(r,s) = F

Exerccio
Soluo
d U, e U | q(e,d) = T
r U, s U | q(r,s) = F

Afirmaes contraditrias!
Demonstrao: Exemplo no universo dos
conjuntos
q(r,s) = T se somente se
h uma seta de r para s

Exerccio
E = (x)(y)q(x,y) (y)(x)q(x,y)

Exerccio
E = (x)(y)q(x,y) (y)(x)q(x,y)
I[(x)(y)q(x,y)] = T
d U | <x d>I[(y)q(x,y)] = T
d U, e U | <y e><x d>I[q(x,y)] = T
d U, e U | q(d,e) = T
I[(y)(x)(q(x,y))] = F
r U | <y r>I[(x)q(x,y)] = F
r U, s U | <x s><y r>I[q(x,y)] = F
r U, s U | q(s,r) = F

Exerccio
E = (x)(y)q(x,y) (y)(x)q(x,y)
I[(x)(y)q(x,y)] = T
d U | <x d>I[(y)q(x,y)] = T
d U, e U | <y e><x d>I[q(x,y)] = T
d U, e U | q(d,e) = T
I[(y)(x)(q(x,y))] = F
r U | <y r>I[(x)q(x,y)] = F
r U, s U | <x s><y r>I[q(x,y)] = F
r U, s U | q(s,r) = F

Exerccio
E = (x)(y)q(x,y) (y)(x)q(x,y)
Considere uma interpretao I sobre U
U = {A, B, C, D}

q(r,s) = T se somente se
h uma seta de r para s

Exerccio
As situaes descritas so satisfeitas pelo
diagrama apresentado
Conclui-se portanto que I[E] = F

Implicao
Exemplo: H = (x)p(x) G = p(a)
H G I, se I[H] = T ento I[G] = T
Suponha uma interpretao I, sobre U, tal que I[H] =
T
I[H] = T
I[(x)p(x)] = T
d U, <x d>I[p(x)] = T
d U, p(d) = T

p(a) = T
I[p(a)] = T I[G] = T

Interpretao
Seja H uma frmula, na qual uma varivel x no
ocorre livre. Dada uma interpretao I sobre U
d U, <x d>I[H] = I[H]

Exemplo:

d U, <x d>I[(x)p(x)] = I[(x)p(x)]

d U, <x d>I[(x)p(x)] = T
d U, c U, <x c><x d>I[p(x)] = T
c U, <x c>I[p(x)] = T
I[(x)p(x)] = T

Exerccios
Demonstre que H e G so equivalentes
H = (y)H1, G = (y)H1
H = (x)(x)p(x), G = (x)p(x)

Mostre que as frmulas a seguir so tautologias

H = (x)p(x) p(a)
H = p(a) (x)p(x)

Verifique se as frmulas a seguir so tautologias

ou no
H = (x)p(x) (x)p(x)
H = (x)(y)p(x,y) (y)p(y,y)

Exerccios
Considere uma frmula H onde x no
ocorre livre, e uma frmula G qualquer
Mostre que as frmulas E1 e E2 so
equivalentes, considerando:
E1 = (x)(H G)
E2 = (H (x)G)

Mostre que as frmulas a seguir so

equivalentes
H = (x)(p(x) r(x))
G = (x)p(x) (x)r(x)

Referncias
Souza, J. N., Lgica para Cincia da
Computao, 2 edio, Editora Campus,
2008
Martins, L. G. A, Apostila de Lgica
Proposicional, FACOM, UFU