Lógica para Ciencia Da Computaçao - Joao Nunes Souza

JOO NUNES de SOUZA
ATENO. Verso preliminar de soluo de

exerccios preparada por alunos do mestrado em
Cincia da Computao, turma 02/2009
LGICA para CINCIA da

COMPUTAO
Uma introduo concisa

22 de fevereiro de 2010
Sumrio
Parte I LGICA PROPOSICIONAL

1
A linguagem da Lgica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A semntica da Lgica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Propriedades Semnticas da Lgica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Mtodos para determinao de Propriedades Semnticas de Frmulas da

Lgica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Relaes semnticas entre os conectivos da Lgica Proposicional . . . . . . . . . . . . . 67
Um sistema axiomtico e um sistema de deduo natural na Lgica

Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
Tableaux semnticos e resoluo na Lgica Proposicional . . . . . . . . . . . . . . . . . . . . 81
Parte II LGICA DE PREDICADOS

8
A linguagem da Lgica de Predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117

8.1 Exerccio 11: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
A semntica da Lgica de Predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
10 Propriedades semnticas da Lgica de Predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135

11 Programao Lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
Parte I
LGICA PROPOSICIONAL
1
A linguagem da Lgica Proposicional
Exerccio 1:
a)
No uma frmula da Lgica Proposicional. No possvel obt-la a partir da definio 1.2.
b)
uma frmula da Lgica Proposicional. No possvel obt-la a partir da definio 1.2.
c)
d)
No uma frmula da Lgica Proposicional. No possvel obt-la a partir da definio 1.2.
e)
Exerccio 2:
a)
Sim. Somente quando a frmula for composta de um nico smbolo verdade ou um smbolo proposicional, caso contrrio sempre existir, mesmo que omitido.
LGICA para CINCIA da COMPUTAO
ELSEVIER
b)
So 4. Smbolos de Pontuao, smbolos proposicionais, smbolos de verdade e conectivos proposicionais.
c)
No. Toda frmula com conectivo possui smbolo de pontuao.
Exerccio 3:
a) ((P Q) (P Q)) true
Comprimento igual a 11.
b)P ((Q R) ((P R) (P R)))
c) ((P P ) P ) Q
d) (P P )
Exerccio 4:
a) ((P )) ((((((P Q))) R)) P ))
P (((P Q) R) P
b) (P (Q R)) ((P Q) (R P ))
Nada a retirar
c) (( P Q) (P (Q)))
(P Q) (P Q)
8
ELSEVIER
Captulo 1
Exerccio 5:
a)
P Q R R
(P Q) R R
(P Q) (R R)
(P (Q R)) R
P (Q (R R))
P (Q R R)
b)
Q P Q
Q (P Q)
Q (P Q)
c)
P Q Q
(P Q) Q
(P Q) Q
(P Q Q)
d)
P Q P P R
Esta no uma frmula vlida
Exerccio 6:
a)
Exerccio 3
a) PQPQtrue
b) PQRPRPR
c) PPPQ
d) PP
Exerccio 4
a) PQRPP
b) PQR PQRP
c) PQPQ
10
ELSEVIER
Exerccio 7:
Exerccio 8:
Exerccio 9:
A paridade par, pois por definio o smbolo de pontuao sempre abre "("e fecha ")".
Exerccio 10: Seja H uma frmula que no contm o conectivo .

a) Qual a paridade de comp[H]?
comp[H] um nmero mpar.
b) Qual a relao entre comp[H] e o nmero de conectivos de H ?
comp[H] o dobro do nmero de conectivos de H, mais um.
10
2
A semntica da Lgica Proposicional
Exerccio 1:
a)
True um smbolo sinttico e T um smbolo semntico.
b)
False um smbolo sinttico e F um smbolo semntico.
c)
um smbolo sinttico e um smbolo semntico.
d)
um smbolo sinttico e um smbolo semntico.
Exerccio 2:
Sintaxe uma unificao da linguagem, diz respeito aos smbolos. Semntica o significado ou
interpretao dos objetos sintticos.
Exerccio 3:
No. Na lgica, para que uma disjuno seja verdadeira, no necessrio nenhuma relao entre
suas alternativas.
12
ELSEVIER
Exerccio 4:
a)
No. Existe a possibilidade onde, I[P] = T e I[Q] = T.
b)
I[Q] = T.
c)
I[H] = T.
d)
Nada se pode concluir sobre I[Q].
e)
I[H] = F.
Exerccio 5:
a) ( P Q) (P Q)
P
T
T
F
F
Q P ( P Q) (P Q) ( P Q) (P Q)
T F
T
T
T
F
F
T
F
F
T T
T
T
T
F T
F
T
F
No caso da interpretao I, o valor verdade para esta frmula "T". No possvel precisar
o valor verdade de J[Q].
b) P ((Q R) ((P R) (P R)))
No caso da interpretao I, o valor verdade para esta frmula "T". No possvel precisar o valor
verdade de J[Q] e J[R].
12
ELSEVIER
P
T
T
T
T
F
F
F
F
Q
T
T
F
F
T
T
F
F
Captulo 2
13
R (Q R) (P R) (P R) (P R) (Q R) ((P R) (P R)) P ((Q R) ((P R) (P R)))

T
T
T
T
T
T
F
F
F
T
T
T
T
T
T
T
T
T
F
T
F
T
T
T
T
T
T
T
T
T
F
F
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
P
T
T
F
F
Q P Q (P Q) (P Q) P
T F
F
F
T
F
F
T
T
F
T T
F
T
T
F T
T
T
T
c) (P Q) P
No caso da interpretao I, o valor verdade para esta frmula "F". J[Q]=T.
d) (Q P)
P
T
T
F
F
Q P Q P
T F
F
F
F
T
T T
T
F T
T
No caso da interpretao I, o valor verdade para esta frmula "T". J[Q]=F.

e) (P (Q R)) ((P Q) R)
P
T
T
T
T
F
F
F
F
Q
T
T
F
F
T
T
F
F
R (Q R) (P (Q R)) (P Q) ((P Q) R) (P (Q R)) ((P Q) R)

T
T
T
T
T
T
F
F
F
T
F
T
T
T
T
F
T
T
F
T
T
F
T
T
T
T
T
F
T
T
F
F
T
F
T
F
T
T
T
F
T
T
F
T
T
F
T
T
No caso da interpretao I, o valor verdade para esta frmula "T". No possvel precisar
o valor verdade de J[Q] e J[R].
f ) (R P) (P R)
P
T
T
F
F
R P (R P) (P R) (R P) (P R)
T F
F
T
F
F
F
F
F
T
T T
T
F
F
F T
F
F
T
No caso da interpretao I, o valor verdade para esta frmula "T". J[R]=F.
13
14
P
T
T
F
F
ELSEVIER
Q (P Q) (P Q) (P Q) ((P Q) P) ((P Q) Q) (((P Q) P) ((P Q) Q)) (P Q) (((P Q) P) ((P Q) Q))

T
T
T
T
T
T
T
T
F
F
F
T
F
F
F
T
T
T
F
T
T
T
T
T
F
T
F
F
T
T
T
T
g) (P Q) (((P Q) P) ((P Q) Q))

No caso da interpretao I, o valor verdade para esta frmula "T". J[Q]=T.
h) (false Q) R
Q
T
T
F
F
R false Q (false Q) R
T
T
T
F
T
F
T
T
T
F
T
F
No caso da interpretao I, o valor verdade para esta frmula "F". No possvel precisar
o valor verdade de J[Q] e J[R].
i) true Q
Q true Q
T
T
F
F
No caso da interpretao I, o valor verdade para esta frmula "T". J[Q]=T.

j)(P false) R
P
T
T
F
F
R (P false) (P false) R
T
F
F
F
F
T
T
T
T
F
T
F
No caso da interpretao I, o valor verdade para esta frmula "T". J[R]=F.

k) P true
P P true
T
T
F
T
No caso da interpretao I, o valor verdade para esta frmula "T".

14
ELSEVIER
Captulo 2
15
Exerccio 6:
a)
T.
b)
T.
c)
Nada.
Repita supondo I[PQ] = F.
a)
Nada.
b)
Nada.
c)
F.
Exerccio 7:
Seja I uma interpretao tal que: I[P Q] = T . O que podemos deduzir a respeito dos resultados
das interpretaes a seguir?
a)
I[P Q] = F
b)
I[P Q] = T
15
16
c)
I[P Q] = T
d)
I[(P R) (Q R)] = T e nada podemos concluir de I[R]
e)
I[(P R) (Q R)] = T e nada podemos concluir de I[R]
Repita este exerccio supondo I[P Q] = F

a)
Nada se pode concluir nada a respeito de I[P Q]
b)
c)
d)
Nada se pode concluir nada a respeito de I[(P R) (Q R)] e de I[R]
e)
Nada se pode concluir nada a respeito de I[(P R) (Q R)] e de I[R]
Exerccio 8:
H = (( P Q ) ((( P Q ) P) (( P Q ) Q ))) P
16
ELSEVIER
ELSEVIER
Captulo 2
17
a)
Se I[P] = F, temos que I[H] = F, pois,
I[( P Q ) P] = T, I[( P Q ) Q] = T, I[ P Q ] = T e I[( P Q ) ((( P Q ) P)
(( P Q ) Q ))] = T, logo:
I[(( P Q ) ((( P Q ) P) (( P Q ) Q ))) P] = F
b)
F] = T, no importando o valor de P
Se I[P] = T, temos que I[H] = T, pois, I[P
Exerccio 9:
Cada linha da tabela verdade de H diferente uma das outras, correspondem interpretaes
diferentes, pois a cada linha, cada conjunto de proposies possuir combinaes de interpretaes
diferentes das outras linhas.
Exerccio 10:
a)Considere as associaes: P = "Eu sou feliz", Q = "Voc feliz".
Nesse caso, a representao dada por (P Q) (Q P )
b)Considere as associaes: P = "Jos vir a festa", Q = "Maria gostar da festa".
Nesse caso, a representao dada por (P Q) (P Q)
c)Considere as associaes: P = "A novela ser exibida", Q = "O programa poltico
ser exibido"
Nesse caso, a interpretao dada por: (Q P ) (P Q)
d)
(P Q) (P R)
P = "chover"
Q = "Irei para casa"
R = "Ficarei no escritrio"
17
18
ELSEVIER
e)
(P Q) R
P = "Maria bonita, inteligente e sensvel"
Q = "Rodrigo ama Maria"
R = "Rodrigo feliz"
f)
(P Q) (Q P )
P = "Sr. Oscar feliz"
Q = "Sra. Oscar feliz"
g) Maurcio vir festa e Ktia no vir ou Maurcio no vir festa e Ktia ficar
infeliz.
p = Maurcio vir festa
q = Ktia vir festa
r = Ktia ficar feliz
H = (p q) (p r
h) Irei ao teatro somente se for uma pea de comdia.
p = Irei ao teatro
q = For uma pea de comdia
H=pq
i) Se minha namorada vier, irei ao teatro somente se for uma pea de comdia.
p = Minha namorada vier
q = Irei ao teatro
r = For uma pea de comedia
H = p (q r)
Exerccio 11
a)
O quantificador para todo, considerado apenas na Lgica de Predicados.
b)
O termo Possivelmente considerado na Lgica Modal.
18
ELSEVIER
Captulo 2
c)
O tempo considerado na Lgica Temporal.
d)
e)
f)
g)
h)
i)
j)
k)
O quantificador "Toda", que considerado na lgica predicados.
l)
"quase todo" Considerado em Lgicas no Clssicas.
19
19
20
m)
"poucos" considerado em Lgicas no Clssicas.
n)
A sentena acima pode ser representada na Lgica Proposicional pela frmula P.
20
ELSEVIER
3
Propriedades Semnticas da Lgica Proposicional
Exerccio 1: Demonstre se as afirmaes so verdadeiras.

a) Se (E G) e (G H) so tautologias, ento (E H) tautologia.
Suponha que (E G) e (G H) so tautologias.
Mas, (E G) tautologia se e somente se interpretao I, I[E] = I[G].
(G H) tautologia se e somente se interpretao I, I[G] = I[H].
Como, para toda interpretao, I[E]=I[G] e I[G]=I[H], ento, para toda interpretao, I[E]=I[H].
Portanto, interpretao I, I[E] = I[H], o que significa que (E H) tautologia.
b) (E G) tautologia, se, e somente se, (E G) so tautologias, ento (E H)
tautologia.
Esta afirmao no verdadeira.
Considere o contra-exemplo E = P e G = P .
Nesse caso, (P P ) tautologia, mas nenhuma das frmulas (P P ) e (P P ) so
tautologias.
c) Se I[E G] = T , ento I[E G] = T ou I[E G] = T ou I[E G] = T .
Seja uma interpretao I, I[E G] = T I[E] = I[G], ento
I[E G] = T I[E] = T e I[G] = T ou
I[E G] = T I[E] = T e I[G] = T
I[E] = F e I[G] = F
d) (E G) tautologia, se, e somente se, E e G so tautologias.
Se E e G so tautologias, ento para toda interpretao I, I[E] = T e I[G] = F .
Logo I[(E G)] = T I[E G] = F
I[E] 6= I[G]
22
e) Se I[(E G)] = T , ento I[E] = I[G] = T

Seja uma interpretao I, I[(E G)] = T I[(E G)] = F
I[E] = T e I[G] = F
Logo se I[E] = T e I[G] = F , ento, I[E] = I[G] = T
Exerccio 2:
a)H=P Q, G=P
P
T
T
F
F
Q
T
F
T
F
H
T
F
F
F
G
T
T
F
F
HG
Pois, Int I; I[H]=T I[G]=T
b)H= P Q, G=P
P
T
T
F
F
Q
T
F
T
F
H
T
T
T
F
G
T
T
F
F
H2G
Int I; I[H]=T ento I[G]=F
c)H= P q Q, G=False
P
T
T
F
F
Q
T
F
T
F
qQ
F
T
F
T
H
T
T
T
T
G
F
F
F
F
H2G
Int I; I[H]=F.
d)H=False, G=P
H2G
Int I; I[H]=F.
22
ELSEVIER
ELSEVIER
Captulo 3
e)H=P, G=True
HG
Pois, Int I; I[H]=T I[G]=T
Exerccio 3:
a)
i = 10.
b)
i = {1,2,3,4,5,6,7,8,9}.
c)
i = 10, j, k=1.
i = 6, j = 3, k = 1.
d)
No existem. As colunas devem ser equivalentes.
e)
H7 H5 , H5 2 H7 .
f)
No. As colunas devem ser equivalentes.
g)
No.
h)
6: {H1 , H2 , H3 , H4 , H6 , H9 }
23
23
24
ELSEVIER
i)
Tautologia: H1 Satisfatveis: H2 , H3 , H4 , H5 , H6 , H7 , H8 , H9 Contraditria: H10
j)
H1 = ((P Q) (P Q)) H2 = (P Q) H3 = (P Q) H4 = (P Q) H5 = (P Q)
H6 = ((Q Q) P ) H7 = ((Q Q) P ) H8 = (P Q) H9 = (P Q) H10 =
((P Q) (P Q))
Exerccio 4:
Exerccio 5: Considere as frmulas: A, B, C e D. Demonstre que A, B,

C, D satisfatvel, se e somente se, (A (B (C D))) tautologia.
Se A, B, C, D insatisfatvel, se e somente se, I[A] = F ou I[B] = F ou I[C]= F ou I[D] = F.
Se I[A] = F ou I[B] = F ou I[C] = F ou I[D] = F, se e somente se, I[A] = T ou I[B] = T ou
I[C] = T ou I[D] = T.
Se I[A] = T ou I[B] = T ou I[C] = T ou I[D] = T, se e somente se, I[A B C D]
= T.
Se I[A B C D] = T, se e somente se, pela lei de Morgan I[A B C D] = T.
Se I[A B C D] = T, se e somente se (A (B (C D))) tautologia.
Exerccio 6:
a) H no satisfatvel, se, e somente se, H contraditria.
H no satisfatvel no existe interpretao I; I[H]=T
interpretao I, I[H]=F
H contraditria.
Afirmao verdadeira.
b) H satisfatvel, se, e somente se, H no contraditria.
H satisfatvel existe interpretao I; I[H]=T
H no contraditria.
Afirmao verdadeira.
24
ELSEVIER
Captulo 3
c) H tautologia, se, e somente se, H contraditria.

H tautologia no existe interpretao I; I[ H]=F
interpretao I, I[ H]=T
interpretao I, I[H]=F
H contraditria.
Afirmao verdadeira.
d) H no tautologia, se, e somente se, H contraditria.
H no tautologia existe interpretao I; I[H]=F
Afirmao falsa pois no necessariamente H contraditria.
Exerccio 7:
a)
No, H 6= G e P 6= G.
b)
Sim, pois I[H] = I[P] e I[G] = I[P], logo I[H] = I[G].
c)
No. Exemplo: I[P] = T, I[Q] =T, T[R] = T e I[S]= F.
d)
Sim.
e)
Sim.
f)
Sim.
25
25
26
ELSEVIER
g)
Sim.
h)
Sim.
i)
No.
Exerccio 8: Demonstre se as afirmaes a seguir so verdadeiras ou

falsas.
a) H satisfatvel, se e somente se, H satisfatvel
Demonstrao. A ida: H satisfatvel H satisfatvel.
Por definio, H satisfatvel uma interpretao I;I[H] = T
Logo se I[H] = T I[H] = F
int I; I[H] = F
I[H] contraditria
Logo a afirmao: H satisfatvel H satisfatvel falsa.
Demonstrao. A volta: H satisfatvel H satisfatvel.
Por definio, H satisfatvel interpretao I;I[H] = F
Logo se I[H] = F I[H] = T
uma interpretao I; I[H] = T
I[H] satisfatvel
Logo a afirmao: H satisfatvel H satisfatvel verdadeira.
CONCLUSO: A afirmao FALSA, pois os resultados das interpretaes da IDA e da
VOLTA demonstrados acima so diferentes. cqd.
b) H contraditria, se e somente se, H satisfatvel
Demonstrao A ida: H contraditria H satisfatvel.
Por definio, H contraditria interpretao I;I[H] = F
26
ELSEVIER
Captulo 3
27

interpretao I; I[H] = T
I[H] tautologia
I[H] satisfatvel
Logo a afirmao: H contraditria H satisfatvel verdadeira
Demonstrao A volta: H satisfatvel H contraditria.
Por definio, H satisfatvel uma interpretao I;I[H] = T
uma interpretao I; I[H] = F
I[H] no contraditria
Logo a afirmao: H satisfatvel H contraditria falsa
CONCLUSO: A afirmao FALSA, pois os resultados das interpretaes da IDA e da
VOLTA demonstrados acima so diferentes. cqd.
c) H tautologia, se e somente se, H contraditria
Demonstrao A ida: H tautologia H contraditria.
Por definio, H tautologia interpretao I;I[H] = T
interpretao I; I[H] = F
I[H] contraditria
Logo a afirmao: H tautologia H contraditria verdadeira
Demonstrao A volta: H contraditria H tautologia.
Por definio, H contraditria interpretao I;I[H] = F
interpretao I; I[H] = T
I[H] tautologia
Logo a afirmao: H contraditria H tautologia verdadeira
CONCLUSO: A afirmao VERDADEIRA, pois os resultados das interpretaes da
IDA e da VOLTA demonstrados acima so iguais. cqd.
d) H tautologia se, e somente se, H satisfatvel.
H tautologia para toda interpretao I, I[H] = T
existe uma interpretao I, I[H] = T
H satisfatvel
27
28
ELSEVIER
No podemos afirmar que se H satisfatvel, ento H tautologia. Portanto, falso afirmar que H
tautologia se, e somente se, H satisfatvel.
e) Se H contraditria, ento H satisfatvel.
H contraditria
para toda interpretao I, I[H] = F

para toda interpretao I, I[H] = T
existe uma interpretao I, I[H] = T
H satisfatvel
Portanto verdade afirmar que se H contraditria, ento H satisfatvel

f ) Se H tautologia, ento H G equivale a G
H tautologia para toda interpretao I, I[H] = T
para toda interpretao I, I[H G] = I[G]
H G equivale a G
Portanto verdade afirmar que se H tautologia, ento H G equivale a G
g) H uma tautologia se, e somente se H G equivale a G
ida: H uma tautologia (H G) equivale a G
m
m
I, I[H]=T
I; I(H G) = I[G]
I, I[H] I[G] = I[G]
T I[G] = I[G]
volta: (H G) equivale a G H uma tautologia
m
m
I; I[H G] = I[G]
I, I[H]=T
Contra Exemplo H=P e G=P
(PP) equivale a P, porm no tautologia
h) H uma tautologia (H G) equivale a G
m
I, I[H]=T
m
I; I[H G] = I[G]
I, I[H] I[G] = I[G]
T I[G] = T e no a I[G]
28
ELSEVIER
Captulo 3
29
i) (H G) equivale a G H uma tautologia

m
I, I[H G] = I[G]
I, I[H] I[G] = I[G]
m
I;I[H]=T
Contra Exemplo H=P e G=P

(PP) = P, porm no tautologia
j) Se H satisfatvel, ento (H G) equivale a G.
H
T
T
F
F
G HG
T
T
F
T
T
T
F
F
Como podemos observar, (H G) no equivale a G.

k) H |= G, se e somente se, para toda interpretao I, se I[H] = T, ento I[G] = T.
Suponha que H = P Q e G = P P , temos ento a tabela-verdade abaixo:
P
T
T
F
F
Q
T
F
T
F
P
F
F
T
T
H
T
F
F
F
G
T
T
T
T
Como podemos observar, temos que H implica semanticamente G e G tautologia mas H

no. Logo a afirmao falsa.
l) Se H |= G e H tautologia, ento G tautologia.
H |= G, se e somente se, para toda interpretao I, se I[H] = T, ento I[G] = T.
Sendo H uma tautologia, temos que para toda interpretao I, I[H] = T, logo I[G] = T para
todo I. Portanto conclumos que a afirmao verdadeira.
m) H insatisfatvel ento H G equivale a G
Contra-exemplo H= P e G = Q P satisfatvel porm P Q no equivale a G. Logo a afirmo
falsa.
29
30
ELSEVIER
n) H uma tautologia ou G uma tautologia ento H contraditria.

H e contradio I; I[H]= F
I; I[H]=T
No h absurdo, logo a afirmao falsa.
o) H = G (H E) |= (G E)
H = false
G=P
E = false
false |= P T |= F
I[T F] = F : Logo a afirmao falsa
p) Se |= H e |= (G H), ento |= G.
A afirmao verdadeira.
Demonstrao:
Se (G H) tautologia ento para toda interpretao I, I[G H] = T . Mas como H
tambm tautologia, I[H] = F para todo I. Logo, para que (G H) seja verdadeiro para
todo I, G deve ser falso para todo I, ou seja, I[G] = F para todo I. Logo I[G] = T para todo I,
e portanto, modelsG. Sendo assim, a afirmao verdadeira.
q) Se H satisfatvel e (H G) satisfatvel, ento G satisfatvel.
A afirmao falsa.
Demonstrao:
H e (H G) so satisfatveis, logo existe interpretao I e J tal que I[H] = T e J[H G] = T .
Porm J[H G] = T no implica que J[G] = T , pois se J[H] = F , ento J[H G] = T
independentemente do valor de J[G]. E como H somente satisfatvel, J[H] = F um valor
possvel. Portanto no podemos afirmar que G satisfatvel, e portanto a afirmao falsa.
r) Se H satisfatvel e |= (H G), ento G satisfatvel.
Demonstrao:
Como (H G) tautologia, ento para toda interpretao I, I[H G] = T . Temos ainda que
H satisfatvel, logo existe interpretao I tal que I[H] = T . Para todo I, tal que I[H] = T ,
I[H G] = T , pois (H G) tautologia. Mas se I[H] = T e I[H G] = T , ento I[G] = T .
Logo G satisfatvel, e portanto a afirmao verdadeira.
30
ELSEVIER
Captulo 3
31
Exerccio 9:
a)
Falsa.
R: H satisfatvel existe uma interpretao I, I[H] = T, ou seja, no existe garantia de que H
seja uma tautologia.
b)
Verdadeiro.
R: H equivale a g para toda interpretao I, I[H] = I[G]
para toda interpretao I, I[H G] = T
para toda interpretao I, I[H G] = T e I[H G] = T
Logo, H G e H G so tautologias, cqd.
c)
Falsa.
R: H implica G para toda interpretao I, se I[H] = T ento I[G]=T
d)
Se H G ento (H E) (G E)
Logo, H G implica (H E) (G E)
Mas, por definio, H G int. I, se I[H] = T ento I[G] = T
Portanto,
H G int. I, se I[H] = T ento I[G] = T
int. I, se I[H E] = T ento I[G E] = T
(H E) (G E)
Ou seja, se H G implica (H E) (G E), ento a afirmao verdadeira.
e)
Se H G ento (H E) (G E)
Logo, H G implica (H E) (G E)
Mas, por definio, H G int. I, se I[H] = T ento I[G] = T e, pela proposio 3.4,
31
32
ELSEVIER
(H E) (G E) se, e somente se, (H E) (G E) tautologia

Portanto,
H G int. I, se I[H] = T ento I[G] = T
int. I, I[(H E) (G E)] = T
(H E) (G E) satisfatvel
Ou seja, se (H E) 2 (G E), H G no implica (H E) (G E), ento a afirmao
falsa.
f)
Se H G ento (G E) (H E)
Logo, H G implica (G E) (H E)
Mas, por definio, H G int I, se I[H] = T ento I[G] = T e, pela proposio 3.4,
(G E) (H E) se, e somente se, (H E) (G E) tautologia
Portanto,
H G int I, se I[H] = T ento I[G] = T
int. I, I[(H E) (G E)] = T
(H E) (G E) satisfatvel
Ou seja, se (G E) 2 (H E), H G implica (G E) (H E), ento a afirmao
falsa.
g)
h)
i)
j)
Por definio temos que H contraditria int I,I[H] = F
logo 6 I[H] = T , portanto H 6|= E e afirmao falsa
32
ELSEVIER
Captulo 3
33
k)
Por definio temos que o conjunto |= E int I, I[] = T , ento I[E] = T
Como tautologia int I, I[] = T
sendo I[] = T logo I[E] = T ,
portanto a Afirmao verdadeira
l)
(H1 H2 ... Hn ) tautologia int I, I[H1 H2 ... Hn ] = T
= int I; I[H1 H2 ... Hn ] = T
Portanto H1 H2 ... Hn satisfatvel
Afirmao verdadeira
m)
Se {H1 , H2 , ...., Hn } satisfatvel, ento {H1 H2 .... Hn } tautologia.
n)
Se {H1 , H2 , ...., Hn } satisfatvel, ento {H1 H2 .... Hn } satisfatvel.
o)
{H1 , H2 , ...., Hn } insatisfatvel, se e somente se, (H1 H2 .... Hn ) tautologia.
p) Se = {H1 , H2 ,... Hn } satisfatvel,ento H1 , H2 ,...,Hn so equivalentes entre
si.
FALSO, pois: {H1 , H2 ,...,Hn } satisfatvel Int. I, I[H1 , H2 ,...,Hn ]=T. Entretanto, I[H1 ,
H2 ,...,Hn ]=T Int. I,I[H1 H2 ,... Hn ]=T, ou seja, I[H1 ]=I[H2 ]=...= I[Hn ]=T,
Mas a definio de equivalncia nos diz que I[H1 ]=I[H2 ]=...= I[Hn ], podendo o conjunto
= T, ou = F.
Se = F, ento o conjunto = {H1 , H2 ,...Hn } no satisfatvel, contrariando a afirmao
inicial.
q) Se H satisfatvel,ento existem infinitas interpretaes I, tais que I[H]=T.
FALSO, pois pode existir uma ou mais, mas no infinitas.
33
34
ELSEVIER
r) As frmulas contraditrias so equivalentes entre si.

VERDADEIRO, pois:
O conjunto = {H1 , H2 ,...Hn } contraditrio I[H1 ]=I[H2 ]=...= I[Hn ]=F, o que a
definio de ser equivalente.
s)
Verdadeiro. Para que duas frmulas sejam equivalentes necessrio que para toda interpretao I, a
interpretao da primeira frmula seja igual a interpretao da segunda. Como toda interpretao
I das frmulas que so tautologias sempre verdadeira, pode-se concluir que as frmulas que so
tautologias so equivalentes, pois a interpretao das mesmas ser sempre igual.
t)
No se pode dizer que frmulas satisfatveis so equivalentes entre si. Sejam duas frmulas satisfatveis H e G. Pode ocorrer que uma interpretao I interprete H como sendo falsa e G como
verdadeira e uma interpretao J que interprete H como verdadeira e G como falsa. A definio
de equivalncia diz que as interpretaes das frmulas devem ser iguais para que elas sejam equivalentes, portanto, no de pode garantir que frmulas satisfatveis so equivalentes entre si.
u)
No. Pois se H for uma tautologia, H contraditria.
v)
Verdadeiro. Pois para que uma frmula seja satisfatvel necessrio que exista pelo menos uma
interpretao que a interprete como verdadeira. Se uma frmula tautologia todas as interpretaes
a interpretam como verdadeira, portanto, satisfazendo a condio de satisfatibilidade.
Exerccio 10:
a) H contraditria (H G) tautologia.
Utilizando as definies de contraditria e implicao temos que:
H contraditria interpretao I, I[H] = F
interpretao I, I[H G] = T
(H G) tautologia.
34
ELSEVIER
Captulo 3
35
b) H tautologia e G contraditria (H G) contraditria.

Utilizando as definies de tautologia, contraditria e implicao temos que:
H tautologia e G contraditria interpretao I, I[H] = T e interpretao I, I[G] = F
interpretao I, I[H G] = F
(H G) contraditria.
c)
{H satisfatvel, (H G) satisfatvel } {G satisfatvel }
H satisfatvel existe uma int. I, I[H] = T.
(H G) satisfatvel existe uma int. I, se I[H] = T, ento I[G]= T.
Logo G satisfatvel, pois existe uma int. I, I[G] = T. Cqd.
d)
{H tautologia, (G H) tautologia} {G tautologia }
H tautologia para toda int. I, I[H] = T.
( G H) tautologia para toda int. I, se I[ G] = T, ento I[ H]= T.
( G H) tautologia para toda int. I, se I[G] = F, ento I[H]= F.
Porm H tautologia, logo I[G] = T.
Dessa forma temos que G tautologia. Cqd.
e)
{G tautologia} {H tautologia, ( G H) tautologia }
G tautologia para toda int. I, I[G] = T.
H tautologia para toda int. I, I[H] = T.
( G H) tautologia para toda int. I, se I[ G] = T, ento I[ H]= T.
( G H) tautologia para toda int. I, se I[G] = F, ento I[H]= F.
Exerccio 11:
a) Se I[H]=T e I[H G]=T, ento I[G]=T.
I[H G] = T Se I[H]=T, I[G]=T ou I[H]=F.
Como I[H]=T, necessariamente I[G]=T.
b) Se I[H G]=T, ento no necessariamente I[G]=T.
I[H G] = T Se I[H]=T, I[G]=T ou I[H]=F.
Caso I[H]=F, independentemente do valor de I[G], o valor verdade da frmula I[H G] "T".
35
36
ELSEVIER
Exerccio 12:
a)
H G no existe int. I, I[H] = T e I[G] = F.
H G para toda int. I, se I[H] = T, ento I[G] = T.
para toda int. I, I[H G] = T.
(H G) tautologia.
Para I[H] = T e I[G] = F, I[H G] = F e portanto (H G) no tautologia, logo no existe int.
I, I[H] = T e I[G] = F. Cqd.
b)
H 2 G existe int. I, I[H] = T e I[G] = F.
H 2 G no existe int. I, se I[H] = T ento I[G] = T.
existe int I, se I[H] = T, ento I[G] = F. Cqd.
c)
H G para toda int. I, I[H] = F ou I[G] = T.
H G para toda int. I, se I[H] = T, ento I[G] = T.
Dessa forma existe uma int. I[G] = T e com isso podemos concluir que I[G] = T. Cqd.
Exerccio 13: Classifique as afirmaes a seguir em verdadeiras ou falsas.

Justifique suas respostas.
a) Dada uma frmula contraditria H, possvel encontrar uma interpretao I tal
que I[H] = T .
Falsa. Pois se a frmula contraditria interpretao I, I[H] = F . Portanto @ interpretao
I; I[H] = T . cqd.
b) Se H uma tautologia, ento no existe interpretao I tal que I[/negH] = T
Verdadeira. Se H uma tautologia interpretao I, I[H] = T , logo I[H] = F . Ento, @
interpretao I, I[H] = T cqd.
c) se H1 , H2 , ....Hn um conjunto satisfatvel de frmulas, ento para toda
interpretao I, I[Hi ] = T .
Falsa. Se H1 , H2 , ....Hn um conjunto satisfatvel interpretao I; I[Hi ] = T . Isto no quer
dizer que sejam todas as interpretaes. cqd.
36
ELSEVIER
Captulo 3
37
Exerccio 14:
No. H G nos diz que, se I[H] = T, ento I[G] = T. Respeitando esta condio, podemos ter I[H]
= F, e, quando esta interpretao ocorre, nada podemos concluir sobre I[G].
Exerccio 15:
a)
P, P no
b)
{S , P (S P ), S}
I[P]=T, I[Q]=T, I[S]=T : Satisfatvel
c)
{(Q P ), P P, Q R}
I[P]=F, I[Q]=T, I[R]=F : Satisfatvel
d)
{(Q R) P, Q (P R), P R}
I[P]=T, I[Q]=T, I[R]=F : Satisfatvel
e)
{P Q, Q R, R S, S P }
I[P]=T, I[Q]=T, I[R]= T, I[S]=T : Satisfatvel
f)
{P Q, (P R) (P Q R), (Q R S))}
I[P]=T, I[Q]=T, I[R]=T, I[S]=T : Satisfatvel
g)
{P Q, (Q R), R S, (S P )}
I[P]=F, I[Q]=F, I[R]=T, I[S]=T : Satisfatvel
37
38
ELSEVIER
Exerccio 16:
a) Utilizando as definies de equivalncia, bi-implicao e tautologia temos que:
H equivale a G interpretao I, I[H] = I[G]
Logo, temos que se H tautologia, G tambm deve ser uma tautologia, no sendo possvel contradizer a afirmao.
b) Utilizando as definies de equivalncia, bi-implicao e tautologia temos que:
H equivale a G interpretao I, I[H] = I[G]
interpretao I, I[H G] = T
(H G) tautologia.
Se tivssemos uma interpretao I, I[H G] = F, H no seria equivalente a G. Portanto no
possvel contradizer a afirmao.
Exerccio 17:
H |= G e H eq E
I; se I[H]=T ento I[G]=T
{, E H, H}
I[G]= T, I[H]=T e I[E H]= T : Insatisfatvel.
38
4
Mtodos para determinao de Propriedades Semnticas de
Frmulas da Lgica Proposicional
Exerccio 1:
H
T
F
((H))
T
F
((H)) H
T
T
H
T
T
F
F
G
T
F
T
F
(H G)
F
T
F
F
(H (G))
F
T
F
F
(H G) (H (G))
T
T
T
T
H
T
T
F
F
G
T
F
T
F
(H G)
F
T
T
F
(H G)
F
T
T
F
(H G) (H G)
T
T
T
T
H
T
T
F
F
G
T
F
T
F
(H G)
F
T
T
F
(H G)
F
T
T
F
(H G) (H G)
T
T
T
T
Exerccio 2:
1. (H G) (H G)
(H G) (H G)
FTF F T F F
(H G) (H G)
T T F F F FF
40

Abs.
ELSEVIER
Abs.
2. (H G) ((H G) G)
(H G) ((H G) G)
TTF F T T F F F
Abs.
((H G) G) (H G)
F T F T F F FFF
Abs.
(H (H G)) (H G)
T T T F F F TFF
Abs.
3. (H G) (H (H G))
(H G) (H (H G))
TTT F T F T T T
Abs.
Exerccio 3:
Exerccio 4:
Para provar que (H G) (H (H G)) tautologia utilizaremos o mtodo de tabela verdade
conforme abaixo:
H
T
T
F
F
G (H G) (H G) (H (H G)) (H G ) (H (H G ))
T
T
T
T
T
F
F
F
F
T
T
T
F
T
T
F
T
F
T
T
Portanto (H G) (H (H G)) tautologia,

pois int I,I[(H G) (H (H G))]=T
cqd.
Para provar que (H G) (G H) tautologia utilizaremos o mtodo de tabela verdade conforme abaixo:
40
ELSEVIER
H
T
T
F
F
Captulo 4
41
G (H G) ( G H) (H G) (H (H G))
T
T
T
T
F
F
F
T
T
T
T
T
F
T
T
T
Portanto (H G) ( G H) tautologia,
pois int I, I[(H G) ( G H)] = T
cqd.
Exerccio 5: Demonstre, utilizando qualquer um dos mtodos estudados

neste captulo, que as frmulas a seguir so tautologias.
(H G) ((H G) (G H)), (H G) ((H G) (H G)).
Suponha que I[(H G) ((H G) (G H))] = F , como indicado na figura a
seguir, h um absurdo, pois no podemos interpretar H como verdadeiro e falso ao mesmo tempo,
isto , no existe interpretao I tal que I[(H G) ((H G) (G H))] = F . Logo,
(H G) ((H G) (G H)) uma tautologia.
( H G ) (( H G ) ( G H ))
T TT F
T
T F T
F
Suponha que I[(H G) ((H G) (H G))] = F , como indicado na figura a

seguir, h um absurdo, pois no podemos interpretar G como verdadeiro e falso ao mesmo tempo,
isto , no existe interpretao I tal que I[(H G) ((H G) (H G))] = F . Logo,
(H G) ((H G) (H G)) uma tautologia.
( H G ) (( H G ) ( H G ))
T TT F F TFT F TTT F
Exerccio 6: (H G) ((H G) ( H G)).

H
T
T
F
F
G
T
F
T
F
H G H G H G (H G) (H G) H
T
T
F
T
T
F
F
F
F
T
F
F
F
F
T
T
F
T
T
T
41
42
ELSEVIER
Conluso: Analisando a tabela verdade, qualquer combinao de valores de verdade para os

smbolos H e G, a frmula ( H G) ((H G) (H G)) interpretada como verdadeira,
ento tautologia.Cqd.
Exerccio 7:
H
T
T
T
T
F
F
F
F
G
T
T
F
F
T
T
F
F
E
T
F
T
F
T
F
T
F
(H (G E)) ((H G) (H E)) (H (G E)) ((H G) (H E))

T
T
T
T
T
T
T
T
T
F
F
T
F
F
T
F
F
T
F
F
T
F
F
T
(H (G E)) ((H G) (H E)) tautologia, pois para toda interpretao I, a frmula

interpretada como verdadeira, como pode ser observado na ltima coluna da tabela.
H
T
T
T
T
F
F
F
F
G
T
T
F
F
T
T
F
F
E
T
F
T
F
T
F
T
F
((H (G E)) ((H G) (H E)) ((H (G E)) ((H G) (H E))

T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
F
T
F
F
T
F
F
T
((H (G E)) ((H G) (H E)) tautologia, pois para toda interpretao I, a frmula
interpretada como verdadeira, como pode ser observado na ltima coluna da tabela.
Exerccio 8:
Exerccio 9:
((H G)H) (H (GH)), ((H G)H) (H (Gh)), ((H G) H) (H (G H)).
Suponha que B seja um conjunto de frmulas, tal que, = {A, B, C}. Suponha que A = ((H G)
42
ELSEVIER
Captulo 4
43
H) (H(GH)), B = ((HG)H) (H(Gh)) e C = ((H G) H) (H (G H)).

Para demonstrar que = {A, B, C} tautologia. Basta demonstrar que A, B e C so tautologias.
Demonstrao que A tautologia:

Semntica n 3:
((HG)H)(H(GH))
FF
F F T FF
Logo, se I[H] = F independente de I[G], a frmula verdadeira.

Semntica n 4:
((HG)H)(H(GH))
T
Logo a frmula verdadeira para I[H] = T e I[G] = T.

Semntica n 5:
((HG)H)(H(GH))
F F F
T
F FF
Logo I[G] = T independente de I[H] a frmula verdadeira.

Logo a frmula tautologia.
Exerccio 10:
((H G) (G H)) (H H)
((H G) (G H)) (H H)
43
44

H
T
T
F
F
ELSEVIER
G H G G H H H (H G) (G H) (((H G) (G H)) (H H))

T
T
T
T
T
T
F
F
T
T
F
T
T
T
F
T
F
T
F
T
T
T
T
T
H
T
T
F
F
G H G G H H H (H G) (G H) (H G) (G H)) (H H)
T
T
T
T
T
T
F
F
F
T
F
T
T
F
F
T
F
T
F
T
T
T
T
T
Exerccio 11:
(H (H G)) H, (H (H G) H
Supondo um conjunto de frmulas = {A, B}, tal que = {A, B} tautologia para A =
(H (H G)) H e B = (H (H G) H). Para demonstrar tal afirmao, basta demonstra
que I[(A, B)] = T . Porm devemos demonstra que I[A] = T e I[B] = T . Para tal demonstrao,
utilizaremos o mtodo de rvore semntica.
Demonstrao que A tautologia.
Semntica n 2:
(H(HG))H
T
T
TT
Apenas com a interpretao de H conclui-se que a frmula verdadeira, independente de G.

Semntica n 3:
(H(HG))H
F
F
T F
Apenas com a interpretao de H, conclui-se que a frmula verdadeira, independente de G.

Conclui-se ento que I[A] = T . Logo A tautologia.
Demonstrao que B tautologia.
44
ELSEVIER
Captulo 4
45
(H (H G)) H
Semntica n 2:
(H(HG))H
T
T
TT
Apenas com a interpretao de H como verdadeira, conclui-se que a frmula verdadeira para
I[H] = T , independente de G.
Semntica n 3:
(H(HG))H
F
F
T F
Logo a frmula verdadeira para I[H] = F independente de G.

Conclui-se ento que int. I[B] = T , logo B tautologia.
Se A e B so tautologias, logo I[(A, B)] = T .
Exerccio 12: Demonstre utilizando qualquer um dos mtodos estudados

neste captulo, que as frmulas a seguir so tautologias.
(H) H, H H, H H, H (H H), H (H H), H (H (H G)), H (H (H G))
Considere a seguinte demonstrao utilizando o mtodo da tabela verdade, associada a frmula H:
H H H H H H H H H H
T F
T
T
T
T
F T
F
F
T
T
(H) H tautologia.
45
46
H H tautologia.
H H tautologia.
H (H H) tautologia.
H (H H) tautologia.
ELSEVIER
Considere ainda a demostrao utilizando o mtodo de tabela verdade associada as frmulas

H e G.
H
T
T
F
F
G H G H G H (H G) H (H G) H (H
T
T
T
T
T
F
F
T
T
T
T
F
T
F
F
F
F
F
F
F
H (H (H G)) tautologia.
H (H (H G)) tautologia.
(H G)) H (H
T
T
T
T
(H G))
T
T
T
T
Portanto o conjunto de frmulas tautologia. cqd.
Exerccio 13:
H
T
T
F
F
G
T
F
T
F
H
F
F
T
T
G H G (H) (G) (H G) ((H) (G))

F
T
T
T
T
F
F
T
F
F
F
T
T
T
T
T
H
T
T
F
F
G H G G H (H G) H H (G H) ((H G) H) ( H (G H))
T T
T
T
T
T
F
F
T
T
T
T
T F
F
T
T
T
F
F
T
T
T
T
H
T
T
F
F
G H H G (H H) H (G (H H))
T
T
T
T
F
T
T
T
T
T
T
T
F
T
T
T
Exerccio 14:
H (H G), (H G) H
Fazendo I[H]=T e I[G]= F temos uma interpretao que interpreta a primeira frmula como falsa,
46
ELSEVIER
Captulo 4
47
portanto no uma tautologia. Porm tentando uma interpretao falsa na segunda frmula,
chegamos em I[G]=T e I[H]=T e I[H]=F o que um absurdo, portanto a segunda frmula uma
tautologia.
Exerccio 15:
(((H G) H) H)
Utilizando o mtodo da negao ou absurdo, tem-se que:
(((H G) H) H)
F T
T F
F F
F (Absurdo!)
Portanto a frmula tautologia
(H (H G))
Utilizando o mtodo da neao ou absurdo, temos que:
(H (H G))
TF F
T F
F (Absurdo!)
Portanto, a frmula tautologia.
Exerccio 16:
H
T
T
T
T
F
F
F
F
G
T
T
F
F
T
T
F
F
E ((H G) E) ((H E) G
T
T
T
F
T
T
F
T
F
T
F
T
T
F
T
F
T
T
F
F
T
T
T
T
T
F
T
F
T
T
F
F
T
F
T
T
T
F
T
F
T
T
F
F
T
F
T
T
47
48
ELSEVIER
Exerccio 17:
H = (true) f alse
Utilizando o mtodo da negao, temos:
H = (true) f alse
F
Como I[H] = F , ento
I[true] = F e I[f alse] = T , ou I[true] = T e I[f alse] = F .
Em ambos os casos temos um absurdo, pois por definio I[true] = F e I[f alse] = F .
Logo H tautologia.
H = (f alse) true
H = (f alse) true
F
Como I[H] = F , ento
I[f alse] = T e I[true] = F , ou I[f alse] = F e I[true] = T .
Novamente, em ambos os casos temos um absurdo, pois por definio I[f alse] = T e I[true] = T .
Portanto H tautologia.
G = (H true) H
G = (H true) H
F
Como I[G] = F , temos duas possibilidades:
Primeira possibilidade:
G = (H true) H
F
F T
Como I[H true] = F , ento
I[H] = F ou I[true] = F .
Temos aqui um absurdo, pois por definio I[true] = T e I[H] j havia sido definido com T anteriormente.
Segunda possibilidade:
G = (H true) H
T
F F
Como I[H true] = T , ento
I[H] = T e I[true] = F .
Novamente temos um absurdo, pois I[H] j havia sido definido como F .
Portanto, G tautologia.
G = (H f alse) f alse
F
48
ELSEVIER
Captulo 4
49

F
F T
Temos aqui um absurdo, pois por definio I[f alse] = F .
T
F F
Como I[H true] = T , ento
I[H] = T e I[f alse] = T .
Novamente temos um absurdo, pois I[f alse] = F por definio.
G = (H true) true
G = (H true) true
F
G = (H true) true
F
F T
Como I[H true] = F , ento
I[H] = F e I[true] = F .
Temos aqui um absurdo, pois por definio I[true] = T . Alm disso I[H] havia sido definido anteriormente como T .
G = (H true) true
T
F F
Novamente temos um absurdo, pois I[true] = T por definio.
Exerccio 18:
Para provar que (H f alse) H tautologia utilizaremos o mtodo de tabela verdade conforme
abaixo:
H (H f alse) H (H f alse) ( H) (H true) true (true H) H
T
T
T
T
T
F
T
T
T
T
Portanto todas as frmulas acima so tautologias, pois todas as interpretaes so verdadeiras.
cqd.
49
50
Exerccio 19:
H
T
F
true
T
T
false
F
F
false H
T
T
H
T
F
true
T
T
(true H)
T
F
H
T
F
false
F
F
(false H)
T
F
(false H) true
T
T
H (true H)
T
T
H (false H)
T
T
Exerccio 20:
i (P Q) G
a) (P Q) (P Q) (P Q) (P Q) tautologia
(PQ)(PQ)
TTF F F FF
No existe absurdo, logo (P Q) 2 (P Q)
b) (P Q) (Q P ) (P Q) (Q P ) tautologia
(PQ)(QP)
FTF F T F F
Abs.
Existe absurdo, logo (P Q) (Q P )
c) (P Q) (P Q) (P Q) (P Q) tautologia
(PQ)(PQ)
TTF F T F F
Abs.
Existe absurdo, logo (P Q) (P Q)
d) (P Q) (P Q) (P Q) (P Q) tautologia
50
ELSEVIER
ELSEVIER
Captulo 4
(PQ)(PQ)
TTF F T F F
Abs.
e) (P Q) (P Q) (P Q) (P Q) tautologia
(PQ)(P Q)
FTF F T F F
Abs.
f) (P Q) (P Q) (P Q) (P Q) tautologia
(PQ)(PQ)
TTT F TF F
ii (P Q) G
(PQ)(PQ)
TT F F F FF
Abs.
(PQ)(QP)
FT F F T FF
No existe absurdo, logo (P Q) 2 (Q P )
(PQ)(PQ)
T F F
51
51
52

Possibilidade 1
(PQ)(PQ)
TTF F TFF
Abs.
Posibilidade 2
(PQ)(PQ)
FTT F FFT
Como existe apenas um absurdo, logo (P Q) 2 (P Q)
(PQ)(PQ)
TTF F TFF
Abs.
(PQ)(P Q)
FTT F T F F
(PQ)(PQ)
T F F
Possibilidade 1
(PQ)(PQ)
T T T F TF F
Possibilidade 2
(PQ)(PQ)
F T F FF
iii (P Q) G
52
ELSEVIER
ELSEVIER
Captulo 4
(PQ)(PQ)
TTF F F FF
(PQ)(QP)
FT F F T F F
Abs.
Existe absurdo, logo (P Q) (Q P )
(PQ)(PQ)
T F F
Possibilidade 1
(PQ)(PQ)
TTF F T F F
Possibilidade 2
(PQ)(PQ)
TTF F T F F
(PQ)(PQ)
TTF F T F F
(PQ)(P Q)
FTT F T F F
(PQ)(PQ)
T F T
53
53
54
Possibilidade 1
(PQ)(PQ)
TTT T TF F
Possibilidade 2
(PQ)(PQ)
FTF F F F T
iv (P Q) G
(P Q) (P Q)
T T F F F FF
Abs.
(P Q) (Q P )
F TF F T F F
No existe absurdo, logo (P Q) 2 (Q P )
(P Q) (P Q)
T
F
F
Possibilidade 1
(P Q) (P Q)
T T T F T FT
Abs.
Possibilidade 2
(P Q) (P Q)
F T F F F FF
Abs.
Existe absurdo em ambas possibilidades, logo (P Q) (P Q)
54
ELSEVIER
ELSEVIER
Captulo 4
(P Q) (P Q)
T T F F T F F
Abs.
(P Q) (P Q)
F T T F T F F
Abs.
(P Q) (P Q)
T
F
F
Possibilidade 1
(P Q) (P Q)
T T T T TF F
Possibilidade 2
(P Q) (P Q)
F T F F FF T
Exerccio 21:
Exerccio 22:
a)
1
s
P
PP
PP
s
2
Ps 3
@
HH
H
55 6
s
@s 5
s
7 Hs
F @
@
@
8
s
@s 9
10
s
11@s 12
s
@s 13
F
@
F
@ F
@
14
s
@s 15
16
s
@s 17
s 18
@s 19
F
@
F
@ F
@
20
s
@s 21
22
s
@s 23
s 24
@s 25
F
@
F
F
26
s
@s 27
T
55
56
ELSEVIER
Portanto como no n 26 existe uma interpretao I[H] = T e nos outros I[H] = F , logo
concluimos que H satisfatvel.
b)
Como na frmula existem 6 variveis(P,Q,R,S,P1,Q1) logo o nmero de linhas da tabela verdade
26 =64.
Exerccio 23:
a) Demonstre, utilizando o mtodo da negao, ou reduo ao absurdo, se as
frmulas a seguir tautologias ou no.
G = (P Q) ((Q P ) (P R))
Suponha que I[G] = F , como indicado na figura a seguir, h um absurdo, pois no podemos
interpretar P como verdadeiro e falso ao mesmo tempo, isto , no existe interpretao I tal que
I[G] = F . Logo, G uma tautologia.
( P Q ) (( Q P ) ( P R ))
TT T F F T F F F F FF F
H = (P (Q R)) ((P Q) R)
Suponha que I[H] = F , como indicado na figura a seguir, h um absurdo, pois no podemos
interpretar Q como verdadeiro e falso ao mesmo tempo, isto , no existe interpretao I tal que
I[H] = F . Logo, H uma tautologia.
( P ( Q R )) (( P Q ) R )
T F T F
F
TT T F F
G1 = H1 (H1 G2 )
Suponha que I[G1 ] = T , como indicado na figura a seguir, no h um absurdo, isto , existe
interpretao I tal que I[G1 ] = F . Logo, G1 no uma tautologia.
56
ELSEVIER
Captulo 4
57
H1 ( H1 G 2 )
T T
T
Exerccio 24: (P P1 ) (Q Q1 ) (P Q1 ) (Q P1 )
(P P1 ) (Q Q1 ) (P Q1 ) (Q P1 ) tautologia ((P P1 ) (Q Q1 )) ((P
Q1 ) (Q P1 )) tautologia
Supondo que H no tautologia, ento:
((P P1 ) (Q Q1 )) ((P Q1 ) (Q P1 ))
T
TF T F
F T F F F T FF
Chegamos em um absurdo em Q, mas por outro lado, temos:
((P P1 ) (Q Q1 )) ((P Q1 ) (Q P1 ))
FT F TT T T
F F T T F T FF
Neste segundo caso no existe um absurdo, logo no podemos afirmar que H tautologia.Cqd.
Exerccio 25:
a) Seja H1 = (P Q) (R S)
N
1
2
3
4
5
6
7
8
9
Q R
T
F
T
T
T
T
T
T
T
F
T
T
T
T
H1
T
T
F
T
T
T
F
F
T
F
Seja H2 = ((P Q) R S) (P1 Q1 )
57
58

N
1
2
3
4
5
6
7
8
9
10
11
12
13
T
F
T
T
Q R
T
F
T
F
F
F
F
F
F
F
P1 Q1 H2
T
F
F
F
F
F
T
F
T
T
T
T
T
T
T
T
T
T
ELSEVIER
F
T
F
T
T
T
T
T
T
T
T
F
F
F
T
F
T
b) Para I[H1 ] = F: I[P] = T, I[Q] = T, I[R] = T e I[S] = F.

Para J[H1 ] = T: J[P] = T, J[Q] = T, J[R] = T e J[S] = T.
Para I[H2 ] = F: I[P1 ] = T, I[Q1 ] = T, I[R] = F, I[S] = F, I[P] = T e I[Q] = T.
Para J[H2 ] = T: J[Q1 ] = T, J[P1 ] = T, J[S] = F, J[R] = F, J[Q] = F e J[P] = T.
Exerccio 26:
Exerccio 27:
P Q, se e somente se, Q P
A ida :
Temos P Q e devemos demonstrar que Q P . Mas, P Q int I, I[P ] = T , ento
I[Q] = T .
Por outro lado
Q P int I, se I[Q] = T , ento I[P ] = T
Portanto devemos supor:
I[Q] = T e P Q
e demonstrar I[P ] = T . Se I[Q] = T , ento I[Q] = F , logo pela frmula P Q temos que
I[P ] = F e portanto I[P ] = T . Cqd.
Exerccio 28:
P1
P2
P3
P4
=
=
=
=
"Alrio
"Alrio
"Alrio
"Alrio
toma vinho"
fica com ressaca"
fica triste"
vai para casa"
58
ELSEVIER
Captulo 4
P5 = "Alrio vai ao seu encontro romntico com Virgnia"

Q1 = "Vinho est ruim"
H1: (P1 Q1) P2
H2: P2 (P3 P4)
H3: P5 (P3 P4)
G1: (P1 Q1) ( P5)
G2: (P2 P4) P5
G3: Q1 ( P1 P2)
G4: (Q1 P2) P3
G5: (P1 P4) (Q1 P3)
H1, H2, H3 |= G1
(((P1 Q1) P2) (P2 (P3 P4)) (P5 (P3 P4))) ((P1 Q1) ( P5))
T T
Como no h absurdo, ento a afirmao G1 falsa.

H1, H2, H3 |= G2
(((P1 Q1) P2) (P2 (P3 P4)) (P5 (P3 P4))) ((P2 P4) P5)
T T

H1, H2, H3 |= G3
(((P1 Q1) P2) (P2 (P3 P4)) (P5 (P3 P4))) (Q1 ( P1 P2))
T T

H1, H2, H3 |= G4
(((P1 Q1) P2) (P2 (P3 P4)) (P5 (P3 P4))) ((Q1 P2) P3)
F F

H1, H2, H3 |= G5
(((P1 Q1) P2) (P2 (P3 P4)) (P5 (P3 P4))) ((P1 P4) (Q1 P3))
T T
F T
Exerccio 29:
i)
P = Ricardo ama Lcia
Q = Ricardo ama Elaine
a) P Q
b) P Q
H = ( ( P V Q ) E ( P SE Q ) ) SE P No encontramos absurdo.
F T T T F T T
F F
59
59
60
ELSEVIER
Como H no tautologia, ento no necessariamente Ricardo ama Lcia.
G = ( ( P V Q ) E ( P SE Q ) ) SE Q
TT F T TT F
F F
Como G tautologia, ento necessariamente Ricardo ama Elaine.
ii) Perg.: P Q?
Resp.: (P Q) P
Como H tautologia, ento Ricardo ama Lcia.
H= ( ( P Q ) P ) P
F T
TF FF
F
Absurdo
G= ( ( P Q ) P ) Q
F F F TT F F
No h absurdo nessa possibilidade I[P] = T. Logo G no tautologia, portanto no necessariamente Ricardo ama Elaine.
iii) Perg.: P Q?
Resp.: (P Q) P
H=((PQ)P)P
F F
TF FF
T
Absurdo
Portanto H tautologia, logo Ricardo necessariamente ama Lcia.
G=((PQ)P)Q
F T
F F
Poss.1
T F
FT
Absurdo
Poss.2
F T
F F
Absurdo
H absurdo em todas as possibilidades, Log G tautologia. Portanto necessariamente Ricardo ama Elaine.
60
ELSEVIER
Captulo 4
Prova por absurdo:

HHH
poss. 1 poss2 poss. 1 poss. 2 poss. 1 poss. 2
H tautologia H tautologia H no tautologia
iv) (P Q) (P (P Q))
v) Logo, como no encontramos absurdo, int I, tal que I[H] = F
(P Q)(P Q)
T T T F T F F No encontramos absurdo.
(P Q)(P Q)
F F T F F T T No encontramos absurdo.
vi) P = Ricardo ama Lcia, Q = Ricardo ama Elaine, R = Ricardo ama Patrcia
Portanto, Ricaro necessariamente ama Lcia.
((PQR)((PR)Q)((RQ(RQ))(RP))P
F T F T
FFT F TT T
FFT
T FFT F
T F TF
FF
Portanto, Ricardo necessariamente ama Elaine.

(( PQR)(( PR)Q)((RQ(RQ))(RP))Q
T F F
F T F
F
FF FT T FTT F
F T
F
Portanto, Ricardo ama Patrcia.

((PQR)((PR)Q)((RQ(RQ))(RP))R
F T F
FFT
TT
FFT
T F
F
F
Exerccio 30: Considere as sentenas a seguir:

H1 : Se Adriane no inteligente, ento Joyce linda.
H2 : Se Joyce no loura, ento rica interesante.
61
61
62
ELSEVIER
H3 : Se rica linda ou interessante, ento Adriane inteligente.

H4 : Se Luciana no inteligente, ento rica interessante.
H5 : Se Luciana linda, ento rica interessante.
Suponha que essas sentenas so verdadeiras. Apartir desse fato, deduza o atributo de cada
uma das meninas. Considere na soluo as restries a seguir.
a) H uma correspondncia biunvoca entre pessoas e atributos.

b) Na soluo, conclui-se que Joyce loura.
Supondo as seguintes asseres:
P = Adriene inteligente.
Q = Joyce linda.
R = Joyce loura.
S = rica interessante.
P1 = rica linda.
P2 = Luciana inteligente.=
P3 = Luciana Linda.
Considerando que as sentenas so verdadeiras e as restries impostas no exerccio, concluise ento que:
Como I[R] = T ento I[Q] = F e I[S] = F .
Como I[S] = F ento I[P1 ] = T .
Como I[Q] = F ento I[P ] = T .
Como I[S] = F ento I[P2 ] = T .
Como I[P2 ] = T ento I[P3 ] = F .

Concluso os atributos so:
Adriane inteligente.
Joyce loura.
rica linda.
Luciano Inteligente. cqd.
62
ELSEVIER
Captulo 4
63
Exerccio 31:
P = Jlio ama Simone
Q = Jlio sortudo
H = (P Q) (P Q)?
P Q P P Q P Q (P Q) (P Q)
TT F
T
T
T
T F F
F
T
T
F T T
T
T
T
F F T
T
F
F
H satisfatvel.
Exerccio 32:
P = H pouco sangue na cena do crime
Q = O matador profissional
R = Houve poucos rudos no momento do crime
S = A vtima estava toda ensaguentada
Ana: P Q
Tereza: R Q
Cynthia: S R
Melo: P
= {P Q, R Q, S R, P}
I[P]=T, I[Q]=T, I[R]=F, I[S]=T : Com estas interpretaes verificamos que o (conjunto de
concluses) satisfatvel
Exerccio 33:
Considere as associaes:
P = "H sangue na cena do crime"
Q = "O matador um profissional"
Logo, as opinies dos detetives so representadas por:
Ana: P Q
Teresa: (P Q)
Cynthia: Q P
Melo: P
a)
P Q, (P Q), Q P
63
64

P
T
T
F
F
Q PQ
T
T
F
F
T
T
F
T
(P Q)
T
F
T
T
ELSEVIER
Q P
F
T
F
F
Conforme mostrado na tabela, no existe interpretao I, I[P Q] = I[(P Q)] =

I[Q P ] = T. Logo o conjunto de concluses no satisfatvel.
b)
Basta determinar se ((P Q) P ) Q uma tautologia.
((P Q) P ) Q
T F F TF T T
F F
Absurdo. Logo podemos concluir que o matador profissional, a partir das concluss de
Teresa e Melo.
c)
Basta determinar (P Q) ((P Q)) uma tautologia.
(P Q) (P Q)
P
T
T
F
F
Q (P Q)
T
T
F
F
T
T
F
T
(P Q) (P Q) (P Q)
T
T
F
T
T
T
T
T
Conforme mostrado na tabela, (P Q) (P Q) tautologia, logo as concluses de

Ana e Teresa so equivalentes.
Exerccio 34:
i)
P = Irani me beija
Q = Fico louco(a)
(P Q) |= (P Q)
Fazendo I[P]=F, I[Q]=T, no encontramos absurdo, logo a afirmao falsa.
64
ELSEVIER
Captulo 4
65
ii)
P = Irani me beija
Q = Fico louco(a)
(P Q) |= (Q P )
Fazendo I[P]=T, I[Q]=F, encontramos um absurdo, logo a afirmao e uma tautologia.
Exerccio 35:
Exerccio 36:
Considere o seguinte conjunto de argumentos:
Se Godofredo ama Gripilina,
ento possvel concluir que:
Se Gripilina bonita, inteligente e sensvel,
ento Godofredo feliz.
Demonstre, utilizando conceitos da Lgica Proposicional, se, a partir desse argumento,
podemos concluir que:
Godofredo no ama Gripilina ou
Gripilina no bonita, no inteligente e nem sensvel ou
Godofredo feliz.
Exerccio 37:
Exerccio 38:
A afirmao que ocorre a letra b).
A observao de Janio pode ser traduzida como: A B (ou ainda A B).
E a observao de Nicanor pode ser escrita como: A B.
Utilizando o teorema de DeMorgan podemos constatar que a primeira situao a negao da
segunda, e vice-versa.
65
66
Exerccio 39:
P = O ricardo existe
Q = ela pode evitar o ricardo
R = ela quer evitar o ricardo
S = ela tem personalidade
P1 = ela sincera
P (((Q R) (Q S) ( R P1)) (S P1))
T F
F T F T F T F T F T F
F
F F F
Abs.
Exerccio 40:
66
ELSEVIER
5
Relaes semnticas entre os conectivos da Lgica
Proposicional
Exerccio 1: Demontre que H e G so equivalentes: H=(P Q) (R

S) G= ((P Q) (Q P)) (R S)
Demonstrar que H equivale G int I, tal que I[H]=I[G], ou pela regra da substituio a partir
de H conseguirmos chegar em G.
Ento temos que:
P Q (P Q) (Q P), mas
P Q (P Q), ento:
(P Q) (Q P) (P Q) (Q P), mas
I[P Q]=I[(P Q)] ((P Q) (Q P))
Ento temos que:
H= ((P Q) (Q P)) (R S),
Logo I[H]=I[G].Cqd.
Exerccio 2:
a)
(P Q) equivale a ((P Q) Q), como pode demonstrado na tabela verdade abaixo.
P
T
T
F
F
Q (P Q) ((P Q) Q)
T
T
T
F
T
T
T
T
T
F
F
F
68
ELSEVIER
b)
(P Q) no pode ser expressa equivalentemente utilizando apenas o conectivo , P e Q, pois
preciso utilizar a negao para representar o conectivo .
c)
(P Q) no pode ser expressa equivalentemente utilizando apenas o conectivo , P e Q, pois
preciso utilizar a negao para representar o conectivo , sendo este formado pela conjuno de
duas implicaes.
d)
Se I[P] = T, ento I[P] = F. Mas se I[P] = T, ento para qualquer frmula H escrita com P e ,
I[H] = T.
Logo no possivel expressar (P) utilizando apenas P e .
e)
Anloga resposta do item d).
f)
Anloga resposta do item a), trocando por .
g)
No possvel expressar (P Q) equivalentemente utilizando apenas o conectivo , P e Q.
h)
No possvel expressar (P Q) equivalentemente utilizando apenas o conectivo , P e Q.
i)
No possvel expressar (P ) equivalentemente utilizando apenas o conectivo e P.
68
ELSEVIER
Captulo 5
69
Exerccio 3:
a)
{, }
No completo pois no possvel expressar equivalentemente todos os conectivos {, , }
usando somente {, }.
{, }
completo pois possvel expressar equivalentemente todos os conectivos {, , } usando
somente {, }.
P Q: ( P Q)
P Q: (P Q)
P Q: ((P Q)) ((Q P))
{, }
usando somente {, }.
{, }
completo pois possvel expressar equivalentemente os conectivos {, , } usando somente
{, }.
P Q: ( P Q)
P Q: P Q
P Q: (( P Q) ( Q P))
{, }
completo pois possvel expressar equivalentemente todos os conectivos {, , } usando
somente {, }.
P Q: ( P Q)
P Q: P Q
P Q: (P Q) (Q P)
{, }
usando somente {, }
{}
No completo pois no possvel expressar equivalentemente todos os conectivos {, , ,
} usando somente {}
{}
No completo pois no possvel expressar equivalentemente todos os conectivos {, , ,
} usando somente {}
{, }
usando somente {, }
{, }
usando somente {, }
69
70
{, }
usando somente {, }
b)
Utiliza princpio da induo.
Exerccio 4:
a) P nor Q = (P Q)
P
T
T
F
F
Q P nor Q
T
F
F
F
T
F
F
T
b) Demostre a proposio 5.13. O conjunto {nor} completo?
P
T
T
F
F
ELSEVIER
Q P Q (P Q) P nor Q
T T
F
F
F T
F
F
T T
F
F
F F
T
T
P equivale a P nor P
(P Q) (P Q)
((P nor Q) (Q nor Q))
(P nor P) nor (Q nor Q)
(P Q) ((P Q))
(P nor Q)
(P nor Q) nor (P nor Q)
P Q P Q
((P Q))
((P nor P) nor Q)
(((P nor P) nor Q) nor ((P nor P) nor Q))
PQPQQP
70
ELSEVIER
Captulo 5
71
((P Q) (Q P))
(P Q) nor (Q P)
(P Q) nor ( Q P)
P nor Q nor Q nor P
((P nor P) nor Q) nor ((Q nor Q) nor P)
c)
Conforme provamos na letra b que o conectivo nor completo, ento seja E uma frmula qualquer
da Lgica Proposicional, E pode ser expressa, equivalentemente, utilizando apenas o conectivo nor
e os smbolos proposicionais e de verdade presente em E.
d)
P nnse Q = (P Q)
P (P P)
((P P))
(P P)
P nnse P
P Q (P Q)
P Q
((P Q))
(P nnse Q)
(P nnse Q) nnse (P nnse Q)
P Q (P Q)
P nnse Q
(P nnse P) nnse (Q nnse Q)
P Q P Q
((P Q))
( P nnse Q)
(P nnse Q) nnse (P nnse Q)
((P nnse P) nnse Q) nnse ((P nnse P) nnse Q)
PQPQQP
((P Q) nnse (P Q)) nnse ((Q P) nnse (Q P))
(P Q) Passo anterior
(Q P) Passo anterior
{nnse} completo.
e)
(P nsen Q) = (P Q)
{nsen} no completo, pois no consegue-se representar Q somente com o conectivo nsen.
71
72
ELSEVIER
f)
(P nnse Q) equivale a (P nor Q)
(P nnse Q) equivale a (P nor Q)
( PQ)( P Q)
Passo 1
FT T F F
F F F
Passo 2
T F F F F
FT F
Absurdo
(P Q) equivale a(P Q) (P nnse Q) equivale a (P Q)

(PQ)(PQ)
Passo 1 T T F F T
T FT
T
Absurdo
Passo 2 F T T F
F TTT
F
Absurdo
Exerccio 05: Demonstre que as frmulas a seguir so tautologias.

a) P (P nand P )
Conforme a proposio 5.9, o conectivo pode ser expresso semanticamente pelo conectivo nand.
Logo se P (P nand P )
(P P )
(P )
Portanto a frmula tautologia cqd.
b) (P Q) (P nand Q)
Supondo H = (P Q) (P nand Q)
Considere a tabela verdade abaixo associado a frmula H.
P
T
T
F
F
Q
T
F
T
F
P
F
F
T
T
Q (P Q) (P Q)
F
T
T
T
T
T
F
T
T
T
F
F
Logo a frmula tautologia cqd.

72
H
T
T
T
T
ELSEVIER
Captulo 5
73
Exerccio 06:
Exerccio 07:
Exerccio 08:
FND:
H = (P Q R) (P Q R)
G = (P Q) (P Q) (P Q)
E = (P Q R) (P Q R) (P Q R) (P Q R)
FNC:
H = (P Q R) (P Q R) (P Q R) (P Q R) (P Q R)
(P Q R)
G = (P Q)
E = (P Q R) (P Q R) (P Q R) (P Q R)
Exerccio 09:
Exerccio 10:
a)
h1 = P P
h2 = P
h4 = P P
b)
h1(X,Y)
h2(X,Y)
h3(X,Y)
h4(X,Y)
h1(T,T)=T,
h2(T,T)=T,
h3(T,T)=T,
h4(T,T)=T,
=
=
=
=
X
X
X
X
h1(T,F)=F, h1(F,T)=F, h1(F,F)=F

h2(T,F)=T, h2(F,T)=T, h2(F,F)=F
h3(T,F)=F, h3(F,T)=T, h3(F,F)=T
h4(T,F)=F, h4(F,T)=F, h4(F,F)=T
c)
h1(X,Y)
h2(X,Y)
h3(X,Y)
h4(X,Y)
Y
Y
Y
Y
73
74
d)
P
P
P
P
Q = (P Q)
Q
Q = P Q
Q = (((P Q) (Q P )))
e)
Sim. NOR e NAND.
f)
2 elevado a 2 elevado a n. Prova por induo do comprimento.
74
ELSEVIER
6
Um sistema axiomtico e um sistema de deduo natural na
Lgica Proposicional
Exerccio 1:
necessrio demonstrar que se H e H G so tautologia, ento G tautologia:
Utilizando a definio de tautologia, temos que:
H tautologia e H G tautologia interpretao I, I[H] = T e interpretao I, I[H G]
= T.
interpretao I, se I[H] = T, ento I[G] = T.
Sendo assim, conclui-se que G tautologia.
Exerccio 2:
a)
Por que no levamos em considerao o significado das frmulas.
b)
No, pois pode conter uma frmula que no seja tautologia.
c)
Todas as frmulas de devem ser tautologias.
d)
Sim. Se |= H ento qualquer que for o H continua sendo tautologia. Isto assegurado pelo
teorema da completude.
76
ELSEVIER
Exerccio 3:
a)
b)
c)
d)
Utilizando o teorema da deduo este problema escrito na forma:
Se ` H H ento ` H G, o que falso. Observe que H H pode ser consequencia lgica
de sem que H G seja consequencia lgica de .
e)
Se ` H e ` H G, ento ` H e ` H G. Utilizando Modus Ponens, conclui-se
que ` G.
f)
Se ` (P P), ento podemos concluir que no satisfatvel. Assim, a partir de possvel
deduzir qualquer frmula. Logo, ` H.
76
ELSEVIER
Captulo 6
77
g)
h)
i)
j)
Exerccio 4:
Exerccio 5:
Exerccio 6:
Exerccio 7:
Exerccio 8:
Exerccio 9:
Exerccio 10:
Exerccio 11:
Supondo G tautologia int I, I[G] = T
logo intI, I[G] = F
Supondo I[H G] = T tautologia int I, I[H G] = T ,
sendo I[G] = F logo deduzimos que I[H] = F ,
portanto int,I[H] = T ento H tautologia cqd.
Exerccio 12:
Exerccio 13:
Exerccio 14:
Repita passo a passo, a demonstrao do teorema da completude em Pa no caso particular em que
H contm apenas smbolos proposicionais P1 , P2 ,P3 ,P4 ,P5
A demonstrao do teorema da completude utiliza o resultado do Lema 6.2. Para demonstrar
um tipo de tautologia particular H, que contm apenas os smbolos proposicionais P1 , P2 ,P3 ,P4 ,P5 ,
77
78
ELSEVIER
basta considerar uma frmula H que poderia ser, H=(P1 P2 ) (P3 P3 ) (P4 P4 )
(P5 P5 )
A tabela verdade a seguir, indica as possibilidades de interpretao desses smbolos:
Interpretao
I1
I2
I3
I4
I5
I6
I7
I8
I9
I10
...
I32
P1
T
T
T
T
T
T
T
T
T
T
...
F
P2
T
T
T
T
T
T
T
T
F
F
...
F
P3
T
T
T
T
F
F
F
F
T
T
...
F
P4
T
T
F
F
T
T
F
F
T
T
...
F
P5
B[H,Ii ]
T
B[H,I1 ]={P1 ,P2 ,P3 ,P4 ,P5 }
F
B[H,I2 ]={P1 ,P2 ,P3 ,P4 ,P5 }
T
B[H,I3 ]={P1 ,P2 ,P3 ,P4 ,P5 }
F B[H,I4 ]={P1 ,P2 ,P3 ,P4 ,P5 }
T
B[H,I5 ]={P1 ,P2 ,P3 ,P4 ,P5 }
F B[H,I6 ]={P1 ,P2 ,P3 ,P4 ,P5 }
T B[H,I7 ]={P1 ,P2 ,P3 ,P4 ,P5 }
F B[H,I8 ]={P1 ,P2 ,P3 ,P4 ,P5 }
T
B[H,I9 ]={P1 ,P2 ,P3 ,P4 ,P5 }
F B[H,I10 ]={P1 ,P2 ,P3 ,P4 ,P5 }
...
...
F B[H,I32 ]{P1 ,P2 ,P3 ,P4 ,P5 }
Como H uma tautologia, ento para qualquer interpretao Ii , temos I[Hi ]=T. Logo,
utilizando o Lema 6.2, concluimos que B[H,Ii ]`H para toda interpretao Ii . Temos, por exemplo,
que:
B[I1 ] ` H, ou seja,{P1 ,P2 ,P3 ,P4 ,P5 }`H
B[I2 ] ` H, ou seja,{P1 ,P2 ,P3 ,P4 , P5 }` H
As interpretaes I1 e I2 se diferem apenas no smbolo P5 e coincidem nos demais smbolos.
Quando isso ocorre, tais interpretaes so ditas complementares em P5 .
Os literais complementares P5 e P5 so eliminados do conjuntos de hipteses iniciais.
Portanto, temos que:
A partir de {P1 ,P2 ,P3 ,P4 ,P5 }` H e de {P1 ,P2 ,P3 ,P4 , P5 }` H, Concluimos que {P1 ,P2 ,P3 ,P4 }`
H.
Analogamente, considerando outras duas interpretaes seguintes, I3 e I4 , temos que P5 e

P5 so tambm complementares, e P5 e P5 tambm podem ser eliminados dos conjuntos de
hipteses iniciais.
B[H,I3 ]`H, ou seja,{P1 ,P2 ,P3 ,P4 ,P5 }`H B[H,I4 ]`H, ou seja, {P1 ,P2 ,P3 ,P4 ,P5 }`H
Ento, concluimos que {P1 ,P2 ,P3 ,P4 }`H
Das interpretaes I5 e I6 , obteremos {P1 , P2 , P3 , P4 }`H
Continuando a eliminao dos elementos que so complementares, temos, que:
78
ELSEVIER
Captulo 6
A partir de {P1 ,P2 ,P3 ,P4 }` H e {P1 ,P2 ,P3 ,P4 }`H, concluimos que {P1 ,P2 ,P3 }`H.
A partir de {P1 ,P2 ,P3 ,P4 }`H e de {P1 , P2 , P3 , P4 }`H, concluimos {P1 ,P2 ,P3 }`H.
A partir de {P1 , P2 , P3 , P4 }`H e de {P1 , P2 , P3 , P4 }`H, concluimos {P1 , P2 , P3 }`H
A partir de {P1 , P2 , P3 , P4 }`H e de {P1 , P2 , P3 , P4 }`H obtm-se {P1 , P2 , P3 }`H
79
Continuando a eliminao dos elementos que so complementares:

A partir de {P1 ,P2 ,P3 }`H e {P1 ,P2 ,P3 }`H, possvel concluir que {P1 ,P2 }`H
E apartir de {P1 , P2 , P3 }`H e{P1 , P2 , P3 }`H, possvel concluir {P1 , P2 }`H
Como P2 e P2 so complementares, temos no final que {P1 }`H
Completando a tabela e fazendo o mesmo que foi feito aqui para a metade da outra tabela
obteremos {P1 }`H.
Como P1 e P1 so complementares, temos o resultado final:{}`H, ou seja `H. Portanto
considerando que H uma tautologia, conclumos que ` H, ou seja, H um teorema.
Exerccio 15:
Exerccio 16:
a)
No possivel demonstrar (false P ) devido a presena do smbolo de verdade na frmula.
b)
Essa demonstrao somente vlida se H no contm smbolos de verdade. Portanto, as idias da
demonstrao do teorema da completude no podem ser utilizadas neste caso.
c)
Esta prova no pode ser considerada, pois o sistema se torna incompleto, ou seja, com a adio do
smbolo de verdade, no h prova de sua completude.
79
7
Tableaux semnticos e resoluo na Lgica Proposicional
Exerccio 1:
Exerccio 2:
a)
(P (Q p)) ((P Q) (P P ))
1. (P (Q p)) ((P Q) (P P ))
2. A = (P (Q P )) ((P Q) (P P )) ou B = (P (Q O)) ((P Q) (P P )) R9, 1.
3. P R1, 2 (em A)
4. Q R1, 2 (em A)
5. P R1, 2 (em A)
6. (P Q (P P )) R1, 2 (em A)
7. (P Q) R7, 6 (em A)
8. (P P ) R7, 6 (em A)
9. P R1, 8 (em A)
10. P R1, 8 (em A)
11. P (ramo f echado) ou Q(ramo f echado)
12. (P (Q P )) R1, 2 (em B)
13. (P Q) (P P ) R1, 2 (em B)
14. (P Q) ou (P P ) R2, 13
15. P R1, 14 (em A)
16. QR1, 14 (em A)
17. P R1, 14 (em B)
18. P R1, 14 (em B)
19. P (ramo f echado) ou (Q P ) R6, 12
20. Q (ramo f echado) ou P (ramo f echado) R2, 19
Resp.: Tableaux fechado, portanto a frmula uma tautologia.
b)
(P (Q P )) ((P Q) (P P ))
1. ((P (Q P )) ((P Q) (P P )))
82
ELSEVIER
2. A = (P (Q P )) ((P Q) (P P )) ou B = (P (Q P )) ((P Q) (P P )) R9, 1

3. P (Q P ) R1, 2 (em A)
4. ((P Q) (P P )) R1, 2 (em A)
5. (P Q) R7, 4
6. (P P ) R7, 4
7. P R7, 5
8. Q R7, 5
9. P R7, 6
10. P R7, 6
11. P (ramo f echado) ou (Q P ) R2, 3
12. Q (ramo f echado) R1, 11
13. P (ramo f echado) R1, 11
14. (P (Q P )) R1, 2 (em B)
15. (P Q) (P P )) R1, 2 (em B)
16. P R7, 14
17. Q P R7, 14
18. Q R1, 17
19. P R1, 17
20. (P Q) ou (P P ) R2, 15
21. P (ramo f echado) ou Q (ramo f echado) R2, 20
22. P (ramo f echado) ou P (ramo f echado) R2, 20
Resp.: Tableaux fechado, portanto a frmula tautologia.
c)
((P )) P
1. (((P )) P )
2. ((P )) P ou ((P )) P R9, 1
3. ((P )) R1, 2
4. P R1, 2
6. ((P )) R1, 2
7. P R1, 2
Resp.: Tableaux fechada, portanto a frmula tautologia.
d)
{(P Q) (P ( Q))}
1. (P Q) (P ( Q))
.
.
2. (P Q) (P ( Q))
3.
(P Q)
4.
(P ( Q))
5.
(P Q)
6.
(P ( Q))
7.
P
8.
Q
&
(P Q) (P ( Q))
(P Q)
(P ( Q))
(P Q)
(P ( Q))
P
Q
82
R4,1.
R1,2.
R1,2.
R1,2.
R1,2.
R8,3.
R8,3.
ELSEVIER
9.
P
10.
Q
.
.
11.
P
Captulo 7
P
&
Q
R1,4.
Q
&
Q
.
P
e)
f)
g)
(P Q) (P Q)
1. ((P Q) (P Q))
2. (P Q) (P Q) ou (P Q) (P Q) R9, 1
3. (P Q) R1, 2
4. (P Q) R1, 2
5. P R8, 4
6. Q R8, 4
7. P (ramo f echado)ou Q (ramo f echado) R2, 3
8. (P Q) R1, 2
9. (P Q) R1, 2
10. P R7, 8
11. Q R7, 8
12. (P ) ou Q (ramo f echado) R3, 9
h)
(P Q) ((P Q) Q)
1. (P Q) ((P Q) Q)
2. (P Q) ((P Q) Q) ou (P Q) ((P Q) Q) R9, 1
3. (P Q) R1, 2
4. ((P Q) Q) R1, 2
5. (P Q) R8, 4
6. Q R8, 4
7. P ouQ (ramo f echado) R3, 5
9. (P Q) R1, 2
10. ((P Q) Q) R1, 2
11. P R7, 9
12. Q R7, 9
13. (P Q) ouQ (ramo f echado) R3, 10
15. Q R1, 13
83
R1,4.
R6,6.
83
84
ELSEVIER
i)
(P Q) (P (P Q))
1. ((P Q) (P (P Q)))
2. (P Q) (P (P Q)) ou (P Q) (P (P Q)) R9, 1
3. (P Q) R1, 2
4. (P (P Q)) R1, 2
5. P R1, 3
6. Q R1, 3
7. P (P Q) ou P (P Q) R9, 4
8. P R1, 7
9. (P Q) R1, 7
11. Q (ramo f echado) R8, 9
12. P R1, 7
13. (P Q) R1, 7
15. (P Q) R1, 2
16. (P (P Q)) R1, 2
17. P ou Q R6, 15
18. P (P Q) ou P (P Q) R4, 16
19. P R1, 18
20. P Q R1.18
21. P ou Q R3, 20
22. P R1, 18
23. (P Q) R1, 18
25. Q R8, 23
j) (P Q) (P Q)
Demostrao por tableaux semntico.
1.
((P Q) (P Q))
.&
2. (P Q) (P Q) (P Q) ((p Q)
3.
(P Q)
(P Q)
4.
(P Q)
(P Q)
5.
P
.&
6.
Q
P
Q
7.
.&
P
P
8.
P
Q
Q
Q
F echado
F echado
F echado
R9 .1
R1 .2
R1 .2
R8 .3
R8 . 3 , R 3 . 3
R2 .4 , R7 .4
F echado
Como o tableaux fechado em todos os seus ramos, logo pelo Teorema da Correo, temos
que ` e pelo Teorema da Completude, temos que . cqd.
84
ELSEVIER
Captulo 7
85
Demostrao por resoluo.

Suponha H = (P Q) (P Q)
Analisando a tabela verdade abaixo referente a frmula H temos:
P
T
T
F
F
Q P Q P Q
T
T
T
F
F
F
T
T
T
F
T
F
H
T
T
T
T
H
F
F
F
F
A partir da ltima coluna da tabela verdade acima, obtemos a forma clausal Hc = (P

Q) (P Q).
Logo:
Hc = (P Q) (P Q) (P Q) (P Q)
{P, Q}, {P, Q}, {P, Q}, {P, Q}
1.{P, Q}
2.{P, Q}
3.{P, Q}
4.{P, Q}
5.{P } Res.1 ,2
6.{P } Res.3 ,4
7.{} Res.5 ,6
Como a resoluo fechada, logo pelo Teorema da Correo temos que ` ento pelo Teorema
da Completude temos que . cqd.
k) (P Q) (P Q)
Demostrao por tableaux semntico.
1.
2.
3.
4.
5.
6.
7.
8.
((P Q) (P Q))
.&
(P Q) (P Q)
(P Q) (P Q)
(P Q)
(P Q)
(P Q)
(P Q)
P
. &
Q
P
Q
P
P
P
Q
Q
Q
Aberto
Aberto
H
R 9 ,1
R 2 ,1
R2 ,1
R2 ,4 , R6 ,4
R2 ,4 , R6 ,4
R8 ,3 , R3 ,3
R8 ,3 , R3 ,3
Aberto
Como o tableaux aberto em todos os seus ramos, logo pelo Teorema da Correo, temos
que 0 e pelo Teorema da Completude, temos que 2. cqd.
85
86
ELSEVIER
Demostrao por resoluo.

Suponha H = (P Q) (P Q)
Analisando a tabela verdade abaixo referente a frmula H temos:
Tabela 7.1.
P
T
T
F
F
Q P Q P Q
T
T
F
F
F
T
T
T
F
F
T
F
H
F
F
F
F
H
T
T
T
T
Como a tabela verdade em sua ltima coluna apresenta somente valores verdadeiros a partir
de H logo, no possvel extrair a forma clausal da frmula Hc . Portanto, a frmula uma
contradio. cqd.
l)
m)
n)
o)
p) (P Q) (Q P )
P
T
T
F
F
Resoluo
Q P Q Q wedge P H
T T
T
T
F
F F
T
F
F
T F
T
F
F
F F
T
F
F
HC = (P Q) (P Q) (P Q) (P Q)
HC = {{P, Q}, {P, Q}, {P, Q}, {(P, Q}
1
2
3
4
{ P, Q}
{P, Q}
{P, Q}
{P, Q}
86
ELSEVIER
Captulo 7
5 {P}
Res 3,4
6 { P}
Res 1,2
7 {}
Res 5,6
q) (P Q) (Q P )
P
T
T
F
F
Resoluo
QPQQP
T T
T
T
F T
T
T
T T
T
T
F F
T
F
H
F
F
F
F
HC = (P Q) (P Q) (P Q) (P Q)
HC = {{P, Q}, {P, Q}, {P, Q}, {(P, Q}
1
2
3
4
5
6
7
{ P, Q}
{P, Q}
{P, Q}
{P, Q}
{P}
Res 3,4
{ P}
Res 1,2
{}
Res 5,6
r) (P Q) (Q P )
P
T
T
F
F
Resoluo
QPQQPH
T
T
T
T
F
F
F
T
F
F
T
F
T
F
F
F
T
T
T
F
HC = (P Q) (P Q) (P Q) (P Q)
HC = {{P, Q}, {P, Q}, {P, Q}, {(P, Q}
87
87
88
1
2
3
4
5
6
7
ELSEVIER
{ P, Q}
{P, Q}
{P, Q}
{P, Q}
{P}
Res 3,4
{ P}
Res 1,2
{}
Res 5,6
s)
H = ((P Q) P) (P (Q P))
1.
(((P Q) P) (P (Q P))
.&
2. ((P Q) P) (P (Q P))
3.
4.
((P Q) P) (P (Q P))
((P Q) P)
r9,1
((P Q) P)
(P (Q P))
(P (Q P)
Fechado
Fechado
r1,2
r1,2
t)
H = ((P Q) P ) (P (Q P ))
1.
(((P Q) P ) (P (Q P )))
.&
2. ((P Q) P ) (P (Q P )) ((P Q) P ) (P (Q P ))
r9,1
3.
((P Q) P )
((P Q) P )
r1,2
4.
(P (Q P ))
(P (Q P ))
r1,2
Fechado
Fechado
u)
((P Q) P ) (P (Q P )) = H
1.
(((P Q) P ) (P (Q P )))
.&
2. ((P Q) P ) (P (Q P )) ((P Q) P ) (P (Q P ))
r9,1
3.
((P Q) P )
((P Q) P )
r1,2
4.
(P (Q P ))
(P (Q P ))
r1,2
Fechado
Fechado
88
ELSEVIER
Captulo 7
v) ((P Q) (Q P )) (P P )
Resoluo
P
T
T
F
F
QPQQPPPH
T
T
T
T
T
T
F
F
F
F
T
T
T
F
T
T
F
F
T
T
F
F
T
T
T
T
T
F
HC = (P Q) (P Q) (P Q) (P Q)
HC = {{P, Q}, {P, Q}, {P, Q}, {(P, Q}
1 { P, Q}
2 {P, Q}
3 {P, Q}
4 {P, Q}
5 {P}
Res 3,4
6 { P}
Res 1,2
7 {}
Res 5,6
w)
x) (P P ) = P P
Resoluo
HC = {{P }, {P }}
1 {P}
2 { P}
3 {}
Res 1,2
y) (P P ) = (P P ) = P P
Resoluo
HC = {{P }, {P }}
89
89
90
ELSEVIER
1 {P}
2 { P}
3 {}
Res 1,2
z)
aa)
bb)
cc)
dd)
ee)
ff ) ((P Q) P ) (P (Q P ))
Por tableaux
H = (((P Q) P ) (P (Q P )))
1.
(((P Q) P ) (P (Q P )))
H
. &
2. ((P Q) P ) (P (Q P )) ((P Q) P ) (P (Q P )) R9 1.
3.
((P Q) P )
(P Q) P
R1 2.
4.
P (Q P )
(P (Q P ))
R1 2.
. &
5.
(P Q)
(P Q)
P
R8 3. | R3 3.
6.
P
P
P
R8 3. | R8 4.
. &
7.
P
(Q P )
(Q P )
(Q P )
R3 4. | R8 4.
aberto
. &
8.
Q
P
Q
Q
R3 7. | R8 7.
aberto fechado
9.
P
P
R8 7.
fechado
fechado
Contra exemplo:
Utilizando o ramo aberto mais esquerda, define-se uma interpretao I, tal que I[P ] = F , logo
I[((P Q) P ) (P (Q P ))] = T
90
ELSEVIER
Captulo 7
Por resoluo
Construindo-se a tabela verdade
P
T
T
F
F
Q ((P Q) P ) (P (Q P )) (((P Q) P ) (P (Q P )))

T
T
F
F
T
F
T
T
F
F
T
F
Logo Hc = (P Q) (P Q) (P Q) (P Q)
Hc = {{P, Q}, {P, Q}, {P, Q}, {P, Q}}
1.
2.
3.
4.
5.
6.
7.
{P, Q}
{P, Q}
{P, Q}
{P, Q}
{P, P }
{Q, Q}
{P, Q}
Res(1.,4.)
Res(2.,3.)
Res(5.,4.)
gg) P (Q (P P ))
Por tableaux
H = (P (Q (P P )))
1.
2.
3.
4.
5.
6.
7.
(P (Q (P P )))
P
(Q (P P ))
Q
(P P )
P
P
fechado
H
R8 1.
R8 1.
R8 3.
R8 3.
R8 5.
R8 5.
Por resoluo
Hc = (P (Q (P P )))
= P Q P P
Hc = {{P }, {Q}, {P }}
1. {P }
2. {Q}
91
91
92
3. {P }
4. {}
ELSEVIER
Res(1.,3.)
hh) P (P Q), (P Q) P
Por tableaux
H = ((P (P Q)) ((P Q) P ))
H = (P (P Q)) ((P Q) P )
1.
2.
3.
4.
5.
6.
7.
(P (P Q)) ((P Q) P )
P (P Q)
(P Q) P
. &
P
(P Q)
. &
. &
(P Q)
P
(P Q)
P
fechado
aberto
P
P
Q
Q
aberto
fechado
H
R1 1.
R1 1.
R3 2.
R3 3.
R7 5.
R7 5.
Contra-exemplo:
Utilizando o ramo aberto mais esquerda, pode-se definir uma interpretao I, tal que I[G] = F
e I[P ] = F . Logo, I[((P (P Q)) ((P Q) P ))] = F
Por resoluo
H = ((P (P Q)) ((P Q) P ))
H = (P (P Q)) ((P Q) P )
Hc = (P (P Q)) ((P Q) P )
= (P P Q) (P ) (Q P )
Hc = {{P, P, Q}, {P }, {Q, P }}
1.
2.
3.
4.
5.
6.
{P, P, Q}
{P }
{Q, P }
{Q}
{P, P }
{P }
Res(2.,3.)
Res(4.,1.)
Res(5.,2.)
92
ELSEVIER
Captulo 7
93
ii)
jj)
kk)
ll)
textbfPor tableau:
H = (P (P P )) (P P )
1.
((P (P P )) (P P ))
.
&
2. (P (P P )) (P P )
(P (P P )) (P P )
3.
(P (P P ))
(P (P P ))
4.
(P P )
(P P )
5.
P
6.
P
fechado
.
&
7.
P
P
8.
(P P )
(P P )
9.
P
P
fechado
10.
P
11.
P
fechado
H
R9,1
R1,2
R1,2
R1,4
R1,4
R6,4
R1,3
R1,3
R1,8
R1,8
Como o tableau fechado logo pelo teorema da correo temos que ` H, ento pelo teorema
da completude temos que |= H
Por resoluo:
Construindo a tabela verdade da frmula temos abaixo:
P (P (P P )) (P P ) (P (P P )) (P P )
T
T
F
F
T
F
A partir da terceira coluna da tabela verdade vamos obter a frmula clausal Hc , logo temos:
Hc = P P entao Hc = { { P },{P } }
Desenvolvendo a expanso por resoluo temos:
1.{ P }
2.{ P }
3. {}
Res(1,2).
Como a resoluo fechada logo pelo teorema da correo temos que ` H, ento pelo teorema da
completude temos que |= H.
93
94
ELSEVIER
mm)
textbfPor resoluo:
P (P (P P )) (P P ) ((P (P P )) (P P ))
T
T
F
F
T
F
Hc = P P entao Hc = { { P },{P } }
1.{ P }
2.{ P }
3. {}
Res(1,2).
Como a resoluo por expanso vazia logo pelo teorema da correo temos que ` H, ento
pelo teorema da completude temos que |= H.
nn)
textbfPor resoluo:
P (P (P P )) P ((P (P P )) P )
T
T
F
F
T
F
Hc = P P entao Hc = { { P },{P } }
1.{ P }
2.{ P }
3. {}
Res(1,2).
Como a resoluo fechada logo pelo teorema da correo temos que ` H, ento pelo teorema da
completude temos que |= H
oo)
pp)
qq)
rr)
((P P) P)(P P)
1. (((P P ) (P P )) ((P P ) ((P P ) P ))
94
Reescrevendo
ELSEVIER
Captulo 7
2. ((P P ) (P P ))
R1 , Linha 1
3. ((P P ) ((P P ) P))
R1 ,Linha 1
&
4. ((P P ) P )
(P P )
R3 ,Linha 2
5. (P P )
.&
R8 ,Linha 4
6. P
R8 ,R2 ,Linha 4
7. P
R1 ,Linha 5
8. P
.
R1 ,Linha 5
&
9. (P P )
((P P ) P )
.
&
10. P
(P P )
11. P
12.
95
R3 ,Linha 3
R7 , R3 , Linha 9
&
R7 ,Linha 9
R6 ,Linha 9
13. fechado fechado P
R5 ,Linha 12
fechado
Mtodo da resoluo:
H=((P P ) P ) (P P )
(((P P ) P ) (P P )) ((P P ) ((P P ) P ))
(((P P ) P ) (P P )) ((P P ) ((P P ) P ))
(((P P ) P ) (P P )) ((P P ) ((P P ) P ))
((P P P ) (P P )) ((P P ) ((P P ) P ))
(P P P ) (P P ) ((P P ) (P P P ))
(P P P ) (P P ) (P P ) (P P P )
Hc ={{P, P }, {P, P }, {P, P }, {P, P }}
1. {P, P }
2.{P, P }
3.{P, P }
4.{P, P }
5. { } Res 1.,2.
Como foi demonstrado, tanto pelo mtodo de resoluo, quanto pelo mtodo de tablaux
semntico a frmula provou ser uma tautologia.Cqd.
95
96
ELSEVIER
ss)
P ((P P ) P )
1. ((P P ) P ) (((P P ) P ) P )
2.P ((P P ) P )
R1 Linha 1
3. ((P P ) P ) P
R1 Linha 1
&
4. ((P ) P )
.
R3 Linha 3
(P P ) P
R9 Linha 4
&
5.((P P ) P )
6. ((P P ))
7.
(P P ) R1 Linha 5
R1 Linha 5
.
8.
9. P
10. .
13.P
&
.
& P
P
&
((P P ) P )
((P P ) P )
.
R7 ,R2 Linha 6
&
P
&
((P P ) P )
.
&
&
14.((P P ) P )
((P P ) P )
((P P ) P )
((P P ) P ) ((P P ) P ) ((P P ) P )
Completando a arvore, chegaremos a todos os ramos fechados, o que ns possibilita concluir

que uma tautologia.
Mtodo da Resoluo:
P ((P P ) P )
(P ((P P ) P )) (((P P ) P ) P )
P ((P P ) P )) (((P P ) P ) P )
P ((((P P ) P ) (P (P P ))) ((P P ) P ) (P (P P ))
(P ((P P ) P ) (P (P P )) (((P P ) P ) (P (P P ))
Hc ={{P, P }, {P, P }, {P, P }, {P, P }}
1. {P, P }
2.{P, P }
3.{P, P }
4.{P, P }
5. { } Res 1.,2.
96
ELSEVIER
Captulo 7
97
Como foi demonstrado, tanto pelo mtodo de resoluo, quanto pelo mtodo de tablaux
semntico a frmula provou ser uma tautologia.Cqd.
tt)
Exerccio 3:
a)
1.
(P Q)
Reescrita
2.
P Q
3.
R8 ,1.
4.
R8 ,1.
Reescrita
&
5. P
R2 ,2.
fechado
fechado
Como existe ramo fechado no tableau, o conjunto satisfatvel.

b)
1.
P Q
Reescrita
2. P Q
Reescrita
3.
R1 ,1.
4.
R1 ,1.
5.
R1 ,2.
6.
R1 ,2.
fechado
c)
1. P Q
Reescrita
2. P Q
Reescrita
3.
R1 ,1.
4.
R1 ,1.
.
5. P
&
Q
R2 ,2.
97
98
ELSEVIER
fechado aberto
d)
e)
f)
g)
{P1 P2 , P2 P3 , P3 P4 , P4 P1 }
Resoluo
{P1 P2 , P2 P3 , P3 P2 , P3 P4 , P4 P3 , P4 P1 }
{{P1 , P2 }, {P2 , P3 }, {P3 , P2 }, {P3 , P4 }, {P4 , P3 }, {P4 , P1 }}
1.{P1 , P2 }
2.{P2 , P3 }
3.{P3 , P2 }
4.{P3 , P4 }
5.{P4 , P3 }
6.{P4 , P1 }
7.{P4 , P2 } res.(1, 6)
8.{P1 , P3 } res.(1, 2)
9.{P1 , P4 } res.(7, 8)
10.{P1 , P2 } res.(7, 9)
Resp.: No h expanso fechada, ento H no satisfatvel.
h)
{P1 P2 , P 2 P3 , P3 P4 , P1 P4 }
{{P1 , P2 }, {P 2, P3 }, {P3 , P2 }, { P3 , P4 }, {P1 }, {P4 }}
1.{P1 , P2 }
2.{P2 , P3 }
3.{P3 , P2 }
4.{P3 , P4 }
5.{P1 }
6.{P4 }
7.{P1 , P3 } res.(1, 2)
8.{P3 } res.(5, 7)
9.{P4 } res.(4, 8)
10.{} Clusula vazia
Resp.: Como a expanso por resoluo fechada, pois chegamos em uma clusula vazia, o conjunto
das frmulas satisfatvel.
98
ELSEVIER
Captulo 7
i)
{P1 P2 , P2 P3 , P3 P4 , P1 P4 }
{{P1 , P2 }, {P2 , P3 }, {P3 , P4 }, {P1 , P4 }}
1.{P1 , P2 }
2.{P2 , P3 }
3.{P3 , P4 }
4.{P1 , P4 }
5.{P2 , P4 } res.(1, 4)
6.{P1 , P4 } res.(2, 5)
7.{P3 , P3 } res.(3, 6)
j)
{(P1 P2) P3, P1 P4, P2 P3 P4 }
1.
2.
3.
4.
5.
6.
.
7.
.
8.
.
9.
A
(P1 P2) P3
P1 P4
P2 P3 P4
P2
P3
P4
.
&
P1
P4
.
&
(P1 P2)
P3
.
&
P1
P2
frmula satisfatvel.
R1,3.
R1,3.
R1,3.
R1,2.
R3,1.
R6,8.
k)
{ P1 P2,P1 (P2 P3), P1 P3 }
1.
P1 P2
2.
P1 (P2 P3)
3.
P1 P3
.
.
&
4.
P1
P2
.
.
&.
.
&
5.
P1
P3
P1
P3
.
.
&.
.
&
6.
P1
(P2 P3)
P1
(P2 P3)
.
7.
P2
P2
8.
P3
P3
A frmula satisfatvel.
99
R2,1
R3,3.
R2,2.
R1,6.
R1,6.
99
100
l)
{ P1 P2, P2 P3, P3 P4, P5 P4, P1 P5}
1. P1 P2
2.
P2 P3
3.
P3 P4
4.
P5 P4
5.
P1 P5
6.
P2
R1,2.
7.
P3
R1,2.
8.
P1
R1,5.
9.
P5
R1,5.
.
.
&
10.
P3
P4
R3,3.
.
.
&
11.
P1
P2
R2,1.
.
.
&
12.
P5
P4
R2,5.
A frmula satisfatvel.
m)
{P2 P1 , P2 P3 , P3 , P1 }
{{P2 , P1 }, {P2 , P3 }, {P3 , P2 }, {P3 }, {P1 }}
1.{P2 , P1 }
2.{P2 , P3 }
3.{P3 , P2 }
4.{P3 }
5.{P1 }
6.{P1 , P3 } res.(1, 2)
7.{P2 , P2 } res.(2, 3)
8.{P2 } res.(4, 2)
n)
{P1 P2 , P2 P3 , P3 , P1 }
{{P1 , P2 }, {P2 , P1 }, {P2 , P3 }, {P3 , P2 }, {P3 }, {P1 }}
1.{P1 , P2 }
2.{P2 , P1 }
3.{P2 , P3 }
4.{P3 , P2 }
5.{P3 }
6.{P1 }
7.{P2 } res.(2, 6)
8.{P3 , P3 } res.(3, 4)
100
ELSEVIER
ELSEVIER
Captulo 7
101
9.{P3 } res.(4, 7)
o)
{P2 P1 , P2 P1 , P1 }
{{P2 , P1 }, {P2 , P1 }, {P1 }}
1.{P2 , P1 }
2.{P2 , P1 }
3.{P1 }
4.{P1 } res.(1, 2)
p)
q)
r)
s)
t)
u)
v)
P
T
T
T
T
F
F
F
F
Q
T
T
F
F
T
T
F
F
(P (Q R)) ((P Q) R)
R Q R P (Q R) P Q (P
T
T
T
T
F
F
F
T
T
T
T
F
F
T
T
F
T
T
T
F
F
F
T
F
T
T
T
F
F
T
T
F
Q) R H H
T
T F
F
T F
T
T F
T
T F
T
T F
T
T F
T
T F
T
T F
Hc = (P Q R) (P Q R) (P Q R) (P Q R) (P Q
R) (P Q R) (P Q R) (P Q R)
101
102
Hc = {{P, Q, R}, {P, Q, R}, {P, Q, R}, {P, Q, R}, {P, Q, R},
{P, Q, R}, {P, Q, R}, {P, Q, R}}
1 {P, Q, R}
2 {P, Q, R}
3 {P, Q, R}
4 {P, Q, R}
5 {P, Q, R}
6 {P, Q, R}
7 {P, Q, R}
8 {P, Q, R}
9 {P, Q}
Res 7,8
10 {P, Q}
Res 5,6
11 {P}
Res 9,10
12 { P, Q}
Res 1,2
13 { P,Q}
Res 3,4
14 {P}
Res 12,13
15 {}
Res 11,14
w)
x)
(S Q) (P (S P )) S
(S Q) (P S P ) S
Hc = {{S, Q}, {P, S, P }, {S}}
1 {S, Q}
2 {P, S, P }
3 {S}
4 {P, P }
Res 2,3
5 {Q}
Res 1,3
Resposta: No possvel encontrar {}, logo H e satisfatvel.
satisfatvel, pois possui ramo fechado

y)
102
ELSEVIER
ELSEVIER
Captulo 7
(Q P ) (P R) (Q R)
Q P (P R) (Q R)
Hc = {{Q}, {P }, {P, R}, {Q, R}}
1 {Q}
2 {P }
3 {P, R}
4 {Q, R}
5 {R}
Res 1,4
z)
aa)
bb)
Exerccio 4:
a)
P = "Jos foi intimado"
Q = "Flvia faltou ao servio"
R = "Um bilhete foi encontrado"
P (Q R), P Q, R Q
(P Q R) (P Q) (R Q)
Hc = {{P, Q R}, {P, Q}, {R, Q}}
1 {P, Q R}
2 {P, Q}
3 {R, Q}
4 {P, R}
Res 2,3
5 {P, Q}
Res 1,4
103
103
104
ELSEVIER
b)
P = "Casamento feliz"
Q = "Noivos tem objetivos comuns"
R = "Noivos cursam disciplinas em reas comuns"
S = "H divrcio"
P Q, Q R, S P, S R

((P Q) (Q R) (S P ) (S R))
(((P Q)(Q P ))((Q R)(R Q))((S P )(P S))((S R)(R S)))
(((P Q)(QP ))((QR)(RQ))((S P )(P S))((S R)(RS)))
Hc = {{P, Q}, {Q, P }, {Q, R}, {R, Q}, {S, P }, {P, S}, {S, R}, {R, S}}
1 {P, Q}
2 {Q, P } 3 {Q, R} 4 {R, Q} 5 {S, P } 6 {P, S} 7 {S, R} 8 {R, S} 9 {S, Q}
10 {S, R}
Res 9,3
c)
P = "H pouco sangue na cena do crime"
Q = "O matador profissional"
R = "Houve poucos rudos no momento do crime"
S = "A vtima estava toda ensaguentada"
P Q, R P, S R, P
(P Q) (R P ) (S R) P
Hc = {{P, Q}, {R, P }, {S, R}, {P }}
1 {P, Q}
2 {R, P }
3 {S, R}
4 {P }
5 {Q}
Res 1,4
6 {R}
Res 2,4
104
Res 4,8
ELSEVIER
Captulo 7

d)
Exerccio 5:
a)
b)
c)
P = Sr. Machado mora em Coromandel
Q = Sr. Machado vive em minas
Prova:
H = ((P Q) P) Q = ((P Q) P) Q
H = ((P Q) P) Q
H = ((P Q) P) Q
1.
2.
3.
4.
5.
{P, Q}
{P}
{Q}
{Q}
{}
Res. 1 e 2
Res. 3 e 4
Logo, o argumento vlido.

d)
P = Sr. Machado mora em Coromandel
Q = Sr. Machado vive em minas
Prova:
H = ((P Q) P) Q = ((P Q) P) Q
H = ((P Q) P) Q
H = ((P Q) P) Q
105
105
106
1.
2.
3.
4.
5.
{P, Q}
{P}
{Q}
{Q}
{}
ELSEVIER
Res. 1 e 2
Res. 3 e 4
Logo, o argumento vlido.

e)
O argumento no vlido.
f)
g)
h)
i)
j)
k)
l)
P = "Lnin comunista"
Q = "Lnin ateu"
H = (P Q) (Q P )
Por tableau:
1 ((P Q) (Q P ))
2 (P Q) (Q P )
. &
3
P
Q
4
Q
P
aberto aberto
H
R6,1
R8,2
R8,2
Como o Tableau aberto logo argumento no vlido,ou seja, pelo teorema da correo 6`H,
logo 6|=H.
Por resoluo:
106
ELSEVIER
P
T
T
F
F
Captulo 7
107
Q (P Q) (Q P ) ((P Q) (Q P ))
T
T
F
F
F
T
T
F
T
F
T
F
A partir da quarta coluna da tabela verdade vamos obter a frmula clausal Hc , logo temos:
Hc = (P Q) (P Q) entao Hc = { { P, Q },{P, Q } }
1.{ P, Q }
2.{ P, Q }
3.{ Q, Q}
Res(1,2).
Como a expanso no foi vazia logo o argumento no vlido, ou seja, pelo teorema da correo
6`H, logo 6|=H.
m)
P ="Houver economia de energia"
Q ="Houver investimentos"
R ="Haver Apago"
(((P Q) R) P ) (R Q))
Por tableau:
1.(((P Q) R) P ) (R Q))
2. ((P Q) R) P )
3.
(R Q)
4.
R
5.
Q
6. (P Q) R
7.
P
.
&
8. (P Q) R
.
& fechado
9. P
Q
aberto aberto
H
R8,1
R8,1
R8,3
R8,3
R1,2
R1,2
R3,6
R6,8
R6,8
Como o Tableau aberto logo argumento no vlido,ou seja, pelo teorema da correo 6`H,
logo 6|=H.
Por resoluo:
107
108
P
T
T
T
T
F
F
F
F
Q
T
T
F
F
T
T
F
F
ELSEVIER
R (((P Q) R) P ) (R Q)) ((((P Q) R) P ) (R Q)))

T
T
F
F
T
F
T
T
F
F
T
F
T
F
T
F
T
F
T
T
F
F
T
F
A partir da quinta coluna da tabela verdade vamos obter a frmula clausal Hc , logo temos:
Hc = (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P
Q R) (P Q R)
entao Hc = {{P, Q, R },{P, Q, R },{P, Q, R },{P, Q, R },{P, Q, R },{P, Q, R
},{P, Q, R } }
1.{ P, Q, R }
2.{ P, Q, R }
3.{ P, Q, R }
4.{ P, Q, R }
5.{ P, Q, R }
6.{ P, Q, R }
7.{ P, Q, R }
8.{ P, Q }
Res(1,2)
9.{ P, Q }
Res(3,4)
10.{ P, Q }
Res(5,6)
11.{ P }
Res(8,9)
12.{ P, Q, R } Res(7,10)
13.{ Q, R}
Res(11,12)
Como a expanso no vazia logo o argumento no vlido,ou seja, pelo teorema da correo
6`H, logo 6|=H.
n)
P ="Fernandinho Ganhar as eleies"
Q ="A corrupo aumentar"
S ="Impunidade permanecer alta"
(P (R Q) (P R)) (P Q)
Por Tableau:
1
2
3
4
5
6
7
((P (R Q) (P R)) (P Q))

(P (R Q) (P R))
(P Q)
P
Q
P (R Q)
P R
. &
H
R8,1
R8,1
R8,3
R8,3
R1,2
R1,2
108
ELSEVIER
8
Captulo 7
R
R3,7
&
9
P
RQ
fechado
. &
10
R
Q
11
fechado fechado
fechado
109
R3,6
R3,9
Como o tableau fechado o argumento vlido, pois pelo teorema da correo `H, logo |=H.
Por resoluo:
P
T
T
T
T
F
F
F
F
Q
T
T
F
F
T
T
F
F
R ((P (R Q) (P R)) (P Q)) ((P (R Q) (P R)) (P Q))

T
T
F
F
T
F
T
T
F
F
T
F
T
T
F
F
T
F
T
T
F
F
T
F
A partir da quinta coluna da tabela verdade vamos obter a frmula clausal Hc , logo temos:
Hc = (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P
Q R) (P Q R) (P Q R)
entao Hc = {{P, Q, R },{P, Q, R },{P, Q, R },{P, Q, R },{P, Q, R },{P, Q, R
},{P, Q, R },{P, Q, R } }
1.{ P, Q, R }
2.{ P, Q, R }
3.{ P, Q, R }
4.{ P, Q, R }
5.{ P, Q, R }
6.{ P, Q, R }
7.{ P, Q, R }
8.{ P, Q, R }
9.{ P, Q }
Res(1,2)
10.{ P, Q }
Res(3,4)
11.{ P, Q }
Res(5,6)
12.{ P, Q }
Res(7,8)
13.{ P R }
Res(9,10)
14.{ P }
Res(11,12)
15.{ }
Res(13,14)
Como a expanso vazia logo o argumento vlido,ou seja, pelo teorema da correo `H, logo
|=H.
109
110
ELSEVIER
o)
p)
q)
Exerccio 6:
Exerccio 7:
Suponha que existe uma prova de H por resoluo. Logo, existe uma expanso por resoluo
fechada, a partir de Hc onde Hc a forma clausal de H. Neste caso,H equivale a Hc
Portanto, H tautologia Hc tautologia ou equivalentemente, H contraditria Hc
contraditria.
Devemos demonstrar que se a expanso por resoluo a partir de Hc fechada, ento Hc
contraditria.
Logo, conclumos que H contraditria e H tautologia.
Considere ento que a expanso por resoluo a partir de HC fechada. Suponha por
absurdo interpretao I tal que I[Hc ]=T.
Como a regra da resoluo mantm a validade, ento o resultado de sua aplicao sobre Hc
deve ser tambm uma frmula cuja interpretao igual a T.
Como a expanso fechada, a ltima clusula vazia. Mas a clusula vazia somente obtida
aplicando a resoluo a um conjunto do tipo {A,A}.
Isto significa que I[A A] = T , ou seja, I[A]=T e I[A] = T o que um aburdo.
Portanto, se I[Hc ]=t, ento obtemos um absurdo.
Logo, no existe interpretao I, tal que I[Hc ]=T, isto I, I[ Hc ]=F. Conclui-se que
Hc tautologia e portanto que H tautologia.
Nota. Uma demonstrao mais rigorosa do teorema da correo deve usar induo finita.
Exerccio 8:
a)
Verdadeira, pois a partir de um ramo aberto do tableau possvel determinar uma interpretao I
tal que I[H] = F .
b)
Verdadeira. Se no existe tableau associado a H com ramo fechado, ento todo tableau tem ramo
aberto, logo, pelo item a), H no tautologia.
110
ELSEVIER
Captulo 7
111
c)
Verdadeira. A justificativa a mesma do item a).
d)
Falsa. Se existe tableau associado a H com ramo fechado, isto no significa que no haja ramo
aberto. Caso haja ramo aberto, ento H no tautologia.
e)
Verdadeira. Se existe tableau associado a H com todos os ramos fechados, ento tem-se uma
prova de H utilizando tableau. Logo, pelo teorema da correo, H tautologia.
f)
Falsa. Como todo tableau associado a H possui ramo aberto, ento, H no tautologia.
g)
Falsa. Se todo tableau associado a H possui ramo aberto, ento H no tautologia. Mas isto no
significa que H no contraditria.
h)
Falsa. se no existe tableau associado a H com ramo fechado, ento todos os ramos de todos os
tableaux so abertos, Neste caso, sempre existe ramo aberto, logo H no tautologia, podendo ser
satisfatvel ou contraditria.
i)
Verdadeira. Se existe tableau associado H com todos os ramos abertos, ento a partir de H,
utilizando o mtodo do tableau para prova, no se chega a nenhuma contradio (o ramo fechado
quem determina a contradio). Isto significa que int. I, I[H] = T no uma afirmao
contraditria. Portanto int. I, I[H] = T, logo H contraditria.
j)
Falsa. Se existe tableau associado a H com ramo fechado, pode ocorrer o caso em que todos os
ramos so fechados. Nesse caso, H tautologia.
111
112
ELSEVIER
k)
Falsa. Se existe tableau associado a H com todos os ramos fechados, ento, pela mesma justificativa
do item e), H tautologia.
l)
Falsa. Se todo tableau associado a H possui ramo fechado e aberto, ento, devido presena de
ramo aberto, H no tautologia, podendo ser satisfatvel, contraditria ou contigncia.
m)
Verdadeira. Se toda expanso por resoluo associada a Hc aberta, significa que no existe
expanso associada a Hc fechada. Logo, no possvel obter uma contradio de I[Hc ] = T
sendo I[Hc ] = F isto , Hc e H no so tautologias.
n)
Verdadeira. Se no existe expanso por resoluo associada a Hc fechada, significa que todas so
abertas. Logo, pelo item m), H no tautologia.
o)
Falsa. Se existe expanso por resoluo associada a Hc fechada, ento existe uma prova por
resoluo de H. Logo, pelo teorema da correo H tautologia.
p)
Se existe expanso por resoluo associada a Hc fechada, ento H tautologia.
Se exp. res.associada Hc fechada ` H
H(T.Compl.)e(T.Corr.)
I[H] tautologia
Verdadeira. Se existe expanso por resoluo associada a Hc fechada, existe uma prova
de H por resoluo. Logo, H tautologia. (cqd.)
q)
Se existe expanso por resoluo associada a Hc fechada, ento H contraditria
Se exp. res. associada Hc fechada ` H
exp. res. associada Hc
` H
H(T.Compl.)e(T.Corr.)
Verdadeira. Se existe expanso por resoluo associada a Hc fechada, ento, conforme item
p) H tautologia. Logo, H contraditria. (cqd.)
112
ELSEVIER
Captulo 7
113
r)
Se toda expanso por resoluo associada a Hc aberta, ento H tautologia.
Se exp. res. associada Hc aberta H no tautologia
Falsa. Se toda expanso por resoluo associada a Hc aberta, ento, [H] no tautologia.
Isto no significa que H seja tautologia. (cqd.)
s)
Se no existe expanso por resoluo associada a Hc fechada, ento H contraditria.
Se @ exp. res. associada Hc fechada exp res. associada a Hc aberta
Falsa. Se no existe expanso por resoluo associada a Hc fechada, ento todas so abertas.
Logo, pelo item r), H no tautologia. Isto no significa que H seja contraditria. (cqd.)
Exerccio 9:
Suponhamos que exista um processo de expanso que no termina, ou seja, obtida uma rvore
infinita. Como cada ramo da rvore obtido utilizando alguma regra do sistema Tba em alguma
frmula anterior no expandida, precisaramos de alguma regra que mantivesse o tamanho da
frmula ou mesmo a aumtentasse. Com as regras R1, R2, R3, R5, R6, R7 e R8, diminuimos sempre
o tamanho da frmula. As frmulas R4 e R9 nos do frmulas que sero reduzidas no prximo
passo pela regra R1. Como as frmulas da expanso sempre diminuem, no podemos obter uma
rvore infinita a partir de H. Conclumos assim que a rvore obtida pela expanso no sistema Tba
finita.
113
Parte II
LGICA DE PREDICADOS
8
A linguagem da Lgica de Predicados
Exerccio 1:
a) Todo termo uma frmula?
No. De acordo com a definio 8.4, uma frmula da lgica de predicados formada por tomos.
tomos, por sua vez, so formados pelo smbolo de verdade false e de smbolos de predicados e um
termo no um tomo.
b) Todo literal uma expresso?
Sim. Os literais so formados por tomos e de acordo com as definies 8.4 e 8.5, frmulas so
expresses e todo tomo uma frmula.
c) Toda expresso um literal?
No. Uma expresso pode ser um termo ou uma frmula. As expresses formadas por termos no
so literais, pois, de acordo com a definio 8.7, literais so tomos e um termo no um tomo.
Exerccio 2:
a)
?
?
?
?
?
?
?
(w)(z)(z1)(x)(y)((x)p(x, y, w, z) (y)q(z, y, x, z1))

(w)(z)(z1)(x)(y)((x)p(x, y, w, z)
(x)p(x, y, w, z)
p(x,y,w,z)
(y)q(z, y, x, z1))
q(z,y,x,z1)
(w)(z)(z1)(x)(y)q(z, y, x, z1)
118
b)
?
?
?
?
?
?
?
?
?
?
?
?
(w)(z)(z1)(x)(y)((x)p(x, y, w, z) (y)q(z, y, x, z1))

(w)(z)(z1)(x)(y)((x)p(x, y, w, z)
(x)p(x, y, w, z)
p(x,y,w,z)
(y)q(z, y, x, z1))
q(z,y,x,z1)
(w)(z)(z1)(x)(y)q(z, y, x, z1)
x
y
w
z
z1
Exerccio 3:
a)
(x)p(x) ((x)q(x) r(y))
b)
(z)(p(z) q(y))
c)
(x)(x)(p(x))
Exerccio 4:
a)
(x)(p(x) q(x))
b)
(x)(p(x) q(x)) (z)q(z)
c)
((y)(z)p(z) r(z)) (x)q(x)
118
ELSEVIER
ELSEVIER
Captulo 8
119
Exerccio 5:
Exerccio 6:
Exerccio 7:
a)
Uma varivel x ocorre ligada em E se x est no escopo de um quantificador (ex. E = (x)p(x)) e
x ocorre livre se no for ligada (ex. E = p(x)).
b)
Uma varivel x pode ocorrer livre e ligada ao mesmo tempo em uma frmula E (ex. E = (x)p(x)
q(x)).
Exerccio 8:
Exerccio 9:
a)
Sim, as frmulas fechadas no possuem smbolos livres.
b)
No possui smbolos livres.
c)
No, pois as variveis ligadas e as variveis dos quantificadores no so smbolos livres.
Exerccio 10:
a)
b)
c)
8.1 Exerccio 11:

a) H(x)p(x)
119
120
b) p(a)
c) (x)(y)p(x, y), ou qualquer frmula fechada.
120
ELSEVIER
9
A semntica da Lgica de Predicados
Exerccio 1:
a)
I[p(x, a)] = F e J[p(x, a)] = T
b)
I[p(x, a) p(x, f (x))] = F e J[p(x, a) p(x, f (x))] = T
c)
I[(y)p(y, x)] = T e J[(y)p(y, x)] = F
d)
I[(y)(p(y, a) p(f (y), y))] = T e J[(y)(p(y, a) p(f (y), y))] = F
e)
I[(x)(y)p(x, y)] = T e J[(x)(y)p(x, y)] = T
f)
I[(y)(x)p(x, y)] = T e J[(y)(x)p(x, y)] = T
g)
I[(x)(x)q(x)] = T e no possvel determinar a interpretao J.
122
ELSEVIER
h)
I[(x)(x)q(x)] = F e no possvel determinar a interpretao J.
Exerccio 2:
Exerccio 3:
Observe que H implica G (H G) tautologia.
Vamos supor pro absurdo que H G no tautologia.
I[H G] = F I[H] = T e T [G] = F
paraI[H] = T temos :
I[(x1 )H1 ((x2 )H2 (...))] = T
I[(x1 )Hx1 ] = T e I[(x2 )Hx2 (...)] = T
d U, < x1 d > I[H1 ] = T e c U, < x2 c > I[H2 ] = T
para I[G] = F temos :
I[(x1 )...(x8 )((H1 ... H4 ) H8 )] = F
I[(x1 )...(x7 )(H1 ... H7 )] = T e I[(x8 )H8 ] = F
d U, < x1 d > I[H1 ] = T e ... c U, < x2 c > I[H8 ] = T e e U, < x8 e >
I[H8 ] = F
ABSU RDO!
Resposta: Comparando as afirmaes podemos concluir que I[H G] tautologia.
Exerccio 4:
a)
J[( x)( y) p(x,y,z,w) ( z) p(z,b,y,x)]=F
J[( x)( y) p(x,y,z,w)]=T e J[( z) p(z,b,y,x)]=F
d N; <x - d> J[( y) p(x,y,z,w)]=T e c N; <z - c> J[p(z,b,y,x)]=F
d N; e N;<y - e><x - d> J[p(x,y,z,w)]=T e c N; <z - c> J[p(z,b,y,x)]=F
d N; e N; pj (d,e,zj ,wj )=T e c N; pj (c,bj ,yj ,xj )]=F
d N; (d+e < zj +wj ) verdadeira e c N; (c+bj < yj +xj ) falsa.
b)
I[E]=F d1 N, d3 N; <y - d3 ><x - d1 > I[p(x,y,z,w)]=T e d2 N, d4 N; <y
- d4 ><z - d2 > I[p(z,b,y,x)]=F
d1 N, d3 N; (d1 +d3 > 14) verdadeira e d2 N, d4 N; (d2 +7 < d4 +9) falsa.
I[( x)( y) p(x,y,z,w)]=T e I[( z) p(z,b,y,x)]=F, logo I[E]=F.
122
ELSEVIER
Captulo 9
123
Exerccio 5:
a)
Seja i e J duas interpretaes sobre os naturais tais que
I[p(x, y, z)] = T (xI + yI ) > zI I[z] = 5, I[x] = 5.
J[p(x, y, z)] = T (yI + yI ) xI I[z] = 0, I[x] = 5.
Neste caso, I[(x)(y)p(x, y, z)] = T e I[(y)(z)p(x, y, z)] = F . Logo,
I[(x)(y)p(x, y, z) (y)(z)p(x, y, z)] = F .
Por outro lado, J[(x)(y)p(x, y, z)] = T e J[(y)(z)p(x, y, z)] = F .
Logo, J[(x)(y)p(x, y, z) (y)(z)p(x, y, z)] = F . Demonstre, utilizando as definies, cada
uma das igualdades.
b)
(x) p(x) (y) q(y)
Seja I uma int. sobre os N.
I[p(x)] = T xI par.
I[q(y)] = T yI mpar.
Neste caso, I[H] = F pois
I[(x)p(x)] = F ... afirmativa verdadeira e
I[(y)q(y)] = T ... afirmativa verdadeira.
Seja J uma int. sobre os N.
J[p(x)] = T xJ > 0
J[q(y)] = T yJ mpar
Neste caso J[H] = T .
c)
Exerccio 6:
a) Quais os resultados informais das interprestaes de H1 , H2 e H3 , onde I uma
interprestao sobre o conjunto dos nmeros reais R, tal que:
I[a] = 0, I[q(x, y)] = T xI < yI , I[p(x) = T xI ] um nmero primo, I[r] = = (r
interpretado como igualdade) e I[f ] = (f interpretada como o produto).
H1 = (x)(y)(q(x, y) p(y))
Os conjuntos dos nmeros primos infinito.
123
124
ELSEVIER
H2 = (x)(q(a, x (z)r(f (z, z), x))

Todo nmero positivo tem raiz quadrada.
H3 = (x)(y)(r(x, a) (z)r(f (x, z), y))
Dados dois nmeros reais x e y, se x 6= 0, ento possvel dividir y por x.
b)
c)
d)
Exerccio 7:
a)
I[( x)( y) H] = T
= d U, <x d> I[(y)H] = T > d U, e U, <y e><x d> I[H] = T
b)
I[(x)(y)H] = F
= d U, <x d> I[(y)H] = F > d U, e U, <y e><x d> I[H] = F
c)
I[(x)(y)H] = T = d U, <x d> I[(y)H] = T > d U, e U, <y e><x
d> I[H] = T
d)
I[(x)(y)H] = F = d U, <x d> I[(y)H] = F > d U, e U, <y e><x
d> I[H] = F
e)
I[(x)(y)H] = T = d U, <x d> I[(y)H] = T > d U, e U, <y e><x
d> I[H] = T
f)
I[(x)(y)H] = F = d U, <x d> I[(y)H] = F > d U, e U, <y e><x
d> I[H] = F
124
ELSEVIER
Captulo 9
Exerccio 8:
a)
I[p(x,y)]= 0 4;
J[p(x,y)]= 9 4;
0 4 6= 9 4, que uma afirmao verdadeira.
b)
I[(x)p(x, y)]
d N ; < x d > I[p(x, y)]
d N ; d 4
J[(x)p(x, y)]
c N ; < x c > J[p(x, y)]
c N ; c 4
d N ; d 4 = c N ; c 4
uma afirmao verdade
c)
I[(y)p(x, y)]
d N ; < y d > I[p(x, y)]
d N ; 0 d
J[(y)p(x, y)]
c N ; < y c > J[p(x, y)]
c N ; 9 c
d N ; 0 d 6= c N ; 9 c
uma afirmao verdade
Exerccio 9:
a)
Seja I uma interpretao sobre o conjunto dos indivduos.
I[p(x)] = T xI esforado.
I[q(x)] = T xI trabalha muito.
I[r(x)] = T xI tem inspirao.
125
125
126

I[s(x)] = T xI produtivo.
(x)(s(x) p(x) q(x) r(x))
b)
Seja I uma interpretao sobre o conjunto das pessoas.
I[p(x)] = T xI homem
I[q(x)] = T xI mulher
I[r(x)] = T xI bonita, inteligente e sensvel
I[s(x)] = T xI prefere yI
(x)(y)(s(x, y) (p(x) q(y) r(y))
c)
Seja I uma interpretao sobre o conjunto das pessoas.
I[a] = Pedro
I[p(x,y)] = T xI filho de yI
I[q(x)] = T xI linda e meiga
I[r(x)] = T xI mulher
(x)(y)((p(x, a) r(x)) q(x))
d)
Seja I uma int sobre o conj das pessoas
I[a]=Ilmerio
I[p(x,y)]=T xi filha de yi
I[q(x)]=T xi aluno de CC
I[r(x)]=T xi lindo(a) e inteligente
I[s(x,y)]=T xi quer namorar yi
(x) (p(x,a) r(x)) (x)(y)((p(x,a) q(y)) s(y,x))
e)
Seja I uma int sobre o conj dos animais
I[p(x)]=T xi pssaro
I[q(x)]=T xi voa
(x) (p(x) q(x))
126
ELSEVIER
ELSEVIER
Captulo 9
f)
Seja I uma int sobre o conj das pessoas
I[p(x)]=T xi poltico
I[q(x)]=T xi honesto
(x) (p(x) q(x))
g)
h)
i)
j)
Seja U = conjunto dos conjuntos e I [p(x,y)] = T x contm y
(x) p(x, x)
k)
Seja U = conjunto dos macacos e I [p(x)] = T x tem seu galho
(x) p(x)
l)
Seja U = conjunto das pessoas e I [p(x,y)] = T x fere y com ferro
(x)(y) p(x, y) (y) p(y, y)
127
127
128
ELSEVIER
m)
Seja I uma interpretao sobre o conjunto de todas as pessoas. I[x] = homem, I[y] = mulher
da vida, I[f ] = vida, I[q] = viver envolvido e I[p] = ter valor. A sentena pode ser pode ser
escrita como:
(x)(y)(q(x, y) p(f (x)))
n)
Seja I uma interpretao sobre o conjunto de todas as pessoas. I[p] = amar; I[p(x, y)] = T
I[x] = pessoa e I[y] = pessoa. A sentena pode ser escrita como:
(x)(y)(q(x, x) p(x, y))
o)
Seja I uma interpretao sobre o conjunto de todas as patricinhas de Uberlndia. I[a] = celular,
I[b] = pele lisa, I[c] = cheiro de alface, I[p] = ir ao shopping; I[p(x)] = T I[x] = patricinha
e I[q] = ter; I[q(x, y)] = T I[x] = patricinha. A sentena pode ser escrita como:
(x)(p(x) (q(x, a) q(x, b) q(x, c))
p)
q)
r)
s)
I[p(x)] = T XI tio do pedro
I[q(x, y)] = T XI mais novo que YI
I[r(x, y)] = T XI irmo de YI
I[s(x)] = T XI mora em israel
(y)(x)(p(x) q(x, y) r(x, y) s(x))
128
ELSEVIER
Captulo 9
129
t)
I[a]=Jamil
I[p(x, y)] = T XI admira YI
I[q(x, y)] = T XI irm YI
I[r(x, y)] = T XI cunhado YI
I[s(x, y)] = T XI tio YI
I[p1 (x, y)] = T XI mora no lbano
(x)(p(a, x) (y)(q(x, y) (z)(r(y, z) s(z, a))) p1 (x))
u)
v)
Os irmos de Cludio so amigos. Mas nem todo amigo de Faina amigo de Cludio e vice-versa.
Seja I uma interpretao sobre o conjunto das pessoas,
I[a] = Cludio
I[p(x, y)] = T xI irmo de yI .
I[q(x)] = T xI gacho.
I[r(x)] = T xI torce pelo Grmio.
(x)(p(x, a) q(x) r(x) r(a))
w)
x)
Autran um bom pai e ama todos os seus filhos.
I[a] = Autran
I[p(x)] = T xI um bom pai.
I[q(x, y)] = T xI filho de yI .
I[r(x, y)] = T xI amado por yI
(x)(p(a) q(x, a) r(x, a))
y)
Os filhos de Ana so os filhos de Nicolau. Ana ama seus filhos. Mrcio filho de Nicolau. Portanto,
Ana ama Mrcio.
129
130

I[a] = Ana
I[b] = Nicolau
I[c] = Mrcio
I[p(x, y)] = T xI filho de yI .
I[q(x, y)] = T xI ama yI
(x)((p(x, a) p(x, b)) (p(x, a) q(x, a)) (p(c, b) q(c, a))
z)
Os gatos e cachorros so animais domsticos
Seja I uma interpretao sobre um Conjunto de Animais
I[p(x)] = T xI gato
I[q(x)] = T xI cachorro
I[r(x)] = T xI um animal domstico
(x)(p(x) r(x)) (y)(q(y) r(y))
aa)
Nenhum filho adolescente de Maria gosta de estudar.
Seja I uma interpretao sobre o Conjunto de filhos de Maria,
I[a]= Maria
I[r(x)] = T xI adolescente.
I[p(x, y)] = T xI filho de yI .
I[q(x)] = T xI gosta de estudar.
(x)((p(x, a) r(x)) q(x))
bb)
H pelo menos um cavalo branco
Seja I uma interpretao sobre um conjunto de cavalos
I[p(x)] = T xI branco
(x)p(x)
cc)
Seja I uma interpretao sobre o conjunto dos cavalos tal que
I[p(x)] = T xI branco. (x)p(x)
130
ELSEVIER
ELSEVIER
Captulo 9
dd)
Seja I uma interpretao sobre o conjunto dos homens e dos vegetais tal que
I[p(x)] = T xI homem.
I[q(x)] = T xI mamfero.
I[r(x)] = T xI tomate.
I[s(x)] = T xI vegetal.
(x)(p(x) q(x)) (y)(r(y) s(y))
ee)
Seja I uma interpretao sobre o conjunto dos homens tal que
I[p(x)] = T xI feliz.
(x)p(x) (x)p(x)
ff )
Se algum no ama ningum, todos no amam todos.
Seja I uma interpretao sobre um conjunto de pessoas
I[p(x, y)] = T xI ama yI .
(x)(y)p(x, y) (x)(y)p(x, y)
gg)
Se todos nao amam todos, no existe algum que no ame algum.
Seja I uma interpretao sobre um conjunto de pessoas
I[p(x, y)] = T xI ama yI .
(x)(y)p(x, y) (x)(y)p(x, y)
Exerccio 10:
a)
Todo homem mortal
Seja I uma interpretao sobre o conjunto de pessoas do mundo.
I[p(x)] = T xI mortal
(x)p(x)
131
131
132
ELSEVIER
b)
No possvel representar, pois possivelmente considerado apenas na lgica Modal.
c)
No possvel representar, pois o "tempo" no considerado na Lgica de Predicados Clssica.
d)
Seja I uma interpretao sobre o conjunto dos alunos de Cincia da Computao.
I[p(x, y) = T xI admira yI .
(x)(y)p(x, y)
e)
Seja I uma interpretao sobre o conjunto de alunos da minha turma, tal que, I[p(x,y)]=T xi
no gosta de yi .
( x)( y) p(x,y)
f)
Seja I uma interpretao sobre o conjunto de alunos de C.C., tal que I[p(x,y)]=T yi detesta xi .
( x)( y) p(x,y)
g)
No possvel representar "necessariamente"na lgica de predicados.
h)
No possvel representar, pois o "tempo" no considerado na lgica de predicados clssica.
i)
No possvel representar, pois a quantificao "quase todo" no considerada na Lgica de
Predicados.
j)
No possvel representar, pois o "tempo" no considerado na Lgica de Predicados Clssica.
132
ELSEVIER
Captulo 9
133
k)
Toda regra tem exceo.
Suponha uma interprestao sobre os funcionrios da Algar.
i[px, y] = T , se xI regra e yI exeo.
(x)(y)p(x, y)
l)
Quase todo funcionrio da Algar um talento.
I[p(x)] = T se x funcionrio.
I[q(x)] = T se x um talento.
(x)p(x) (x)(q(x)
m)
Poucos funcionrios da Algar no so empreendedores.
I[q(x)] = T se x empreendedor.
(x)(p(x) (x)(q(x))
n)
O presidente da Algar admirado por seus colaboradores. Suponha uma interprestao sobre os
funcionrios da Algar.
I[a] = T se a presidente.
I[q] = T se q admira.
(x)(p(x) q(x, a))
133
10
Propriedades semnticas da Lgica de Predicados
Exerccio 1:
a)
H equivale a G = I, I[H] = I[G]
I, {I[H] = T I[G] = T}
I[H] = T = I[(x)(y)p(x,y,z)] = T
d U, <x d> I[(y)p(x,y,z)] = T
d U, e U, <y e><x d> I[p(x,y,z)] = T
e U, d U, <x d><y e> I[p(x,y,z)] = T
e U, <y e> I[(x)p(x,y,z)] = T
I[(y)(x)p(x,y,z)] = T
I[G] = T
b)
I, {I[H] = T I[G] = T}
I[H] = T = I[(x)(y)p(x,y,z)] = T
d U, <x d> I[(y)p(x,y,z)] = T
d U, e U, <y e><x d> I[p(x,y,z)] = T
e U, d U, <x d><y e> I[p(x,y,z)] = T
e U, <y e> I[(x)p(x,y,z)] = T
I[(y)(x)p(x,y,z)] = T
I[G] = T
c)
I, {I[H] = T I[G] = T}
I[H] = T = I[(x)p(y)] = T
I[(x)p(y)] = F
136
d U, <y d> I[p(y)] = F

d U, <y d> I[p(y)] = T
I[(y)p(y)] = T
I[G] = T
d)
H = ( x)p(x)
G = ( y)p(y)
I[H] = T I[(x)p(x)] = T
d U ; < x d > I[p(x)] = T
d U ; pi(d) = T
d U ; < y d > I[p(y)] = T
I[(y)p(y)] = T
I[G] = T
Logo H equivale a G
e)
H = ( x)p(x)
G = ( y)p(y)
I[H] = T I[(x)p(x)] = T
d U ; < x d > I[p(x)] = T
d U ; pi(d) = T
d U ; < y d > I[p(y)] = T
I[(y)p(y)] = T
I[G] = T
Logo H equivale a G
f)
H = ( x)( x)p(x)
G = ( x)p(x)
I[H] = T I[(x)(x)p(x)] = T
d U ; < x d > I[(x)p(x)] = T
d U ; c U ; < x c >< x d > I[p(x)] = T
d U ; c U ; pi(c) = T
c U ; pi(c) = T
c U ; < x c > I[p(x)] = T
I[(x)p(x)] = T
I[G] = T
Logo H equivale a G
136
ELSEVIER
ELSEVIER
Captulo 10
137
Exerccio 2:
a)
Suponha por contradio, que H no vlida. Logo, por definio, existe uma interpretao I sobre
um dominio U, tal que I[H] = F.
I[H] = F I[(x)p(x) p(a)] = F
I[(x)p(x)] = T e I[p(a)] = F
d U; <x d> I[p(x)] = T e I[p(a)] = F
d U; pI(d) = T e pI(a) = F
b)
Suponha por contradio, que H no vlida. Logo, por definio, existe uma interpretao I sobre
um dominio U, tal que I[H] = F.
I[H] = F I[p(a) (x)p(x)] = F
I[p(a)] = T e I[(x)p(x)] = F
d U; <x d> I[p(x)] = F e I[p(a)] = T
d U; pI(d) = F e pI(a) = T
Exerccio 3:
H = (x)((y)q(x, y)) ((y)q(y, y))
I[H]=F I[(x)((y)q(x, y)) ((y)q(y, y))] = F
I[(x)((y)q(x, y))]=T e I[(y)q(y, y)] = F
d U; <xd> I[ ( y) q(x,y)]=T e I[( y) q(y,y)] = T
d U; <xd> I[( y) q(x,y)]=F e c U; <yc> I[q(y,y)] = T
d U; e U; <ye> <xd> I[q(x,y)]=F e c U; <yc> I[q(y,y)] = T
d U; e U; qi(d,e) = F e c U; qi(c,c)=T
Seja por exemplo, uma interpretao sobre o conjunto dos nmeros naturais, onde:
I[q(x,y)] = T xi = yi
d U; e U; d 6= e e c U; c = c
Esta afirmao verdadeira, logo a interpretao que torna H falsa, portanto H no vlida.
137
138
ELSEVIER
Exerccio 4:
a)
b)
c)
d)
Falsa.
Seja U = conjunto dos nmeros naturais e I [p(x,y)] = T y sucessor de x
e)
Falsa. Anloga resposta da letra d).
f)
Seja H = (x) (p(x) r(x)) e G = (x) (p(x) (x) (r(x)
I[H] = F
I[(x) (p(x) r(x))] = F

d U, <x d> I[(p(x) r(x)] = F
d U, <x d> I[(p(x)] = T e I[(r(x)] = F
d U, <x d> I[(p(x)] = T e d U, <x d> I[(r(x)] = F
I[(x) (p(x)] = T e I[(x) (r(x)] = F
I[G] = F.
Logo I[H] = F I[G] = F, e assim pelo lema 10.2 (pag. 185), I[H] = I[G]. Dessa forma
conclumos que H equivale a G.
g)
(x)(p(x) r(x)) ((x)p(x) (x)r(x))
Por definio, (x)(p(x) r(x)) ((x)p(x) (x)r(x)) vlida se, e somente se, int. I,
I[(x)(p(x) r(x)) ((x)p(x) (x)r(x))] = T
Mas, (x)(p(x) r(x)) implica ((x)p(x) (x)r(x)) se, e somente se, int. I, se I[(x)(p(x)
r(x))] = T , ento I[((x)p(x) (x)r(x))] = T
Ento, seja uma int. I, sobre um domnio U ; I[(x)(p(x) r(x))] = T .
I[(x)(p(x) r(x))] = T d U ; < x d > I[(p(x) r(x)] = T
d U ; < x d > I[p(x)] = T e/ou
138
ELSEVIER
Captulo 10
139
< x d > I[r(x)] = T

d U ; < x d > I[p(x)] = T e/ou
d U ; < x d > I[r(x)] = T
I[(x)p(x)] = T ou I[(x)r(x)] = T
I[(x)p(x) (x)r(x)] = T
Portanto, se (x)(p(x)r(x)) implica ((x)p(x)(x)r(x)), ento I[(x)(p(x)r(x)) ((x)p(x)
(x)r(x))] = T , ou seja, (x)(p(x) r(x)) ((x)p(x) (x)r(x)) vlida.
h)
((x)p(x) (x)r(x)) (x)(p(x) r(x))
Por definio, ((x)p(x) (x)r(x)) (x)(p(x) r(x)) vlida se, e somente se, int. I,
I[((x)p(x) (x)r(x)) (x)(p(x) r(x))] = T
Mas, ((x)p(x) (x)r(x)) implica (x)(p(x) r(x)) se, e somente se, int. I, se I[((x)p(x)
(x)r(x))] = T , ento I[(x)(p(x) r(x))] = T
Ento, seja uma int. I, sobre um domnio U ; I[((x)p(x) (x)r(x))] = T
I[((x)p(x) (x)r(x)] = T I[(x)p(x)] = T e/ou I[(x)r(x)] = T
d U ; < x d > I[p(x)] = T e/ou
d U ; < x d > I[r(x)] = T
d U ; < x d > I[p(x)] e/ou
< x d > I[r(x)] = T
d U ; < x d > I[p(x)] ou
< x d > I[r(x)] = T
I[(x)(p(x) r(x))] = T
Portanto, se ((x)p(x) (x)r(x)) implica (x)(p(x) r(x)), ento I[((x)p(x) (x)r(x))
(x)(p(x) r(x))] = T , ou seja, ((x)p(x) (x)r(x)) (x)(p(x) r(x)) vlida.
i)
(x)(p(x) r(x)) ((x)p(x) (x)r(x))
Por definio, (x)(p(x) r(x)) ((x)p(x) (x)r(x)) vlida se, e somente se, int. I,
I[(x)(p(x) r(x)) ((x)p(x) (x)r(x))] = T
Mas, (x)(p(x) r(x)) implica ((x)p(x) (x)r(x)) se, e somente se, int. I, se I[(x)(p(x)
r(x))] = T , ento I[((x)p(x) (x)r(x))] = T
Ento, seja uma int. I, sobre um domnio U ; I[(x)(p(x) r(x))] = T
I[(x)(p(x) r(x))] = T d U ; < x d > I[p(x) r(x)] = T
d U ; < x d > I[p(x)] igual a < x d > I[r(x)]
d U ; < x d > I[p(x)] igual a d U ; < x d > I[r(x)]
139
140
ELSEVIER
d U ; < x d > I[p(x)] = T igual a

d U ; < x d > I[r(x)] = T
I[(x)p(x)] = T igual I[(x)r(x)] = T
I[(x)p(x)] = I[(x)r(x)] = T
I[(x)p(x) (x)r(x)] = T
Portanto, se (x)(p(x) r(x)) implica ((x)p(x) (x)r(x)), ento I[(x)(p(x) r(x))
((x)p(x) (x)r(x))] = T , ou seja, (x)(p(x) r(x)) ((x)p(x) (x)r(x)) vlida.
j)
k)
l)
m)
n)
o)
p)
Seja uma interpretao I sobre o domnio U , tal que I[H] = F
I[H] = F I[(y)p(y) (x)p(x)] = F
I[(y)p(y)] = T e I[(x)p(x)] = F
d U, < y d > I[p(y)] = T e s U, < x s > I[p(x)] = F
Logo, se I[H] = F , ento H tautologia e vlida.
q)
Seja uma interpretao I, sobre um domnio U, tal que I[H] = F
I[H] = F I[(x)p(x) p(x)] = F
I[(x)p(x)] = T e I[p(x)] = F
r)
Seja uma interpretao I, sobre um domnio U, tal que I[H] = F
I[H] = F I[(x)p(x) p(x)] = F
I[(x)p(x)] = T e I[p(x)] = F
140
ELSEVIER
Captulo 10
141
s)
I[H]=F I[p(x)]( x)p(x)]=F
I[p(x)]=T e I[( x)p(x)]=F
I[p(x)] = T e d D, <x d> I[p(x)]=F
d D pI (xI ) = T e pI (d) = F
A afirmao acima falsa. Logo a suposio inicial falsa, o que significa que I[H] = T.
Exerccio 5:
a)
Sim. Fazendo H = p(y) e G = p(y)
Fazendo A = (x)(H G)
Fazendo B = (x)(H G)
A B int I, I[A]=I[B]
int. I, I[A]=F I[B]=F
Mas I[A]=F I[(x)(H G)] = F
I[(x)(p(y) p(y))] = F
d D; < x d > I[p(y)] = T e < x d > I[p(y)] = F
d D; pI (yI )=T e pI (yI )=F
Afirmao Falsa logo I[A]=T
I[B] = F I[()(H G)] = F
d D; < x d > I[H]=T e < x d > I[G]=F
d D; < x d > I[p(y)]=T e < x d > I[p(y)]=F
d D; pI (yI )=T e pI (yI )=F
A afirmao acima falsa, logo, I[B]=T
Como I[A] = I[B], ento I[H] = T
b)
Sim basta fazer H = true e G=p(x).
141
142
ELSEVIER
Exerccio 6:
Exerccio 7:
a)
(
x)G e G
(
x) equivale a G para toda interpretaao I, I[(x)G] = I[G].
Mas, I[(x)G] = I[G] {I[(x)G] = T I[G] = T }
I[(x)G] = T d U ; < x d > I[G] = T
d U ; I[G] = T (Como x no ocorre livre em G)
I[G] = T
b)
(
x)G e G
((x)G) equivale a G para toda interpretaao I, I[(x)G] = I[G].
Mas, I[(x)G] = I[G] {I[(x)G] = T I[G] = T }
I[(x)G] = T d U ; < x d > I[G] = T
d U ; I[G] = T (Como x no ocorre livre em G)
I[G] = T
c)
(
x)(H G) e ((
x)H G)
E1 = (x)(H G)
E2 = ((x)H G)
E1 equivale E2 para toda interpretao I, I[E1 ] = I[E2 ].
Mas, I[E1 ] = I[E2 ] {I[E1 ] = T I[E2 ] = T }
I[E1 ] = T I[(x)(H G)] = T
d U ; < x d > I[H G] = T
d U ; < x d > I[H] = T e < x d > I[G] = T
d U ; < x d > I[H] = T e I[G] = T (Como x no ocorre livre em G)
I[(x)H] = T e I[G] = T
I[E2 ] = T
142
ELSEVIER
Captulo 10
d)
(
x)(H G) e ((
x)H G)
E1 = ((x)H G)
E2 = (x)(H G)
Mas, I[E2 ] = I[E1 ] {I[E2 ] = T I[E7 ] = T }
I[E1 ] = T I[(x)(H G)] = T
d U ; < x d > I[H G] = T
d U ; < x d > I[H] = T e < x d > I[G] = T
d U ; < x d > I[H] = T e I[G] = T (Como x no ocorre livre em G)
I[(x)H] = T e I[G] = T
I[E1 ] = T
e)
(
x)(H G) e ((
x)H G)
E1 = ((x)H G)
E2 = (x)(H G)
E2 equivale E1 para toda inperpretao I, I[E2 ] = I[E1 ].
Mas, I[E2 ] = I[E1 ] {I[E2 ] = F I[E1 ] = F }
I[E2 ] = F I[(x)(H G)] = F
d U ; < x d > I[H G] = F
d U ; < x d > I[H] = F e < x d > I[G] = F
d U ; < x d > I[H] = F e I[G] = F (Como x no ocorre livre em G)
I[(x)H] = F e I[G] = F
I[E1 ] = F
f)
(
x)(H G) e ((
x)H G)
E1 = ((
x)H G)
E2 = (
x)(H G)
Mas, I[E2 ] = I[E1 ] {I[E2 ] = F I[E1 ] = F }
I[E2 ] = F I[(
x)(H G)] = F
143
143
144
ELSEVIER
d U ; < x d > I[H G] = F

d U ; < x d > I[H] = F e < x d > I[G] = F
d U ; < x d > I[H] = F e I[G] = F (Como x no ocorre livre em G)
I[(x)H] = F e I[G] = F
I[E1 ] = F
g)
E1 = (
x)(H G) e E2 = ((
x)H G) considerando que < x d > I[G] = T I[G] = T
E1 eq. E2 int. I, I[E1] = F I[E2] = F
I[E1] = F
I[(
x)(H G)] = F
d U, < x d > I[H G] = F
d U, < x d > I[H] = T e < x d > I[G] = F
d U, < x d > I[H] = T e I[G] = F
I[(
x)H] = T e I[G] = T
I[E2] = F
h)
E1 = (
x)(G H) e E2 = (G (
x)H)
E1 eq. E2 int. I, I[E1] = F e I[E2] = F
I[E1] = F I[(
x)(G H)] = F
d U, < x d > I[(G H)] = F
d U, < x d > I[G] = T e < x d > I[H] = F
d U, I[G] = T e < x d > I[H] = F
I[G] = T e I[(
x)H] = F
I[(G (
x)H)] = F
I[E2] = F
i)
E2 = (x)(H G) e E1 = ((x)H G)
E2 eq. E1 int.I, I[E2] = F I[E1] = F
I[E2] = F I[(x)(H G)] = F
d U, < x d > I[H G] = F
d U, < x d > I[H] = T e < x d > I[G] = F
d U, < x d > I[H] = T e I[G] = F
I[(x)H] = T e I[G] = F
I[E1] = F
144
ELSEVIER
Captulo 10
j)
E1 = (
x)(G H) e E2 = (G (
x)H)
E2 eq. E1 int.I, I[E1] = F e I[E2] = F
I[E1] = F I[(
x)(G H)] = F
d U, < x d > I[G H] = F
d U, < x d > I[G] = T e < x d > I[H] = F
I[G] = T e I[(
x)H] = F
I[G > (
x)H] = F
I[E2] = F
Exerccio 8:
a)
E1 = ( x)(H G) e E2=( x)H ( x)
E1 equivale a E2 interpretao I, I[E1]=T I[E2]=T
I[E1]=T I[( x)(H G)]=T
d U, <x - d> I[(H G)]=T
d U, <x - d> I[H]=T e <x - d> I[G]=T
I[( x) H]=T e I[( x) G]=T
I[( x) H ( x) G]=T
I[E2]=T
b)
E1 = ( x)(H G) e E2=( x)H ( x)G
E2 implica E1 interpretao I, Se I[E2]=T ento I[E1]=T
I[E2]=T I[( x)H ( x)G]=T
d U, <x - d> I[H ( x)G]=T
d U, <x - d> I[H]=T ou I[( x)G]=T
d U, c U, <x - d> I[H]=T ou <x - c> I[G]=T
b U, <x - b> I[H G]=T
I[( x)(H G)]=T
I[E1]=T
E1 no implica E2 interpretao I, Se I[E1]=T ento I[E2]=F

I[E1]=T I[()(H G)]=T
d U, <x - d> I[H G]=T
d U, <x - d> I[H]=T ou <x - d> I[G]=T
I[( x) H]=T ou I[( x) G]=T
I[( x) H ( x) G]=T
I[E2]=T
145
145
146
ELSEVIER
c)
E1= ( x)(H G) e E2=( x) H ( x) G, ento E1 equivale E2.
E1 equivale E2 interpretao I, I[E1]=I[E2]
interpretao I, I[E1]=F I[E2]=F
I[E1]=F I[( x)(H G)]=F
d U, <x - d> I[H G]=F
d U, <x - d> I[H]=F e <x - d> I[G]=F
I[( x)H]=F e I[( x)G]=F
d)
E1eq.E2 int. I, I[E1] = F e I[E2] = F
I[E1] = F I[(
x)(H G)] = F
d U, < x d > I[H G] = F
d U, < x d > I[H] = T e < x d > I[G] = F
I[(
xH) (
x)G] = F
I[E2] = F
e)
Se E1 = (
x)(H G) e E2 = (
x)H (
x)G, ento E2 implica E1, mas E1 no implica E2.
E2 implica E1 int. I, se I[E2] = T, ento I[E1] = T
I[E2] = T I[(
x)(H G)] = T
d U, < x d > I[H G] = T
d U, < x d > I[H] = F e < x d > I[G] = F
I[(x)H] = F e I[(x)G] = F
I[(x)H (x)G] = T
I[E2] = T
f)
E1 no implica em E2, portanto I[E1] = T e I[E2] = F .
Suponha o contra exemplo no universo dos nmeros natuarais.
I[p(x)] = T xI divisvel por 3.
I[q(x)] = T xI mpar.
Nesse caso, I[(x)(p(x) q(x))] = T
d N, < x d > I[p(x)] = T e < x d > I[q(x)] = T
ou
d N, < x d > I[p(x)] = F e < x d > I[q(x)] = F
ou
d N, < x d > I[p(x)] = F e < x d > I[q(x)] = T
146
ELSEVIER
Captulo 10
147
Exerccio 9:
a)
d D, < x d > I[(y)(x)p(x, y)] = I[(y)(x)p(x, y)]
pelo lema 10.1
< x d > I[(y)(x)p(x, y)] = I[(y)(x)p(x, y)]
se e somente se,
< x d > I[(y)(x)p(x, y)] = T I[(y)(x)p(x, y)] = T
mas
< x d > I[(y)(x)p(x, y)] = T c U, < y c >< x d > I[(x)p(x, y)] = T
c U, c U, < x c >< y c >< x d > I[p(x, y)] = T
I[(y)(x)p(x, y)] = T cqd.
b)
d D, < x d > I(x)p(x, y)] = I(x)p(x, y)]
pelo lema 10.1
< x d > I(x)p(x, y)] = I(x)p(x, y)]
se e somente se,
< x d > I(x)p(x, y)] = T I(x)p(x, y)] = T
mas
< x d > I(x)p(x, y)] = T I c U, < x c >< x d > I[p(x, y)] = T
I(x)p(x, y)] = T cqd.
c)
d D, < x d > I[q(y) = I[q(y)] pelo lema 10.1
< x d > I[q(y) = I[q(y)]
se e somente se,
< x d > I[q(y) = T I[q(y)] = T
mas,
< x d > I[q(y)] = T I[q(y)] = T cqd.
147
148
ELSEVIER
Exerccio 10:
a)
b)
Exerccio 11:
a)
H = ( x)( z)( y) p(x,z,y)
Hs = ( x)p(x,g(x),f(x))
I[H] = F I[(x)(z)(y)p(x, z, y)] = F
d U ; < x d > I[(z)(y)p(x, z, y)] = F
d U ; b U ; < z b >< x d > I[(y)p(x, z, y)] = F
d U ; b U ; c U ; < y c >< z b >< x d > I[p(x, z, y)] = F
d U ; b U ; c U ; pi(d, b, c) = F
Portanto, existe um d U tal que para qualquer escolha de b e c, temos que pi(d,b,c) = F.
Dados f e g funes tais que: fi(d)=c e gi(d)=b, logo pi(d,gi(d),fi(d))=F
d U ; b U ; c U ; pi(d, b, c) = F
d U ; pi(d, gi(d), f i(d)) = F , onde f e g sao funes tais que: fi(d)=c e gi(d)=b
d U ; < x d > I[p(x, g(x), f (x))] = F
I[(x)p(x, g(x), f (x))] = F
I[Hs] = F
Como I e uma intepretao qualquer, conclumos que para toda interpretao I, I[Hs]=F.
Portanto, se H e insatisfatvel, ento Hs e insatisfatvel.
b)
Usa induo no comprimento das frmulas.
Exerccio 12:
a)
H = (x)p(x) p(x)
148
ELSEVIER
Captulo 10
149
b)
c)
Exerccio 13:
a)
( *)H equivale a ( *) H
intI, I[()H] = I[()H]
intI, I[()H] = T I[()H] = T
I[()H] = T I[()H] = F I[(x1)...(xn)H] = F
d1 U ; ...; dn U ; < xn dn > ... < xn dn > I[H] = F
d1 U ; ...; dn U ; < xn dn > ... < xn dn > I[H] = T
I[(x1)...(xn)H] = T
I[()H] = T
b)
( *)H equivale a ( *) H
intI, I[()H] = I[()H]
intI, I[()H] = T I[()H] = T
I[()H] = T I[()H] = F I[(x1)...(xn)H] = F
d1 U ; ...; dn U ; < xn dn > ... < xn dn > I[H] = F
I[(x1)...(xn)H] = T
I[()H] = T
c)
( *)H vlida se, e somente se H vlida
intI, I[()H] = T I[H] = T
I[()H] = T I[x1)...(xn)H] = T
I[H] = T
Como H vlida, logo no e necessrio interpretar o quantificador universal para decidir sobre
sua validade, assim,( *) H tambm e vlida.
d)
( *)H satisfatvel se, e somente se H satisfatvel
intI, I[()H] = T I[H] = T
I[()H] = T I[x1)...(xn)H] = T
I[H] = T
Como existe interpretacao que torna ( *)H = T, entao, existe interpretacao que torna H=T
149
150
ELSEVIER
e)
H ` G int I; I[H]=T ento I[G]=T
intI; I[H G] = T
intI; I[()H G] = T
f)
H = G int I; I[H]=I[G]
intI; I[H G] = T
intI; I[()H G] = T
Exerccio 14:
a)
b)
c)
d)
Exerccio 15:
a)
H = (p(x) p(x)).
b)
H = (p(a) p(a)).
c)
H = (p(x) (x)p(x)).
d)
No. Se uma dada frmula vlida, ento a inserco o quantificador universal no altera sua
validade.
150
ELSEVIER
Captulo 10
151
Exerccio 16:
a)
b)
c)
Exerccio 17:
a)
b)
c)
d)
Exerccio 18:
a)
b)
c)
d)
e)
f)
g)
Toda mulher bonita, inteligente e sensvel observada. Nenhuma filha de Sr. Arnaldo observada.
Mulher que no observada no se casa, portanto as filhas do Sr. Arnaldo no se casaro.
Seja I uma interpretao sobre um conjunto de pessoas.
I[p(x)] = T xI mulher bonita, inteligente e sensvel.
I[q(x)] = T xI observada
I[r(x,y)] = T xI filha de yI
I[a] = Arnaldo
I[s(x)] = T xI se casa.
(x)(y)((p(x) q(x)) (r(y, a) q(x)) (q(x) s(x))) (r(y, a) s(y))
151
152
ELSEVIER
h)
Se h f h amor. Se h amor h paz. Se h paz h Deus.Se h Deus nada faltar.
Seja I uma interpretao sobre os sentimentos de uma pessoa.
I[p(x)] = T xI tem f.
I[q(x)]=T xI tem amor.
I[r(x)]=T xI tem paz.
I[s(x)]=T xI tem Deus.
I[p1 (x)]=T nada faltar a xI .
(( x)(p(x) q(x))) (( x) (q(x) r(x)) ) ( x)(r(x) s(x))( x s(x) p1 (x) )
i)
Quem no se ama no ama ningum
Seja I uma interpretao sobre um conjunto de Pessoas:
I[p(x,y)] = T xI no ama yI
(x)(x)((p(x, x) p(x, y))
j)
Uma condio necessria e suficiente para que um individuo seja produtivo que ele seja esforado,
trabalhe muito e tenha inspiraes.
Seja I uma interpretao sobre o conjunto de pessoas tal que I[p(x)]=T xI produtivo,
I[q(x)]=T xI esforado, trabalhe muito e tenha inspiraes. A traduo da sentena na lgica
de predicados H=(x)(p(x) q(x)).
Supondo I[H]=F
I[( x)(p(x) q(x))] = F
Mas I[(x)(p(x) q(x))] = F d D, <x d> I[p(x) q(x)] =F
d D, <x d> I[p(x)]=T e <x d> q(x)] =F
ou ainda
d D, <x d> I[p(x)]=F e <x d> q(x)] =T
d D, pI (d)=T e qI (d)=F
ou ainda
d D, pI (d)=F e qI (d)=T
Acima no aconteceu nenhum absurdo, logo possvel ter interpretao falsas.
Supondo a sentena verdadeira, tambm no possvel encontrar nenhum absurdo.
Concluso: A traduo da sentea pode nos dar interpretaes verdadeiras e interpretaes
falsas. O que nos permite dizer que satisfatvel, mas no tautologia.
152
ELSEVIER
Captulo 10
153
Exerccio 19:
H1 = Toda mulher dcil tem um amado.
H2 = Se existe mulher dcil, toda mulher tem um amado.
Seja I uma interpretao sobre o conjunto das pessoas tal que
I[p(x)] = T xI mulher
I[s(x)] = T xI dcil
I[q(x)] = T xI homem
I[r(x,y)] = T xI ama yI
H1 = (x)((p(x) s(x)) (y)(q(y) r(y, x)))
H2 = (x)(p(x) s(x)) (x)(y)(q(y) r(y, x))
a)
H1 no implica H2 , logo a afirmao falsa.
b)
H2 implica H1 .
Exerccio 20:
A sentena representada por: H = ((x)(p1 (x) r(x) s(x)) (x)(p1 (x) (p(x) r(x)))
(x)(q(x) r1 (x))) (x)(p(x) r(x) q(x))
153
11
Programao Lgica
Exerccio 1:
a)
b)
c)
Exerccio 2:
a)
= {x f (x, y), y g(x, y), z x, x z, y x}
= {x f (z, x), y g(z, x), z z, x z, y x}
= {x f (z, x), y g(z, x)}
= {x z, y x, x f (x, y), y g(x, y), z x}
= {x z, y z, x f (x, y), y g(x, y), z x}
= {x z, y z, z x}
b)
= {x - y, y - z, z - x}
= {x - z, y - x}
=
=
=
=
{x
{x
{x
{y
y , y - z , z - x , x - z, y - x}
x, y - z, z - z, x - z, y - x}
x, y - z, z - z}
z}
156
{x - z , y - x , x - y, y - z, z - x}
{x - x, y - y, x - y, y - z, z - x}
{x - x, y - y, z - x}
{z - x}
=
=
=
=
ELSEVIER
Exerccio 3:
o mais geral que , pois:
= {x f (x), y z, w z}
= {x g(x, y, z){x f (x), y z, w z}, z w{x f (x), y z, w z}, x f (x), y
z, w z}
= {x g(f (x), z, z), z z, x f (x), y z, w z}
= {x g(f (x), z, z), y z, w z}
cqd.
Exerccio 4:
a)
o mais geral que e mais geral que ;
Supondo que: = {y x}, = {x y} e {x y}
por definio: =
= {y x}
= {y x, }
= {(y x, x y), x y}
= {y y, x y}
= {x y} cqd.
Supondo agora que {y x}
por definio: =
= {x y}
= {x y, }
= {(x y, y x), y x}
= {x x, y x}
= {y x} cqd.
b)
= {}, e = {}.
Supondo que: {x y, y x} e = {y x, x y}
= {x y, y x, }
= {x x, y y, y x, x y}
156
ELSEVIER
Captulo 11
= {x x, y y}
= {} cqd.
= {y x, x y, }
= {y y, x x, x y, y x}
= {y y, x x}
= {} cqd.
Exerccio 5:
a)
S = { p(x) q(z), p(g(z)) q(x) }
Passo 1: k = 0, 0 = {}
Passo 2: k = 0, 0 = {}
- |S0 | 6= 1, D0 = {x, g(z)}
Passo 3: x no ocorre em g(z)
- 1 = {x - g(z)}, k = 1
Passo 2: k = 1, 1 = {x - g(z)}
- |S1 | 6= 1, D1 = {z, g(z)}
Passo 3: z no ocorre em g(z)
- S no unificvel.
b)
S = { p(x, h(y), f(g(a))), p(a, w, f(z)), p(y, h(x), f(g(b))) }
Passo 1: k = 0, 0 = {}
Passo 2: k = 0, 0 = {}
- |S0 | 6= 1, D0 = {x, a}
Passo 3: x no ocorre em a
- 1 = {x - a}, k = 1
Passo 2: k = 1, 1 = {x - a}
- |S1 | 6= 1, D1 = {y, a}
Passo 3: y no ocorre em a
- 2 = {y - a}, k = 2
Passo 2: k = 2, 2 = {x - a, y - a}
- |S2 | 6= 1, D2 = {w, h(a)}
Passo 3: w no ocorre em h(a)
- 3 = {w - h(a)}, k = 3
Passo 2: k = 3, 3 = {x - a, y - a, w - h(a)}
- |S3 | 6= 1, D3 = {z, g(a)}
Passo 3: z no ocorre em g(a)
- 4 = {z - g(a)}, k = 4
Passo 2: k = 4, 4 = {x - a, y - a, w - h(a), z - g(a)}
- |S4 | 6= 1, D4 = {g(a), g(b)}
Passo 3: no existe varivel em D4 . S no unificvel
157
157
158
ELSEVIER
c)
S={p(x, f (y)) q(z), p(a, f (g(y))) q(w)}
passo 1: k=0 0 = {}
passo 2: S0 = S{}=S
|S0| =
6 1 D0 = {x,a}
passo 3: x,a D0, e x no ocorre em a
1 = 0 {x-a} = {x-a}
k=1
passo 2: S1 = {p(a,f(y)) q(z), p(a,f(g(y))) q(w))}
|S1| =
6 1 D1 = {y,g(y)}
passo 3: y,g(y) D1, mas y ocorre em g(y) Pare!
Logo S no e unificvel.
d)
S={p(x, f (y)) q(z), p(g(z), f (w)) q(w), p(y, f (g(b))) q(g(c))}
passo 1: k=0 0 = {}
passo 2: S0 = S{}=S
|S0| =
6 1 D0 = {x,y, g(z)}
passo 3: x,y, g(z) D0, e x e y no ocorrem em g(z)
1 = 0 {x-g(z), y-g(z)} = {x-g(z), y-g(z)}
k=1
passo 2: S1 = {p(g(z),f(g(z))) q(z), p(g(z),f(w)) q(w), p(g(z), f (g(b))) q(g(c))}
|S1| =
6 1 D1 = {g(z),w, g(b)}
passo 3: g(z),w, g(b) D1, e w e z no ocorrem em g(b)
2 = 2 {z-b, w-g(b)} = {x-g(b), y-g(b), z-b, w-g(b)}
k=2
passo 2: S2 = {p(g(b),f(g(b))) q(b), p(g(b),f(g(b))) q(g(b)), p(g(b), f (g(b))) q(g(c))}
|S2| =
6 1 D2 = {b,g(b),g(c)}
passo 3: No h variveis em D2
Logo S no unificvel.
e)
S = p(x,f(g(a))), p(a,f(z)), p(y,f(g(b)))
158
ELSEVIER
Captulo 11
Passo 1. k = 0, 0 = {}
Passo 2. S0 = S = {p(x, f (g(a))), p(a, f (z)), p(y, f (g(b)))}
D0 = {x, a}
Passo 3. 1 = {}{a x} = {a x}
k=1
Passo 2. S1 = {p(x, f (g(x))), p(x, f (z)), p(y, f (g(b)))}
D1 = {x, y}
Passo 3. 2 = {a x}{y x} = {a x, y x}
k=2
Passo 2. S2 = {p(x, f (g(x))), p(x, f (z)), p(x, f (g(b)))}
D2 = {g(x), z}
Passo 3. 3 = {a x}{y x}{z g(x)} = {a x, y x, z g(x)}
k=3
Passo 2. S3 = {p(x, f (g(x))), p(x, f (g(x)), p(x, f (g(b)))}
D3 = {b, x}
Passo 3. 4 = {a x, y x, z g(x)}{b x} = {a x, y x, z g(x), b x}
k=4
Passo 2: S4 = {p(x, f (g(x))), p(x, f (g(x))), p(x, f (g(x)))}
Pare! 4 um umg de S.
Exerccio 6:
a)
S = {p(x, h(y), f (g(a))), p(a, w, f (z)), p(y, h(x)), f (g(b)))}
Passo 1. k = 0, 0 = {}
Passo 2. S0 = S = {p(x, h(y), f (g(a))), p(a, w, f (z)), p(y, h(x), p(g(b)))}
D0 = {x, a, y}
Passo 3. 1 = {a x, y x}
k=1
Passo 2. S1 = {p(x, h(x), f (g(x))), p(x, w, f (z)), p(x, h(x), f (g(b)))}
D1 = {h(x), w}
Passo 3. 2 = {a x, y x}{w h(x)} = {a x, y x, w h(x)}
k=2
159
159
160
ELSEVIER
Passo 2. S2 = {p(x, h(x), f (g(x))), p(x, h(x), f (z))), p(x, h(x), f (g(b)))}
D2 = {g(x), z}
Passo 3. 3 = {a x, y x, w h(x)}{z g(x)} = {a x, y x, w h(x), y g(x)}
k=3
Passo 2. S3 = {p(x, h(x), f (g(x))), p(x, h(x), f (g(x))), p(x, h(x), f (g(b)))}
D3 = {x, b}
Passo 3. 4 = {a x, y x, w h(x), z g(x), b x}
k=4
Passo 2. S4 = {p(x, h(x), f (g(x))), p(x, h(x), f (g(x))), p(x, h(x), f (g(x)))}
Pare! 4 um umg de S.
b)
S={p(x) q(z), p(g(z)) q(x)}
passo 1: k=0 0 = {}
passo 2: S0 = S{}=S
|S0| =
6 1 D0 = {x,g(z)}
passo 3: 1 = 0 {x-g(z)} = {x-g(z)}
k=1
passo 2: S1 = {p(g(z)) q(z), p(g(z)) q(g(z))}
|S1| =
6 1 D1 = {z, g(z)}
passo 3: 2 = 2 {z-g(z)} = {x-g(g(z)), z-g(z)}
k=2
passo 2: S2 = {p(g(g(z))) q(g(z)), p(g(g(z))) q(g(g(z)))}
|S2| =
6 1 D2 = {z,g(z)}
passo 3: No unificvel.
O processo continua infinitamente.
c)
S={p(x, f (y)) q(z), p(a, f (g(y))) q(w)}
passo 1: k=0 0 = {}
passo 2: S0 = S{}=S
|S0| =
6 1 D0 = {x,a}
160
ELSEVIER
Captulo 11
161
passo 3: 1 = 0 {x-a} = {x-a}

k=1
passo 2: S1 = {p(a,f(y)) q(z), p(a,f(g(y))) q(w)}
|S1| =
6 1 D1 = {y, g(y)}
passo 3: 2 = 2 {y-g(y)} = {x-a, y-g(y)}
k=2
passo 2: S2 = {p(a,f(g(y))) q(z), p(a,f(g(g(y)))) q(w)}
|S2| =
6 1 D2 = {y,g(y)}
passo 3: No unificvel.
O processo continua infinitamente.
Exerccio 7:
a)
b)
Exerccio 8:
O passo 3 do algoritmo da unificaco trata de verificar se existe uma variavel x e um termo t em
Dk , tal que x no ocorre em t. Se tal varivel existe, o algoritmo faz a composico do conjunto k
com o conjunto {x - t}.
Dessa forma, a varivel x no aparecer nos conjuntos diferenca Dk subsequentes, e assim ela no
ser mais escolhida pelo algoritmo.
Exerccio 9:
Seja S um conjunto de expresses da lgica de predicados. Se S unificvel, o algoritmo determina
um umg de S; caso contrrio, ele indica que S no unificvel.
Ou seja, o algoritmo sempre para, sendo S unificvel ou no.
Do algoritmo, tem-se que as condies de parada so:
1. |Sk | = 1 (passo 1)
2. x, t Dk , tal que x ocorre em t (passo 2)
A partir disso:
1. Se S unificvel, k , tal que k um umg de S, logo |Sk | = 1 (condio 1).
161
162
ELSEVIER
2. Se S no unificvel, @k , tal que k um umg de S, logo |Sk | 6= 1. Mas, se |Sk | 6= 1, ento

Dk 6= {}, logo x, t Dk .
Entretanto, se @k , tal que k um umg de S e x, t Dk , logo x, t Dk , tal que x
ocorre em t (condio 2).
162

Lógica para Ciencia Da Computaçao - Joao Nunes Souza

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Lógica para Ciencia Da Computaçao - Joao Nunes Souza

Enviado por

Direitos autorais:

Formatos disponíveis

JOO NUNES de SOUZA

ATENO. Verso preliminar de soluo de

LGICA para CINCIA da

Uma introduo concisa

Parte I LGICA PROPOSICIONAL

A linguagem da Lgica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

A semntica da Lgica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

Propriedades Semnticas da Lgica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

Mtodos para determinao de Propriedades Semnticas de Frmulas da

Relaes semnticas entre os conectivos da Lgica Proposicional . . . . . . . . . . . . . 67

Um sistema axiomtico e um sistema de deduo natural na Lgica

Tableaux semnticos e resoluo na Lgica Proposicional . . . . . . . . . . . . . . . . . . . . 81

Parte II LGICA DE PREDICADOS

A linguagem da Lgica de Predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117

A semntica da Lgica de Predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121

10 Propriedades semnticas da Lgica de Predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135

LGICA para CINCIA da COMPUTAO

LGICA para CINCIA da COMPUTAO

Exerccio 10: Seja H uma frmula que no contm o conectivo .

LGICA para CINCIA da COMPUTAO

R (Q R) (P R) (P R) (P R) (Q R) ((P R) (P R)) P ((Q R) ((P R) (P R)))

No caso da interpretao I, o valor verdade para esta frmula "T". J[Q]=F.

R (Q R) (P (Q R)) (P Q) ((P Q) R) (P (Q R)) ((P Q) R)

No caso da interpretao I, o valor verdade para esta frmula "T". J[R]=F.

LGICA para CINCIA da COMPUTAO

Q (P Q) (P Q) (P Q) ((P Q) P) ((P Q) Q) (((P Q) P) ((P Q) Q)) (P Q) (((P Q) P) ((P Q) Q))

g) (P Q) (((P Q) P) ((P Q) Q))

No caso da interpretao I, o valor verdade para esta frmula "T". J[Q]=T.

No caso da interpretao I, o valor verdade para esta frmula "T". J[R]=F.

No caso da interpretao I, o valor verdade para esta frmula "T".

LGICA para CINCIA da COMPUTAO

Repita este exerccio supondo I[P Q] = F

Se I[P] = T, temos que I[H] = T, pois, I[P

LGICA para CINCIA da COMPUTAO

LGICA para CINCIA da COMPUTAO

Exerccio 1: Demonstre se as afirmaes so verdadeiras.

LGICA para CINCIA da COMPUTAO

e) Se I[(E G)] = T , ento I[E] = I[G] = T

LGICA para CINCIA da COMPUTAO

Exerccio 5: Considere as frmulas: A, B, C e D. Demonstre que A, B,

c) H tautologia, se, e somente se, H contraditria.

LGICA para CINCIA da COMPUTAO

Exerccio 8: Demonstre se as afirmaes a seguir so verdadeiras ou

Logo se I[H] = F I[H] = T

LGICA para CINCIA da COMPUTAO

para toda interpretao I, I[H] = F

Portanto verdade afirmar que se H contraditria, ento H satisfatvel

i) (H G) equivale a G H uma tautologia

Contra Exemplo H=P e G=P

Como podemos observar, (H G) no equivale a G.

Como podemos observar, temos que H implica semanticamente G e G tautologia mas H

LGICA para CINCIA da COMPUTAO

n) H uma tautologia ou G uma tautologia ento H contraditria.

LGICA para CINCIA da COMPUTAO

(H E) (G E) se, e somente se, (H E) (G E) tautologia

LGICA para CINCIA da COMPUTAO

r) As frmulas contraditrias so equivalentes entre si.

b) H tautologia e G contraditria (H G) contraditria.

LGICA para CINCIA da COMPUTAO

Exerccio 13: Classifique as afirmaes a seguir em verdadeiras ou falsas.

LGICA para CINCIA da COMPUTAO

LGICA para CINCIA da COMPUTAO

Portanto (H G) (H (H G)) tautologia,