Solucao Exercicios Logica

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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2 A semntica da Lgica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3 Propriedades Semnticas da Lgica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4 Mtodos para determinao de Propriedades Semnticas de Frmulas da
Lgica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5 Relaes semnticas entre os conectivos da Lgica Proposicional . . . . . . . . . . . . . 67
6 Um sistema axiomtico e um sistema de deduo natural na Lgica
Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
7 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
9 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 denio 1.2.
b)
uma frmula da Lgica Proposicional. No possvel obt-la a partir da denio 1.2.
c)
d)
No uma frmula da Lgica Proposicional. No possvel obt-la a partir da denio 1.2.
e)
Exerccio 2:
a)
Sim. Somente quando a frmula for composta de um nico smbolo verdade ou um smbolo propo-
sicional, caso contrrio sempre existir, mesmo que omitido.
8 LGICA para CINCIA da COMPUTAO ELSEVIER
b)
So 4. Smbolos de Pontuao, smbolos proposicionais, smbolos de verdade e conectivos proposi-
cionais.
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 9
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 PR
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
9
Exerccio 7:
Exerccio 8:
Exerccio 9:
A paridade par, pois por denio 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 unicao da linguagem, diz respeito aos smbolos. Semntica o signicado ou
interpretao dos objetos sintticos.
Exerccio 3:
No. Na lgica, para que uma disjuno seja verdadeira, no necessrio nenhuma relao entre
suas alternativas.
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 Q P ( P Q) (P Q) ( P Q) (P Q)
T T F T T T
T F F T F F
F T T T T T
F 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
P Q 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 T T
T T F F F T T T
T F T T T T T T
T F F T F T T T
F T T T T T T T
F T F F T T T T
F F T T T T T T
F F F T T T T T
P Q P Q (P Q) (P Q) P
T T F F F T
T F F T T F
F T T F T T
F 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 Q P Q P
T T F F
T F F T
F T T T
F 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 Q R (Q R) (P (Q R)) (P Q) ((P Q) R) (P (Q R)) ((P Q) R)
T T T T T T T T
T T F F F T F T
T F T T T F T T
T F F T T F T T
F T T T T F T T
F T F F T F T F
F F T T T F T T
F F 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 R P (R P) (P R) (R P) (P R)
T T F F T F
T F F F F T
F T T T F F
F F T F F T
No caso da interpretao I, o valor verdade para esta frmula "T". J[R]=F.
13
P 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 T
T F F F T F F F T
F T T F T T T T T
F 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 R false Q (false Q) R
T T T T
T F T F
F T T T
F 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 R (P false) (P false) R
T T F F
T F F T
F T T T
F 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
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
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
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)
Se I[P] = T, temos que I[H] = T, pois, I[
P F] = T, no importando o valor de

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
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 car
infeliz.
p = Maurcio vir festa
q = Ktia vir festa
r = Ktia car 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 = p q
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 quanticador para todo, considerado apenas na Lgica de Predicados.
b)
O termo Possivelmente considerado na Lgica Modal.
18
c)
O tempo considerado na Lgica Temporal.
d)
e)
f )
g)
h)
i)
j)
k)
O quanticador "Toda", que considerado na lgica predicados.
l)
"quase todo" Considerado em Lgicas no Clssicas.
19
m)
"poucos" considerado em Lgicas no Clssicas.
n)
A sentena acima pode ser representada na Lgica Proposicional pela frmula P.
20
3
Propriedades Semnticas da Lgica Proposicional
Exerccio 1: Demonstre se as armaes 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 signica que (E H) tautologia.
b) (E G) tautologia, se, e somente se, (E G) so tautologias, ento (E H)
tautologia.
Esta armao 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] ,= I[G]
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 Q H G
T T T T
T F F T
F T F F
F F F F
H G
Pois, Int I; I[H]=T I[G]=T
b)H= P Q, G=P
P Q H G
T T T T
T F T T
F T T F
F F F F
H G
Int I; I[H]=T ento I[G]=F
c)H= P Q, G=False
P Q Q H G
T T F T F
T F T T F
F T F T F
F F T T F
H G
Int I; I[H]=F.
d)H=False, G=P
H G
Int I; I[H]=F.
22
e)H=P, G=True
H G
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)
H
7
H
5
, H
5
H
7
.
f )
No. As colunas devem ser equivalentes.
g)
No.
h)
6: {H
1
, H
2
, H
3
, H
4
, H
6
, H
9
}
23
i)
Tautologia: H
1
Satisfatveis: H
2
, H
3
, H
4
, H
5
, H
6
, H
7
, H
8
, H
9
Contraditria: H
10
j)
H
1
= ((P Q) (P Q)) H
2
= (P Q) H
3
= (P Q) H
4
= (P Q) H
5
= (P Q)
H
6
= ((Q Q) P) H
7
= ((Q Q) P) H
8
= (P Q) H
9
= (P Q) H
10
=
((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.
Armao verdadeira.
b) H satisfatvel, se, e somente se, H no contraditria.
H satisfatvel existe interpretao I; I[H]=T
H no contraditria.
Armao verdadeira.
24
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.
Armao verdadeira.
d) H no tautologia, se, e somente se, H contraditria.
H no tautologia existe interpretao I; I[H]=F
Armao falsa pois no necessariamente H contraditria.
Exerccio 7:
a)
No, H ,= G e P ,= 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
g)
Sim.
h)
Sim.
i)
No.
Exerccio 8: Demonstre se as armaes a seguir so verdadeiras ou
falsas.
a) H satisfatvel, se e somente se, H satisfatvel
Demonstrao. A ida: H satisfatvel H satisfatvel.
Por denio, 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 armao: H satisfatvel H satisfatvel falsa.
Demonstrao. A volta: H satisfatvel H satisfatvel.
Por denio, 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 armao: H satisfatvel H satisfatvel verdadeira.
CONCLUSO: A armao 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 denio, H contraditria interpretao I;I[H] = F
26
interpretao I; I[H] = T
I[H] tautologia
I[H] satisfatvel
Logo a armao: H contraditria H satisfatvel verdadeira
Demonstrao A volta: H satisfatvel H contraditria.
Por denio, H satisfatvel uma interpretao I;I[H] = T
uma interpretao I; I[H] = F
I[H] no contraditria
Logo a armao: H satisfatvel H contraditria falsa
CONCLUSO: A armao 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 denio, H tautologia interpretao I;I[H] = T
interpretao I; I[H] = F
I[H] contraditria
Logo a armao: H tautologia H contraditria verdadeira
Demonstrao A volta: H contraditria H tautologia.
Por denio, H contraditria interpretao I;I[H] = F
interpretao I; I[H] = T
I[H] tautologia
Logo a armao: H contraditria H tautologia verdadeira
CONCLUSO: A armao 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
No podemos armar que se H satisfatvel, ento H tautologia. Portanto, falso armar 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 armar 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 armar 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

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

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

I, I[H]=T I; I[H G] = I[G]
I, I[H] I[G] = I[G]
T I[G] = T e no a I[G]
28
i) (H G) equivale a G H uma tautologia

I, I[H G] = I[G] I;I[H]=T
I, I[H] I[G] = I[G]
Contra Exemplo H=P e G=P
(PP) = P, porm no tautologia
j) Se H satisfatvel, ento (H G) equivale a G.
H G H G
T T T
T F T
F T T
F 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 Q P H G
T T F T T
T F F F T
F T T F T
F F T F T
Como podemos observar, temos que H implica semanticamente G e G tautologia mas H
no. Logo a armao 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 armao 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 armo
falsa.
29
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 armao falsa.
o) H = G (H E) |= (G E)
H = false
G = P
E = false
false [= P T [= F
I[T F] = F : Logo a armao falsa
p) Se |= H e |= (G H), ento |= G.
A armao 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 armao verdadeira.
q) Se H satisfatvel e (H G) satisfatvel, ento G satisfatvel.
A armao 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 armar que G satisfatvel, e portanto a armao falsa.
r) Se H satisfatvel e |= (H G), ento G satisfatvel.
A armao verdadeira.
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 armao verdadeira.
30
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 denio, 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 armao verdadeira.
e)
Se H G ento (H E) (G E)
Logo, H G implica (H E) (G E)
Mas, por denio, H G int. I, se I[H] = T ento I[G] = T e, pela proposio 3.4,
31
(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) (G E), H G no implica (H E) (G E), ento a armao
falsa.
f )
Se H G ento (G E) (H E)
Logo, H G implica (G E) (H E)
Mas, por denio, 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) (H E), H G implica (G E) (H E), ento a armao
falsa.
g)
h)
i)
j)
Por denio temos que H contraditria int I,I[H] = F
logo ,I[H] = T, portanto H ,[= E e armao falsa
32
k)
Por denio 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 Armao verdadeira
l)
(H
1
H
2
... H
n
) tautologia int I, I[H
1
H
2
... H
n
] = T
= int I; I[H
1
H
2
... H
n
] = T
Portanto H
1
H
2
... H
n
satisfatvel
Armao verdadeira
m)
Se {H
1
, H
2
, ...., H
n
} satisfatvel, ento {H
1
H
2
.... H
n
} tautologia.
n)
Se {H
1
, H
2
, ...., H
n
} satisfatvel, ento {H
1
H
2
.... H
n
} satisfatvel.
o)
{H
1
, H
2
, ...., H
n
} insatisfatvel, se e somente se, (H
1
H
2
.... H
n
) tautologia.
p) Se = {H
1
, H
2
,... H
n
} satisfatvel,ento H
1
, H
2
,...,H
n
so equivalentes entre
si.
FALSO, pois: {H
1
, H
2
,...,H
n
} satisfatvel Int. I, I[H
1
, H
2
,...,H
n
]=T. Entretanto, I[H
1
,
H
2
,...,H
n
]=T Int. I,I[H
1
H
2
,... H
n
]=T, ou seja, I[H
1
]=I[H
2
]=...= I[H
n
]=T,
Mas a denio de equivalncia nos diz que I[H
1
]=I[H
2
]=...= I[H
n
], podendo o conjunto
= T, ou = F.
Se = F, ento o conjunto = {H
1
, H
2
,...H
n
} no satisfatvel, contrariando a armao
inicial.
q) Se H satisfatvel,ento existem innitas interpretaes I, tais que I[H]=T.
FALSO, pois pode existir uma ou mais, mas no innitas.
33
r) As frmulas contraditrias so equivalentes entre si.
VERDADEIRO, pois:
O conjunto = {H
1
, H
2
,...H
n
} contraditrio I[H
1
]=I[H
2
]=...= I[H
n
]=F, o que a
denio 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 sat-
isfatveis 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 denio
de equivalncia diz que as interpretaes das frmulas devem ser iguais para que elas sejam equi-
valentes, 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 denies de contraditria e implicao temos que:
H contraditria interpretao I, I[H] = F
interpretao I, I[H G] = T
(H G) tautologia.
34
b) H tautologia e G contraditria (H G) contraditria.
Utilizando as denies 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.
A armao verdadeira.
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".
A armao verdadeira.
35
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 G existe int. I, I[H] = T e I[G] = F.
H 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: Classique as armaes a seguir em verdadeiras ou falsas.
Justique 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 H
1
, H
2
, ....H
n
um conjunto satisfatvel de frmulas, ento para toda
interpretao I, I[H
i
] = T.
Falsa. Se H
1
, H
2
, ....H
n
um conjunto satisfatvel interpretao I; I[H
i
] = T. Isto no quer
dizer que sejam todas as interpretaes. cqd.
36
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
Exerccio 16:
a) Utilizando as denies 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 con-
tradizer a armao.
b) Utilizando as denies 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 armao.
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 ((H)) ((H)) H
T T T
F F T
H G (H G) (H (G)) (H G) (H (G))
T T F F T
T F T T T
F T F F T
F F F F T
H G (H G) (H G) (H G) (H G)
T T F F T
T F T T T
F T T T T
F F F F T
H G (H G) (H G) (H G) (H G)
T T F F T
T F T T T
F T T T T
F F F F T
Exerccio 2:
1. (H G) (H G)
(H G) (H G) e (H G) (H G)
F T F F T F F T T F F F F F

Abs. Abs.
2. (H G) ((H G) G)
(H G) ((H G) G) e ((H G) G) (H G)
T T F F T T F F F F T F T F F F F F

Abs. Abs.
3. (H G) (H (H G))
(H G) (H (H G)) e (H (H G)) (H G)
T T T F T F T T T T T T F F F T F F

Abs. Abs.
Exerccio 3:
Exerccio 4:
Para provar que (H G) (H (HG)) tautologia utilizaremos o mtodo de tabela verdade
conforme abaixo:
H G (H G) (H G) (H (H G)) (H G ) (H (H G ))
T T T T T T
T F F F F T
F T T F T T
F 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 ver-
dade conforme abaixo:
40
H G (H G) ( G H) (H G) (H (H G))
T T T T T
T F F F T
F T T T T
F 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 gura 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 T T F T T F T F

Suponha que I[(H G) ((H G) (H G))] = F, como indicado na gura 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 T T F F T F T F T T T F

Exerccio 6: (H G) ((H G) ( H G)).
H G H G H G H G (H G) (H G) H
T T T T F T T
T F F F F F T
F T F F F F T
F F T F T T T
41
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 G E (H (G E)) ((H G) (H E)) (H (G E)) ((H G) (H E))
T T T T T T
T T F T T T
T F T T T T
T F F F F T
F T T F F T
F T F F F T
F F T F F T
F F F 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 G E ((H (G E)) ((H G) (H E)) ((H (G E)) ((H G) (H E))
T T T T T T
T T F T T T
T F T T T T
T F F T T T
F T T T T T
F T F F F T
F F T F F T
F F F 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:
((HG)H) (H(GH)), ((HG)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 = ((HG)
42
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:
( ( H G ) H ) ( H ( G H ) )
F F F F T F F
Logo, se I[H] = F independente de I[G], a frmula verdadeira.
Semntica n 4:
( ( H G ) H ) ( H ( G H ) )
T
Logo a frmula verdadeira para I[H] = T e I[G] = T.
Semntica n 5:
( ( H G ) H ) ( H ( G H ) )
F F F T F F F
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
H G H G G H H H (H G) (G H) (((H G) (G H)) (H H))
T T T T T T T
T F F T T F T
F T T F T F T
F F T T T T T
H G H G G H H H (H G) (G H) (H G) (G H)) (H H)
T T T T T T T
T F F F T F T
F T F F T F T
F 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 armao, 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 ( H G ) ) H
T T T T
Apenas com a interpretao de H conclui-se que a frmula verdadeira, independente de G.
Semntica n 3:
( H ( H G ) ) 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
(H (H G)) H
Semntica n 2:
( H ( H G ) ) H
T T T T
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 ( H G ) ) 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 (HH), H (HH), H (H(HG)), H (H(HG))
Considere a seguinte demonstrao utilizando o mtodo da tabela verdade, associada a fr-
mula 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
H H tautologia.
H H tautologia.
H (H H) tautologia.
H (H H) tautologia.
Considere ainda a demostrao utilizando o mtodo de tabela verdade associada as frmulas
H e G.
H G H G H G H (H G) H (H G) H (H (H G)) H (H (H G))
T T T T T T T T
T F F T T T T T
F T F T F F T T
F F F F F F T T
H (H (H G)) tautologia.
H (H (H G)) tautologia.
Portanto o conjunto de frmulas tautologia. cqd.
Exerccio 13:
H G H G H G (H) (G) (H G) ((H) (G))
T T F F T T T
T F F T F F T
F T T F F F T
F F T T T T T
H G H G G H (H G) H H (G H) ((H G) H) ( H (G H))
T T T T T T T
T F F T T T T
F T F F T T T
F F F T T T T
H G H H G (H H) H (G (H H))
T T T T T
T F T T T
F T T T T
F 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
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 G E ((H G) E) ((H E) G
T T T T T F T T
T T F T F T F T
T F T F T F T T
T F F F T T T T
F T T F T F T T
F T F F T F T T
F F T F T F T T
F F F F T F T T
47
Exerccio 17:
H = (true) false
Utilizando o mtodo da negao, temos:
H = (true) false
F
Como I[H] = F, ento
I[true] = F e I[false] = T, ou I[true] = T e I[false] = F.
Em ambos os casos temos um absurdo, pois por denio I[true] = F e I[false] = F.
Logo H tautologia.
H = (false) true
H = (false) true
F
Como I[H] = F, ento
I[false] = T e I[true] = F, ou I[false] = F e I[true] = T.
Novamente, em ambos os casos temos um absurdo, pois por denio I[false] = 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 denio I[true] = T e I[H] j havia sido denido com T ante-
riormente.
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 denido como F.
Portanto, G tautologia.
G = (H false) false
G = (H false) false
F
48
G = (H false) false
F F T
Temos aqui um absurdo, pois por denio I[false] = F.
G = (H false) false
T F F
Como I[H true] = T, ento
I[H] = T e I[false] = T.
Novamente temos um absurdo, pois I[false] = F por denio.
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 denio I[true] = T. Alm disso I[H] havia sido denido ante-
riormente como T.
G = (H true) true
T F F
Novamente temos um absurdo, pois I[true] = T por denio.
Exerccio 18:
Para provar que (H false) H tautologia utilizaremos o mtodo de tabela verdade conforme
abaixo:
H (H false) H (H false) ( 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
Exerccio 19:
H true false false H (false H) true
T T F T T
F T F T T
H true (true H) H (true H)
T T T T
F T F T
H false (false H) H (false H)
T F T T
F F F 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) (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 TF F
Abs.
Existe absurdo, logo (P Q) (P Q)
d) (P Q) (P Q) (P Q) (P Q) tautologia
50
(PQ)(PQ)
TTF F TF 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)
F T F F T F F
No existe absurdo, logo (P Q) (Q P)
(PQ)(PQ)
T F F
51
Possibilidade 1
(PQ)(PQ)
TTF F TF F
Abs.
Posibilidade 2
(PQ)(PQ)
F TT F F F T
Como existe apenas um absurdo, logo (P Q) (P Q)
(PQ)(PQ)
TTF F TF F
Abs.
(PQ)(P Q)
F TT F T F F
(PQ)(PQ)
T F F
Possibilidade 1
(PQ)(PQ)
TTT F TF F
Possibilidade 2
(PQ)(PQ)
F T F FF
iii (P Q) G
52
(PQ)(PQ)
TTF F F FF
(PQ)(QP)
FTF F T F F
Abs.
Existe absurdo, logo (P Q) (Q P)
(PQ)(PQ)
T F F
Possibilidade 1
(PQ)(PQ)
TTF F TF F
Possibilidade 2
(PQ)(PQ)
TTF F TF F
(PQ)(PQ)
TTF F TF F
(PQ)(P Q)
FTT F T F F
(PQ)(PQ)
T F T
53
Possibilidade 1
(PQ)(PQ)
TTT T TF F
Possibilidade 2
(PQ)(PQ)
FTF F FF T
iv (P Q) G
(P Q) (P Q)
T T F F F F F
Abs.
(P Q) (Q P)
F T F F T F F
No existe absurdo, logo (P Q) (Q P)
(P Q) (P Q)
T F F
Possibilidade 1
(P Q) (P Q)
T T T F T F T
Abs.
Possibilidade 2
(P Q) (P Q)
F T F F F F F
Abs.
Existe absurdo em ambas possibilidades, logo (P Q) (P Q)
54
(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 T F F
Possibilidade 2
(P Q) (P Q)
F T F F F F T
Exerccio 21:
Exerccio 22:
a)
1
s
s 2
s 4
F
@
@s5
s 8
F
@
@s9
s 14
F
@
@s15
s 20
F
@
@s21
s 26
T
@
@s27
F
P
P
P
P
P
Ps 3
s 6
H
H
H
Hs 7
s 10
F
@
@s 11
s 16
F
@
@s17
s 22
@
@s23
F
s 12
F
@
@s13
s18
F
@
@s19
s24
@
@s25
F
55
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
2
6
=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 gura 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 ))
T T T F F T F F F F F F F

H = (P (Q R)) ((P Q) R)
Suponha que I[H] = F, como indicado na gura 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 T T T F F

G
1
= H
1
(H
1
G
2
)
Suponha que I[G
1
] = T, como indicado na gura a seguir, no h um absurdo, isto , existe
interpretao I tal que I[G
1
] = F. Logo, G
1
no uma tautologia.
56
H
1
( H
1
G
2
)
T T T
Exerccio 24: (P P
1
) (Q Q
1
) (P Q
1
) (Q P
1
)
(P P
1
) (Q Q
1
) (P Q
1
) (Q P
1
) tautologia ((P P
1
) (Q Q
1
)) ((P
Q
1
) (Q P
1
)) tautologia
Supondo que H no tautologia, ento:
((P P
1
) (Q Q
1
)) ((P Q
1
) (Q P
1
))
T T F T F F T F F F T F F
Chegamos em um absurdo em Q, mas por outro lado, temos:
((P P
1
) (Q Q
1
)) ((P Q
1
) (Q P
1
))
F T F T T T T F F T T F T F F
Neste segundo caso no existe um absurdo, logo no podemos armar que H tautologia.Cqd.
Exerccio 25:
a) Seja H
1
= (P Q) (R S)
N P Q R S H
1
1
2 T
3 F T
4 T T
5 T F
6 T T T
7 T T F F
8 T T T T T
9 T T T F F
Seja H
2
= ((P Q) R S) (P
1
Q
1
)
57
N P Q R S P
1
Q
1
H
2
1
2 T
3 F F
4 T T
5 T F F
6 T T T F
7 F T T
8 F T T T F
9 F F T T
10 T F F T T
11 F F F T T T
12 T T F F T T F
13 T F F F T T T
b) Para I[H
1
] = F: I[P] = T, I[Q] = T, I[R] = T e I[S] = F.
Para J[H
1
] = T: J[P] = T, J[Q] = T, J[R] = T e J[S] = T.
Para I[H
2
] = F: I[P
1
] = T, I[Q
1
] = T, I[R] = F, I[S] = F, I[P] = T e I[Q] = T.
Para J[H
2
] = T: J[Q
1
] = T, J[P
1
] = 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 = "Alrio toma vinho"
P2 = "Alrio ca com ressaca"
P3 = "Alrio ca triste"
P4 = "Alrio vai para casa"
58
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 T T T T T T T T T T T T T T T F T T T F F T
Como no h absurdo, ento a armao G1 falsa.
H1, H2, H3 [= G2
(((P1 Q1) P2) (P2 (P3 P4)) (P5 (P3 P4))) ((P2 P4) P5)
T T T T T T T T T T T T F T T T T F T T T F F
H1, H2, H3 [= G3
(((P1 Q1) P2) (P2 (P3 P4)) (P5 (P3 P4))) (Q1 ( P1 P2))
T T T T T T T T T T T T T T T T F T F F T F F T
H1, H2, H3 [= G4
(((P1 Q1) P2) (P2 (P3 P4)) (P5 (P3 P4))) ((Q1 P2) P3)
F F T T F T F T F F T T T F F F T T F F F
H1, H2, H3 [= G5
(((P1 Q1) P2) (P2 (P3 P4)) (P5 (P3 P4))) ((P1 P4) (Q1 P3))
T T T T T T T T T T T T T T T T F T T T F T F 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
Como H no tautologia, ento no necessariamente Ricardo ama Lcia.
G = ( ( P V Q ) E ( P SE Q ) ) SE Q
T T F T T T 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 T F F F
F Absurdo
G= ( ( P Q ) P ) Q
F F F T T F F
No h absurdo nessa possibilidade I[P] = T. Logo G no tautologia, portanto no neces-
sariamente Ricardo ama Elaine.
iii) Perg.: P Q?
Resp.: (P Q) P
H = ( ( P Q ) P ) P
F F T F F F
T Absurdo
Portanto H tautologia, logo Ricardo necessariamente ama Lcia.
G = ( ( P Q ) P ) Q
F T F F
Poss.1 T F F T Absurdo
Poss.2 F T F F Absurdo
H absurdo em todas as possibilidades, Log G tautologia. Portanto necessariamente Ri-
cardo ama Elaine.
60
Prova por absurdo:
H H H
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.
( ( P Q R ) ( ( P R ) Q ) ( ( R Q ( R Q ) ) ( R P ) ) P
F T F T F F T F T T T F F T T F F T F T F T F F F

Portanto, Ricardo necessariamente ama Elaine.
( ( P Q R ) ( ( P R ) Q ) ( ( R Q ( R Q ) ) ( R P ) ) Q
T F F F T F F F F F T T F T T F F T F

Portanto, Ricardo ama Patrcia.
( ( P Q R ) ( ( P R ) Q ) ( ( R Q ( R Q ) ) ( R P ) ) R
F T F F F T T T F F T T F F F

Exerccio 30: Considere as sentenas a seguir:
H
1
: Se Adriane no inteligente, ento Joyce linda.
H
2
: Se Joyce no loura, ento rica interesante.
61
H
3
: Se rica linda ou interessante, ento Adriane inteligente.
H
4
: Se Luciana no inteligente, ento rica interessante.
H
5
: 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.
P
1
= rica linda.
P
2
= Luciana inteligente.=
P
3
= Luciana Linda.
Considerando que as sentenas so verdadeiras e as restries impostas no exerccio, conclui-
se ento que:
Como I[R] = T ento I[Q] = F e I[S] = F.
Como I[S] = F ento I[P
1
] = T.
Como I[Q] = F ento I[P] = T.
Como I[S] = F ento I[P
2
] = T.
Como I[P
2
] = T ento I[P
3
] = F.
Concluso os atributos so:
Adriane inteligente.
Joyce loura.
rica linda.
Luciano Inteligente. cqd.
62
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)
T T 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 prossional
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 vericamos que o (conjunto de
concluses) satisfatvel
Exerccio 33:
Considere as associaes:
P = "H sangue na cena do crime"
Q = "O matador um prossional"
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
P Q P Q (P Q) Q P
T T T T F
T F F F T
F T T T F
F F T T 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 prossional, a partir das concluss de
Teresa e Melo.
c)
Basta determinar (P Q) ((P Q)) uma tautologia.
(P Q) (P Q)
P Q (P Q) (P Q) (P Q) (P Q)
T T T T T
T F F F T
F T T T T
F F 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 armao falsa.
64
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 armao 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 armao 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
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
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 Q (P Q) ((P Q) Q)
T T T T
T F T T
F T T T
F F F F
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
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
{, }
usando somente {, }
b)
Utiliza princpio da induo.
Exerccio 4:
a) P nor Q = (P Q)
P Q P nor Q
T T F
T F F
F T F
F F T
b) Demostre a proposio 5.13. O conjunto {nor} completo?
P Q P Q (P Q) P nor Q
T T T F F
T F T F F
F T T F 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))
P Q P Q Q P
70
((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)
P Q P Q Q P
((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
f )
(P nnse Q) equivale a (P nor Q)
(P nnse Q) equivale a (P nor Q)
( P Q ) ( P Q )
Passo 1 F T T F F F F F

Passo 2 T F F F F F T F
Absurdo
(P Q) equivale a(P Q) (P nnse Q) equivale a (P Q)
( P Q ) ( P Q )
Passo 1 T T F F T T F T
T Absurdo
Passo 2 F T T F F T T T
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 Q P Q (P Q) (P Q) H
T T F F T T T
T F F T T T T
F T T F T T T
F F T T F F T
Logo a frmula tautologia cqd.
72
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) h1(T,T)=T, h1(T,F)=F, h1(F,T)=F, h1(F,F)=F
h2(X,Y) h2(T,T)=T, h2(T,F)=T, h2(F,T)=T, h2(F,F)=F
h3(X,Y) h3(T,T)=T, h3(T,F)=F, h3(F,T)=T, h3(F,F)=T
h4(X,Y) h4(T,T)=T, h4(T,F)=F, h4(F,T)=F, h4(F,F)=T
c)
h1(X,Y) = X Y
h2(X,Y) = X Y
h3(X,Y) = X Y
h4(X,Y) = X Y
73
d)
P Q = (P Q)
P Q
P Q = P Q
P Q = (((P Q) (Q P)))
e)
Sim. NOR e NAND.
f )
2 elevado a 2 elevado a n. Prova por induo do comprimento.
74
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 denio 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 signicado 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.
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
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 P
a
no caso particular em que
H contm apenas smbolos proposicionais P
1
, P
2
,P
3
,P
4
,P
5
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 P
1
, P
2
,P
3
,P
4
,P
5
,
77
basta considerar uma frmula H que poderia ser, H=(P
1
P
2
) (P
3
P
3
) (P
4
P
4
)
(P
5
P
5
)
A tabela verdade a seguir, indica as possibilidades de interpretao desses smbolos:
Interpretao P
1
P
2
P
3
P
4
P
5
B[H,I
i
]
I
1
T T T T T B[H,I
1
]={P
1
,P
2
,P
3
,P
4
,P
5
}
I
2
T T T T F B[H,I
2
]={P
1
,P
2
,P
3
,P
4
,P
5
}
I
3
T T T F T B[H,I
3
]={P
1
,P
2
,P
3
,P
4
,P
5
}
I
4
T T T F F B[H,I
4
]={P
1
,P
2
,P
3
,P
4
,P
5
}
I
5
T T F T T B[H,I
5
]={P
1
,P
2
,P
3
,P
4
,P
5
}
I
6
T T F T F B[H,I
6
]={P
1
,P
2
,P
3
,P
4
,P
5
}
I
7
T T F F T B[H,I
7
]={P
1
,P
2
,P
3
,P
4
,P
5
}
I
8
T T F F F B[H,I
8
]={P
1
,P
2
,P
3
,P
4
,P
5
}
I
9
T F T T T B[H,I
9
]={P
1
,P
2
,P
3
,P
4
,P
5
}
I
10
T F T T F B[H,I
10
]={P
1
,P
2
,P
3
,P
4
,P
5
}
... ... ... ... ... ... ...
I
32
F F F F F B[H,I
32
]{P
1
,P
2
,P
3
,P
4
,P
5
}
Como H uma tautologia, ento para qualquer interpretao I
i
, temos I[H
i
]=T. Logo,
utilizando o Lema 6.2, concluimos que B[H,I
i
]H para toda interpretao I
i
. Temos, por exemplo,
que:
B[I
1
] H, ou seja,{P
1
,P
2
,P
3
,P
4
,P
5
}H
B[I
2
] H, ou seja,{P
1
,P
2
,P
3
,P
4
, P
5
} H
As interpretaes I
1
e I
2
se diferem apenas no smbolo P
5
e coincidem nos demais smbolos.
Quando isso ocorre, tais interpretaes so ditas complementares em P
5
.
Os literais complementares P
5
e P
5
so eliminados do conjuntos de hipteses iniciais.
Portanto, temos que:
A partir de {P
1
,P
2
,P
3
,P
4
,P
5
} H e de {P
1
,P
2
,P
3
,P
4
, P
5
} H, Concluimos que {P
1
,P
2
,P
3
,P
4
}
H.
Analogamente, considerando outras duas interpretaes seguintes, I
3
e I
4
, temos que P
5
e
P
5
so tambm complementares, e P
5
e P
5
tambm podem ser eliminados dos conjuntos de
hipteses iniciais.
B[H,I
3
]H, ou seja,{P
1
,P
2
,P
3
,P
4
,P
5
}H B[H,I
4
]H, ou seja, {P
1
,P
2
,P
3
,P
4
,P
5
}H
Ento, concluimos que {P
1
,P
2
,P
3
,P
4
}H
Das interpretaes I
5
e I
6
, obteremos P
1
, P
2
, P
3
, P
4
H
Das interpretaes I
7
e I
8
, obteremos P
1
, P
2
, P
3
, P
4
H
Das interpretaes I
9
e I
10
, obteremos P
1
, P
2
, P
3
, P
4
H
Das interpretaes I
11
e I
12
, obteremos P
1
, P
2
, P
3
, P
4
H
Das interpretaes I
13
e I
14
, obteremos P
1
, P
2
, P
3
, P
4
H
Das interpretaes I
15
e I
16
, obteremos P
1
, P
2
, P
3
, P
4
H
Continuando a eliminao dos elementos que so complementares, temos, que:
78
A partir de {P
1
,P
2
,P
3
,P
4
} H e {P
1
,P
2
,P
3
,P
4
}H, concluimos que {P
1
,P
2
,P
3
}H.
A partir de {P
1
,P
2
,P
3
,P
4
}H e de P
1
, P
2
, P
3
, P
4
H, concluimos {P
1
,P
2
,P
3
}H.
A partir de P
1
, P
2
, P
3
, P
4
H e de P
1
, P
2
, P
3
, P
4
H, concluimos P
1
, P
2
, P
3
H
A partir de P
1
, P
2
, P
3
, P
4
H e de P
1
, P
2
, P
3
, P
4
H obtm-se P
1
, P
2
, P
3
H
Continuando a eliminao dos elementos que so complementares:
A partir de {P
1
,P
2
,P
3
}H e {P
1
,P
2
,P
3
}H, possvel concluir que {P
1
,P
2
}H
E apartir de P
1
, P
2
, P
3
H eP
1
, P
2
, P
3
H, possvel concluir P
1
, P
2
H
Como P
2
e P
2
so complementares, temos no nal que P
1
H
Completando a tabela e fazendo o mesmo que foi feito aqui para a metade da outra tabela
obteremos P
1
H.
Como P
1
e P
1
so complementares, temos o resultado nal:{}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 (QP)) ((P Q) (P P)) ou B = (P (QO)) ((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 fechado) ou Q(ramo fechado)
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. PR1, 14 (em A)
16. QR1, 14 (em A)
17. PR1, 14 (em B)
18. PR1, 14 (em B)
19. P (ramo fechado) ou (Q P) R6, 12
20. Q (ramo fechado) ou P (ramo fechado) 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)))
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 fechado) ou (Q P) R2, 3
12. Q (ramo fechado) R1, 11
13. P (ramo fechado) 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 fechado) ou Q (ramo fechado) R2, 20
22. P (ramo fechado) ou P (ramo fechado) 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)) (P Q) (P ( Q)) R4,1.
3. (P Q) (P Q) R1,2.
4. (P ( Q)) (P ( Q)) R1,2.
5. (P Q) (P Q) R1,2.
6. (P ( Q)) (P ( Q)) R1,2.
7. P P R8,3.
8. Q Q R8,3.
82
9. P P R1,4.
10. Q Q R1,4.
.
11. P Q P Q R6,6.
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 fechado)ou Q (ramo fechado) 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 fechado) 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 fechado) 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 fechado) R3, 10
15. Q R1, 13
83
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 fechado) 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) R
9
.
1
3. (P Q) (P Q) R
1
.
2
4. (P Q) (P Q) R
1
.
2
5. P R
8
.
3
6. Q P Q R
8
.
3
, R
3
.
3
7. P P R
2
.
4
, R
7
.
4
8. P Q Q Q
Fechado Fechado Fechado Fechado
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
Demostrao por resoluo.
Suponha H = (P Q) (P Q)
Analisando a tabela verdade abaixo referente a frmula H temos:
P Q P Q P Q H H
T T T T T F
T F F F T F
F T T T T F
F F T F T F
A partir da ltima coluna da tabela verdade acima, obtemos a forma clausal H
c
= (P
Q) (P Q).
Logo:
H
c
= (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. ((P Q) (P Q)) H

2. (P Q) (P Q) (P Q) (P Q) R
9
,
1
3. (P Q) (P Q) R
2
,
1
4. (P Q) (P Q) R
2
,
1
5. P R
2
,
4
, R
6
,
4
6. Q P Q R
2
,
4
, R
6
,
4
7. P P P R
8
,
3
, R
3
,
3
8. Q Q Q R
8
,
3
, R
3
,
3
Aberto Aberto Aberto
Como o tableaux aberto em todos os seus ramos, logo pelo Teorema da Correo, temos
que e pelo Teorema da Completude, temos que . cqd.
85
Demostrao por resoluo.
Suponha H = (P Q) (P Q)
Analisando a tabela verdade abaixo referente a frmula H temos:
Tabela 7.1.
P Q P Q P Q H H
T T T F F T
T F F T F T
F T T F F T
F F T F F 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 H
c
. Portanto, a frmula uma
contradio. cqd.
l)
m)
n)
o)
p) (P Q) (Q P)
Resoluo
P Q P Q Q wedge P H
T T T T T F
T F F T F F
F T F T F F
F F F T F F
H
C
= (P Q) (P Q) (P Q) (P Q)
H
C
= P, Q, P, Q, P, Q, (P, Q
1 P, Q}
2 P, Q
3 P, Q
4 P, Q
86
5 {P} Res 3,4
6 { P} Res 1,2
7 {} Res 5,6
q) (P Q) (Q P)
Resoluo
P Q P Q Q P H
T T T T T F
T F T T T F
F T T T T F
F F F T F F
H
C
= (P Q) (P Q) (P Q) (P Q)
H
C
= 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
r) (P Q) (Q P)
Resoluo
P Q P Q Q P H
T T T T T F
T F F T F F
F T F T F F
F F T T T F
H
C
= (P Q) (P Q) (P Q) (P Q)
H
C
= P, Q, P, Q, P, Q, (P, Q
87
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
s)
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
Fechado Fechado
t)
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
Fechado Fechado
u)
((P Q) P) (P (Q P)) = H
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
Fechado Fechado
88
v) ((P Q) (Q P)) (P P)
Resoluo
P Q P Q Q P P P H
T T T T T T T F
T F F F T T T F
F T T F F T T F
F F T T T T T F
H
C
= (P Q) (P Q) (P Q) (P Q)
H
C
= 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
H
C
= P, P
1 {P}
2 { P}
3 {} Res 1,2
y) (P P) = (P P) = P P
Resoluo
H
C
= P, P
89
1 {P}
2 { P}
3 {} Res 1,2
z)
aa)
bb)
cc)
dd)
ee)
) ((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)) R
9
1.
3. ((P Q) P) (P Q) P R
1
2.
4. P (Q P) (P (Q P)) R
1
2.

5. (P Q) (P Q) P R
8
3. [ R
3
3.
6. P P P R
8
3. [ R
8
4.

7. P (Q P) (Q P) (Q P) R
3
4. [ R
8
4.
aberto
8. Q P Q Q R
3
7. [ R
8
7.
aberto fechado
9. P P R
8
7.
fechado fechado
Contra exemplo:
Utilizando o ramo aberto mais esquerda, dene-se uma interpretao I, tal que I[P] = F, logo
I[((P Q) P) (P (Q P))] = T
90
Por resoluo
Construindo-se a tabela verdade
P Q ((P Q) P) (P (Q P)) (((P Q) P) (P (Q P)))
T T T F
T F T F
F T T F
F F T F
Logo H
c
= (P Q) (P Q) (P Q) (P Q)
H
c
= P, Q, P, Q, P, Q, P, Q
1. P, Q
2. P, Q
3. P, Q
4. P, Q
5. P, P Res(1.,4.)
6. Q, Q Res(2.,3.)
7. P, Q Res(5.,4.)
gg) P (Q (P P))
Por tableaux
H = (P (Q (P P)))
1. (P (Q (P P))) H
2. P R
8
1.
3. (Q (P P)) R
8
1.
4. Q R
8
3.
5. (P P) R
8
3.
6. P R
8
5.
7. P R
8
5.
fechado
Por resoluo
H
c
= (P (Q (P P)))
= P Q P P
H
c
= P, Q, P
1. P
2. Q
91
3. P
4. 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. (P (P Q)) ((P Q) P) H
2. P (P Q) R
1
1.
3. (P Q) P R
1
1.

4. P (P Q) R
3
2.

5. (P Q) P (P Q) P R
3
3.
fechado aberto
6. P P R
7
5.
7. Q Q R
7
5.
aberto fechado
Contra-exemplo:
Utilizando o ramo aberto mais esquerda, pode-se denir 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)
H
c
= (P (P Q)) ((P Q) P)
= (P P Q) (P) (Q P)
H
c
= P, P, Q, P, Q, P
1. P, P, Q
2. P
3. Q, P
4. Q Res(2.,3.)
5. P, P Res(4.,1.)
6. P Res(5.,2.)
92
ii)
jj)
kk)
ll)
textbfPor tableau:
H = (P (P P)) (P P)
1. ((P (P P)) (P P)) H

2. (P (P P)) (P P) (P (P P)) (P P) R9,1
3. (P (P P)) (P (P P)) R1,2
4. (P P) (P P) R1,2
5. P R1,4
6. P R1,4
fechado
7. P P R6,4
8. (P P) (P P) R1,3
9. P P R1,3
fechado
10. P R1,8
11. P R1,8
fechado
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 H
c
, logo temos:
H
c
= P P entao H
c
= { { 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
mm)
textbfPor resoluo:
P (P (P P)) (P P) ((P (P P)) (P P))
T T F
F T F
c
, logo temos:
H
c
= P P entao H
c
= { { 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
c
, logo temos:
H
c
= P P entao H
c
= { { 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)) Reescrevendo
94
2. ((P P) (P P)) R
1
, Linha 1
3. ((P P) ((P P) P)) R
1
,Linha 1

4. ((P P) P) (P P) R
3
,Linha 2
5. (P P) R
8
,Linha 4
6. P P P R
8
,R
2
,Linha 4
7. P R
1
,Linha 5
8. P R
1
,Linha 5

9. (P P) ((P P) P) R
3
,Linha 3

10. P (P P) P R
7
, R
3
, Linha 9
11. P R
7
,Linha 9
12. P P P R
6
,Linha 9
13. fechado fechado P R
5
,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)
H
c
=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
ss)
P ((P P) P)
1. ((P P) P) (((P P) P) P)
2.P ((P P) P) R
1
Linha 1
3. ((P P) P) P R
1
Linha 1

4. ((P ) P) P R
3
Linha 3

5.((P P) P) (P P) P R
9
Linha 4
6. ((P P)) (P P) R
1
Linha 5
7. P P R
1
Linha 5

8. P P P R
7
,R
2
Linha 6
9. P
10. P ((P P) P) P ((P P) P)
13.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))
H
c
=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
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 Reescrita
3. P R
8
,1.
4. Q R
8
,1.

5. P Q R
2
,2.
fechado fechado
Como existe ramo fechado no tableau, o conjunto satisfatvel.
b)
1. P Q Reescrita
2. P Q Reescrita
3. P R
1
,1.
4. Q R
1
,1.
5. P R
1
,2.
6. Q R
1
,2.
fechado
c)
1. P Q Reescrita
2. P Q Reescrita
3. P R
1
,1.
4. Q R
1
,1.

5. P Q R
2
,2.
97
fechado aberto
d)
e)
f )
g)
P
1
P
2
, P
2
P
3
, P
3
P
4
, P
4
P
1
Resoluo
P
1
P
2
, P
2
P
3
, P
3
P
2
, P
3
P
4
, P
4
P
3
, P
4
P
1
P
1
, P
2
, P
2
, P
3
, P
3
, P
2
, P
3
, P
4
, P
4
, P
3
, P
4
, P
1
1.P
1
, P
2
2.P
2
, P
3
3.P
3
, P
2
4.P
3
, P
4
5.P
4
, P
3
6.P
4
, P
1
7.P
4
, P
2
res.(1, 6)
8.P
1
, P
3
res.(1, 2)
9.P
1
, P
4
res.(7, 8)
10.P
1
, P
2
res.(7, 9)
Resp.: No h expanso fechada, ento H no satisfatvel.
h)
P
1
P
2
, P2 P
3
, P
3
P
4
, P
1
P
4
P
1
, P
2
, P2, P
3
, P
3
, P
2
, P
3
, P
4
, P
1
, P
4
1.P
1
, P
2
2.P
2
, P
3
3.P
3
, P
2
4.P
3
, P
4
5.P
1
6.P
4
7.P
1
, P
3
res.(1, 2)
8.P
3
res.(5, 7)
9.P
4
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
i)
P
1
P
2
, P
2
P
3
, P
3
P
4
, P
1
P
4
P
1
, P
2
, P
2
, P
3
, P
3
, P
4
, P
1
, P
4
1.P
1
, P
2
2.P
2
, P
3
3.P
3
, P
4
4.P
1
, P
4
5.P
2
, P
4
res.(1, 4)
6.P
1
, P
4
res.(2, 5)
7.P
3
, P
3
res.(3, 6)
j)
{(P1 P2) P3, P1 P4, P2 P3 P4 }
1. (P1 P2) P3
2. P1 P4
3. P2 P3 P4
4. P2 R1,3.
5. P3 R1,3.
6. P4 R1,3.
.
7. P1 P4 R1,2.
.
8. (P1 P2) P3 R3,1.
.
9. P1 P2 R6,8.
A frmula satisfatvel.
k)
{ P1 P2,P1 (P2 P3), P1 P3 }
1. P1 P2
2. P1 (P2 P3)
3. P1 P3
.
4. P1 P2 R2,1
. .
5. P1 P3 P1 P3 R3,3.
. .
6. P1 (P2 P3) P1 (P2 P3) R2,2.
.
7. P2 P2 R1,6.
8. P3 P3 R1,6.
99
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.
m)
P
2
P
1
, P
2
P
3
, P
3
, P
1
P
2
, P
1
, P
2
, P
3
, P
3
, P
2
, P
3
, P
1
1.P
2
, P
1
2.P
2
, P
3
3.P
3
, P
2
4.P
3
5.P
1
6.P
1
, P
3
res.(1, 2)
7.P
2
, P
2
res.(2, 3)
8.P
2
res.(4, 2)
n)
P
1
P
2
, P
2
P
3
, P
3
, P
1
P
1
, P
2
, P
2
, P
1
, P
2
, P
3
, P
3
, P
2
, P
3
, P
1
1.P
1
, P
2
2.P
2
, P
1
3.P
2
, P
3
4.P
3
, P
2
5.P
3
6.P
1
7.P
2
res.(2, 6)
8.P
3
, P
3
res.(3, 4)
100
9.P
3
res.(4, 7)
o)
P
2
P
1
, P
2
P
1
, P
1
P
2
, P
1
, P
2
, P
1
, P
1
1.P
2
, P
1
2.P
2
, P
1
3.P
1
4.P
1
res.(1, 2)
p)
q)
r)
s)
t)
u)
v)
(P (Q R)) ((P Q) R)
P Q R Q R P (Q R) P Q (P Q) R H H
T T T T T T T T F
T T F F F T F T F
T F T T T F T T F
T F F T T F T T F
F T T T T F T T F
F T F F T F T T F
F F T T T F T T F
F F 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
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
(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
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))((SP)(P S))((SR)(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 Res 4,8
10 S, R Res 9,3
c)
P = "H pouco sangue na cena do crime"
Q = "O matador prossional"
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
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. {P, Q}
2. {P}
3. {Q}
4. {Q} Res. 1 e 2
5. {} 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
1. {P, Q}
2. {P}
3. {Q}
4. {Q} Res. 1 e 2
5. {} 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)) H
2 (P Q) (Q P) R6,1

3 P Q R8,2
4 Q P R8,2
aberto aberto
Como o Tableau aberto logo argumento no vlido,ou seja, pelo teorema da correo ,H,
logo ,[=H.
Por resoluo:
106
P Q (P Q) (Q P) ((P Q) (Q P))
T T T F
T F F T
F T F T
F F T F
A partir da quarta coluna da tabela verdade vamos obter a frmula clausal H
c
, logo temos:
H
c
= (P Q) (P Q) entao H
c
= { { 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
,H, logo ,[=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)) H
2. ((P Q) R) P) R8,1
3. (R Q) R8,1
4. R R8,3
5. Q R8,3
6. (P Q) R R1,2
7. P R1,2

8. (P Q) R R3,6
fechado
9. P Q R6,8
aberto aberto R6,8
Como o Tableau aberto logo argumento no vlido,ou seja, pelo teorema da correo ,H,
logo ,[=H.
Por resoluo:
107
P Q R (((P Q) R) P) (R Q)) ((((P Q) R) P) (R Q)))
T T T T F
T T F T F
T F T T F
T F F T F
F T T F T
F T F T F
F F T T F
F F F T F
A partir da quinta coluna da tabela verdade vamos obter a frmula clausal H
c
, logo temos:
H
c
= (P QR) (P QR) (P QR) (P QR) (P QR) (P
Q R) (P Q R)
entao H
c
= {{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
,H, logo ,[=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 ((P (R Q) (P R)) (P Q)) H
2 (P (R Q) (P R)) R8,1
3 (P Q) R8,1
4 P R8,3
5 Q R8,3
6 P (R Q) R1,2
7 P R R1,2

108
8 P R R3,7
fechado
9 P R Q R3,6
fechado
10 R Q R3,9
11 fechado fechado
Como o tableau fechado o argumento vlido, pois pelo teorema da correo H, logo [=H.
Por resoluo:
P Q R ((P (R Q) (P R)) (P Q)) ((P (R Q) (P R)) (P Q))
T T T T F
T T F T F
T F T T F
T F F T F
F T T T F
F T F T F
F F T T F
F F F T F
A partir da quinta coluna da tabela verdade vamos obter a frmula clausal H
c
, logo temos:
H
c
= (P QR) (P QR) (P QR) (P QR) (P QR) (P
Q R) (P Q R) (P Q R)
entao H
c
= {{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.{ PR } 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
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 H
c
onde H
c
a forma clausal de H. Neste caso,H equivale a H
c
Portanto, H tautologia H
c
tautologia ou equivalentemente, H contraditria H
c

contraditria.
Devemos demonstrar que se a expanso por resoluo a partir de H
c
fechada, ento H
c
contraditria.
Logo, conclumos que H contraditria e H tautologia.
Considere ento que a expanso por resoluo a partir de H
C
fechada. Suponha por
absurdo interpretao I tal que I[H
c
]=T.
Como a regra da resoluo mantm a validade, ento o resultado de sua aplicao sobre H
c
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 signica que I[A A] = T, ou seja, I[A]=T e I[A] = T o que um aburdo.
Portanto, se I[H
c
]=t, ento obtemos um absurdo.
Logo, no existe interpretao I, tal que I[H
c
]=T, isto I, I[ H
c
]=F. Conclui-se que
H
c
tautologia e portanto que H tautologia.
Nota. Uma demonstrao mais rigorosa do teorema da correo deve usar induo nita.
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
c)
Verdadeira. A justicativa a mesma do item a).
d)
Falsa. Se existe tableau associado a H com ramo fechado, isto no signica 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
signica 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 signica que int. I, I[H] = T no uma armao
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
k)
Falsa. Se existe tableau associado a H com todos os ramos fechados, ento, pela mesma justicativa
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 H
c
aberta, signica que no existe
expanso associada a H
c
fechada. Logo, no possvel obter uma contradio de I[H
c
] = T
sendo I[H
c
] = F isto , H
c
e H no so tautologias.
n)
Verdadeira. Se no existe expanso por resoluo associada a H
c
fechada, signica que todas so
abertas. Logo, pelo item m), H no tautologia.
o)
Falsa. Se existe expanso por resoluo associada a H
c
fechada, ento existe uma prova por
resoluo de H. Logo, pelo teorema da correo H tautologia.
p)
Se existe expanso por resoluo associada a H
c
fechada, ento H tautologia.
Se exp. res.associada H
c
fechada H
H(T.Compl.)e(T.Corr.)
I[H] tautologia
Verdadeira. Se existe expanso por resoluo associada a H
c
fechada, existe uma prova
de H por resoluo. Logo, H tautologia. (cqd.)
q)
Se existe expanso por resoluo associada a H
c
fechada, ento H contraditria
Se exp. res. associada H
c
fechada H
exp. res. associada H
c
H
H(T.Compl.)e(T.Corr.)
Verdadeira. Se existe expanso por resoluo associada a H
c
fechada, ento, conforme item
p) H tautologia. Logo, H contraditria. (cqd.)
112
r)
Se toda expanso por resoluo associada a H
c
aberta, ento H tautologia.
c
aberta H no tautologia
Falsa. Se toda expanso por resoluo associada a H
c
aberta, ento, [H] no tautologia.
Isto no signica que H seja tautologia. (cqd.)
s)
Se no existe expanso por resoluo associada a H
c
fechada, ento H contraditria.
c
fechada exp res. associada a H
c
aberta
Falsa. Se no existe expanso por resoluo associada a H
c
fechada, ento todas so abertas.
Logo, pelo item r), H no tautologia. Isto no signica que H seja contraditria. (cqd.)
Exerccio 9:
Suponhamos que exista um processo de expanso que no termina, ou seja, obtida uma rvore
innita. Como cada ramo da rvore obtido utilizando alguma regra do sistema Tb
a
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 innita a partir de H. Conclumos assim que a rvore obtida pela expanso no sistema Tb
a
nita.
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 denio 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 denies 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 denio 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)
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
Exerccio 5:
Exerccio 6:
Exerccio 7:
a)
Uma varivel x ocorre ligada em E se x est no escopo de um quanticador (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 quanticadores no so smbolos livres.
Exerccio 10:
a)
b)
c)
8.1 Exerccio 11:
a) H(x)p(x)
119
b) p(a)
c) (x)(y)p(x, y), ou qualquer frmula fechada.
120
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.
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[(x
1
)H
1
((x
2
)H
2
(...))] = T
I[(x
1
)Hx
1
] = T e I[(x
2
)Hx
2
(...)] = T
d U, < x
1
d > I[H
1
] = T e c U, < x
2
c > I[H
2
] = T
para I[G] = F temos :
I[(x
1
)...(x
8
)((H
1
... H
4
) H
8
)] = F
I[(x
1
)...(x
7
)(H
1
... H
7
)] = T e I[(x
8
)H
8
] = F
d U, < x
1
d > I[H
1
] = T e ... c U, < x
2
c > I[H
8
] = T e e U, < x
8
e >
I[H
8
] = F
ABSURDO!
Resposta: Comparando as armaes 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; p
j
(d,e,z
j
,w
j
)=T e c N; p
j
(c,b
j
,y
j
,x
j
)]=F
d N; (d+e < z
j
+w
j
) verdadeira e c N; (c+b
j
< y
j
+x
j
) falsa.
b)
I[E]=F d
1
N, d
3
N; <y d
3
><x d
1
> I[p(x,y,z,w)]=T e d
2
N, d
4
N; <y
d
4
><z d
2
> I[p(z,b,y,x)]=F
d
1
N, d
3
N; (d
1
+d
3
> 14) verdadeira e d
2
N, d
4
N; (d
2
+7 < d
4
+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
Exerccio 5:
a)
Seja i e J duas interpretaes sobre os naturais tais que
I[p(x, y, z)] = T (x
I
+y
I
) > z
I
I[z] = 5, I[x] = 5.
J[p(x, y, z)] = T (y
I
+y
I
) x
I
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 denies, cada
uma das igualdades.
b)
(x) p(x) (y) q(y)
Seja I uma int. sobre os N.
I[p(x)] = T x
I
par.
I[q(y)] = T y
I
mpar.
Neste caso, I[H] = F pois
I[(x)p(x)] = F ... armativa verdadeira e
I[(y)q(y)] = T ... armativa verdadeira.
Seja J uma int. sobre os N.
J[p(x)] = T x
J
0
J[q(y)] = T y
J
mpar
Neste caso J[H] = T.
c)
Exerccio 6:
a) Quais os resultados informais das interprestaes de H
1
, H
2
e H
3
, onde I uma
interprestao sobre o conjunto dos nmeros reais R, tal que:
I[a] = 0, I[q(x, y)] = T x
I
< y
I
, I[p(x) = T x
I
] um nmero primo, I[r] = = (r
interpretado como igualdade) e I[f] = (f interpretada como o produto).
H
1
= (x)(y)(q(x, y) p(y))
Os conjuntos dos nmeros primos innito.
123
H
2
= (x)(q(a, x (z)r(f(z, z), x))
Todo nmero positivo tem raiz quadrada.
H
3
= (x)(y)(r(x, a) (z)r(f(x, z), y))
Dados dois nmeros reais x e y, se x ,= 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
Exerccio 8:
a)
I[p(x,y)]= 0 4;
J[p(x,y)]= 9 4;
0 4 ,= 9 4, que uma armao 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 armao 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 ,= c N; 9 c
uma armao 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
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 lho 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 lha 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
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
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 X
I
tio do pedro
I[q(x, y)] = T X
I
mais novo que Y
I
I[r(x, y)] = T X
I
irmo de Y
I
I[s(x)] = T X
I
mora em israel
(y)(x)(p(x) q(x, y) r(x, y) s(x))
128
t)
I[a]=Jamil
I[p(x, y)] = T X
I
admira Y
I
I[q(x, y)] = T X
I
irm Y
I
I[r(x, y)] = T X
I
cunhado Y
I
I[s(x, y)] = T X
I
tio Y
I
I[p
1
(x, y)] = T X
I
mora no lbano
(x)(p(a, x) (y)(q(x, y) (z)(r(y, z) s(z, a))) p
1
(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 x
I
irmo de y
I
.
I[q(x)] = T x
I
gacho.
I[r(x)] = T x
I
torce pelo Grmio.
(x)(p(x, a) q(x) r(x) r(a))
w)
x)
Autran um bom pai e ama todos os seus lhos.
I[a] = Autran
I[p(x)] = T x
I
um bom pai.
I[q(x, y)] = T x
I
lho de y
I
.
I[r(x, y)] = T x
I
amado por y
I
(x)(p(a) q(x, a) r(x, a))
y)
Os lhos de Ana so os lhos de Nicolau. Ana ama seus lhos. Mrcio lho de Nicolau. Portanto,
Ana ama Mrcio.
129
I[a] = Ana
I[b] = Nicolau
I[c] = Mrcio
I[p(x, y)] = T x
I
lho de y
I
.
I[q(x, y)] = T x
I
ama y
I
(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 x
I
gato
I[q(x)] = T x
I
cachorro
I[r(x)] = T x
I
um animal domstico
(x)(p(x) r(x)) (y)(q(y) r(y))
aa)
Nenhum lho adolescente de Maria gosta de estudar.
Seja I uma interpretao sobre o Conjunto de lhos de Maria,
I[a]= Maria
I[r(x)] = T x
I
adolescente.
I[p(x, y)] = T x
I
lho de y
I
.
I[q(x)] = T x
I
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 x
I
branco
(x)p(x)
cc)
Seja I uma interpretao sobre o conjunto dos cavalos tal que
I[p(x)] = T x
I
branco. (x)p(x)
130
dd)
Seja I uma interpretao sobre o conjunto dos homens e dos vegetais tal que
I[p(x)] = T x
I
homem.
I[q(x)] = T x
I
mamfero.
I[r(x)] = T x
I
tomate.
I[s(x)] = T x
I
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 x
I
feliz.
(x)p(x) (x)p(x)
)
Se algum no ama ningum, todos no amam todos.
Seja I uma interpretao sobre um conjunto de pessoas
I[p(x, y)] = T x
I
ama y
I
.
(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 x
I
ama y
I
.
(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 x
I
mortal
(x)p(x)
131
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 x
I
admira y
I
.
(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 x
i
no gosta de y
i
.
( 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 y
i
detesta x
i
.
( 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 quanticao "quase todo" no considerada na Lgica de
Predicados.
j)
No possvel representar, pois o "tempo" no considerado na Lgica de Predicados Clssica.
132
k)
Toda regra tem exceo.
Suponha uma interprestao sobre os funcionrios da Algar.
i[px, y] = T, se x
I
regra e y
I
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
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
Exerccio 2:
a)
Suponha por contradio, que H no vlida. Logo, por denio, 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 denio, 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 ,= e e c U; c = c
Esta armao verdadeira, logo a interpretao que torna H falsa, portanto H no vlida.
137
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 denio, (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
< 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 denio, ((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 denio, (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
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
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 p
I
(x
I
) = T e p
I
(d) = F
A armao acima falsa. Logo a suposio inicial falsa, o que signica 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)] = Te < x d > I[p(y)] = F
d D; p
I
(y
I
)=T e p
I
(y
I
)=F
Armao 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; p
I
(y
I
)=T e p
I
(y
I
)=F
A armao 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
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)
E
1
= (x)(H G)
E
2
= ((x)H G)
E
1
equivale E
2
para toda interpretao I, I[E
1
] = I[E
2
].
Mas, I[E
1
] = I[E
2
] I[E
1
] = T I[E
2
] = T
I[E
1
] = 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[E
2
] = T
142
d)
( x)(H G) e (( x)H G)
E
1
= ((x)H G)
E
2
= (x)(H G)
E
2
equivale E
1
0
] = I[E
1
].
Mas, I[E
2
] = I[E
1
] I[E
2
] = T I[E
7
] = T
I[E
1
] = 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[E
1
] = T
e)
( x)(H G) e (( x)H G)
E
1
= ((x)H G)
E
2
= (x)(H G)
E
2
equivale E
1
para toda inperpretao I, I[E
2
] = I[E
1
].
Mas, I[E
2
] = I[E
1
] I[E
2
] = F I[E
1
] = F
I[E
2
] = 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[E
1
] = F
f )
( x)(H G) e (( x)H G)
E
1
= (( x)H G)
E
2
= ( x)(H G)
E
2
equivale E
1
2
] = I[E
1
].
Mas, I[E
2
] = I[E
1
] I[E
2
] = F I[E
1
] = F
I[E
2
] = F I[( x)(H G)] = F
143
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[E
1
] = 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
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
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 x
I
divisvel por 3.
I[q(x)] = T x
I
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
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)] = Tcqd.
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)] = Tcqd.
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)] = Tcqd.
147
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: (d)=c e gi(d)=b, logo pi(d,gi(d),(d))=F
d U; b U; c U; pi(d, b, c) = F
d U; pi(d, gi(d), fi(d)) = F, onde f e g sao funes tais que: (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
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 quanticador 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
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 quanticador universal no altera sua
validade.
150
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 lha de Sr. Arnaldo observada.
Mulher que no observada no se casa, portanto as lhas do Sr. Arnaldo no se casaro.
Seja I uma interpretao sobre um conjunto de pessoas.
I[p(x)] = T x
I
mulher bonita, inteligente e sensvel.
I[q(x)] = T x
I
observada
I[r(x,y)] = T x
I
lha de y
I
I[a] = Arnaldo
I[s(x)] = T x
I
se casa.
(x)(y)((p(x) q(x)) (r(y, a) q(x)) (q(x) s(x))) (r(y, a) s(y))
151
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 x
I
tem f.
I[q(x)]=T x
I
tem amor.
I[r(x)]=T x
I
tem paz.
I[s(x)]=T x
I
tem Deus.
I[p
1
(x)]=T nada faltar a x
I
.
(( x)(p(x) q(x))) (( x) (q(x) r(x)) ) ( x)(r(x) s(x))( x s(x) p
1
(x) )
i)
Quem no se ama no ama ningum
Seja I uma interpretao sobre um conjunto de Pessoas:
I[p(x,y)] = T x
I
no ama y
I
(x)(x)((p(x, x) p(x, y))
j)
Uma condio necessria e suciente 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 x
I
produtivo,
I[q(x)]=T x
I
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, p
I
(d)=T e q
I
(d)=F
ou ainda
d D, p
I
(d)=F e q
I
(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
Exerccio 19:
H
1
= Toda mulher dcil tem um amado.
H
2
= Se existe mulher dcil, toda mulher tem um amado.
Seja I uma interpretao sobre o conjunto das pessoas tal que
I[p(x)] = T x
I
mulher
I[s(x)] = T x
I
dcil
I[q(x)] = T x
I
homem
I[r(x,y)] = T x
I
ama y
I
H
1
= (x)((p(x) s(x)) (y)(q(y) r(y, x)))
H
2
= (x)(p(x) s(x)) (x)(y)(q(y) r(y, x))
a)
H
1
no implica H
2
, logo a armao falsa.
b)
H
2
implica H
1
.
Exerccio 20:
A sentena representada por: H = ((x)(p
1
(x) r(x) s(x)) (x)(p
1
(x) (p(x) r(x)))
(x)(q(x) r
1
(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 y , y z , z x , x z, y x}
= {x x, y z, z z, x z, y x}
= {x x, y z, z z}
= {y z}
= {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}
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 wx 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 denio: =
= y x
= y x,
= (y x, x y), x y
= y y, x y
= x y cqd.
Supondo agora que y x
por denio: =
= 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
= 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
= {}
- |S
0
| ,= 1, D
0
= {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)}
- |S
1
| ,= 1, D
1
= {z, g(z)}
Passo 3: z no ocorre em g(z)
- S no unicvel.
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
= {}
- |S
0
| ,= 1, D
0
= {x, a}
Passo 3: x no ocorre em a
-
1
= {x a}, k = 1
Passo 2: k = 1,
1
= {x a}
- |S
1
| ,= 1, D
1
= {y, a}
Passo 3: y no ocorre em a
-
2
= {y a}, k = 2
Passo 2: k = 2,
2
= {x a, y a}
- |S
2
| ,= 1, D
2
= {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)}
- |S
3
| ,= 1, D
3
= {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)}
- |S
4
| ,= 1, D
4
= {g(a), g(b)}
Passo 3: no existe varivel em D
4
. S no unicvel
157
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[ , = 1 D0 = {x,a}
passo 3: x,a D0, e x no ocorre em a
1 = 0 {xa} = {xa}
k=1
passo 2: S1 = {p(a,f(y)) q(z), p(a,f(g(y))) q(w))}
[S1[ , = 1 D1 = {y,g(y)}
passo 3: y,g(y) D1, mas y ocorre em g(y) Pare!
Logo S no e unicvel.
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[ , = 1 D0 = {x,y, g(z)}
passo 3: x,y, g(z) D0, e x e y no ocorrem em g(z)
1 = 0 {xg(z), yg(z)} = {xg(z), yg(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[ , = 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 {zb, wg(b)} = {xg(b), yg(b), zb, wg(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[ , = 1 D2 = {b,g(b),g(c)}
passo 3: No h variveis em D2
Logo S no unicvel.
e)
S = p(x,f(g(a))), p(a,f(z)), p(y,f(g(b)))
158
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 xy 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 xy xz 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 xw h(x) = a x, y x, w h(x)
k = 2
159
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[ , = 1 D0 = {x,g(z)}
passo 3: 1 = 0 {xg(z)} = {xg(z)}
k=1
passo 2: S1 = {p(g(z)) q(z), p(g(z)) q(g(z))
[S1[ , = 1 D1 = {z, g(z)}
passo 3: 2 = 2 {zg(z)} = {xg(g(z)), zg(z)}
k=2
passo 2: S2 = {p(g(g(z))) q(g(z)), p(g(g(z))) q(g(g(z)))
[S2[ , = 1 D2 = {z,g(z)}
passo 3: No unicvel.
O processo continua innitamente.
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[ , = 1 D0 = {x,a}
160
passo 3: 1 = 0 {xa} = {xa}
k=1
passo 2: S1 = {p(a,f(y)) q(z), p(a,f(g(y))) q(w)
[S1[ , = 1 D1 = {y, g(y)}
passo 3: 2 = 2 {yg(y)} = {xa, yg(y)}
k=2
passo 2: S2 = {p(a,f(g(y))) q(z), p(a,f(g(g(y)))) q(w)
[S2[ , = 1 D2 = {y,g(y)}
passo 3: No unicvel.
O processo continua innitamente.
Exerccio 7:
a)
b)
Exerccio 8:
O passo 3 do algoritmo da unicaco trata de vericar se existe uma variavel x e um termo t em
D
k
, 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 D
k
subsequentes, e assim ela no
ser mais escolhida pelo algoritmo.
Exerccio 9:
Seja S um conjunto de expresses da lgica de predicados. Se S unicvel, o algoritmo determina
um umg de S; caso contrrio, ele indica que S no unicvel.
Ou seja, o algoritmo sempre para, sendo S unicvel ou no.
Do algoritmo, tem-se que as condies de parada so:
1. [S
k
[ = 1 (passo 1)
2. x, t D
k
, tal que x ocorre em t (passo 2)
A partir disso:
1. Se S unicvel,
k
, tal que
k
um umg de S, logo [S
k
[ = 1 (condio 1).
161
2. Se S no unicvel,
k
, tal que
k
um umg de S, logo [S
k
[ ,= 1. Mas, se [S
k
[ ,= 1, ento
D
k
,= {}, logo x, t D
k
.
Entretanto, se
k
, tal que
k
um umg de S e x, t D
k
, logo x, t D
k
, tal que x
ocorre em t (condio 2).
162

Solucao Exercicios Logica

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Solucao Exercicios Logica

Diunggah oleh

Hak Cipta:

Format Tersedia

JOO NUNES de SOUZA

ATENO. Verso preliminar de soluo de

Como G tautologia, ento necessariamente Ricardo ama Elaine.

Anda mungkin juga menyukai