JOO NUNES de SOUZA

LGICA para CINCIA da

COMPUTAO

Uma introduo concisa

2 de junho de 2009

1
A linguagem da Lgica Proposicional

Errata
Caso voc encontre algum erro nesse captulo ou tenha algum comentrio a fazer, envie-o para
nunes@ufu.br.
Muito obrigado.

Sugestes e solues de exerccios selecionados

1. a) No frmula
b) frmula
c) frmula
d) No frmula
e) frmula
2. a) Sim, por exemplo, as frmulas P , true, etc
c) No
3. a) comprimento igual a 11.
4. a) P (((P Q) R) P ).
5. c) ((P ) (Q Q)).
6. a) A frmula do item a) do exerccio 4 escrita como:
P QRP.
b) P QR P Q RP .
7. a) No.
b) No.
8.
9. Par.

ELSEVIER

LGICA para CINCIA da COMPUTAO

10. a) comp[H] um nmero mpar.

b) comp[H] o dobro do nmero de conectivos de H, mais um.

2
A semntica da Lgica Proposicional

Errata
Caso voc encontre algum erro nesse captulo ou tenha algum comentrio a fazer, envie-o para
nunes@ufu.br.
Muito obrigado.

Sugestes e solues de exerccios selecionados

1. No contexto deste livro, qual a diferena entre os smbolos?
a) true um smbolo sinttico, que pertence ao alfabeto da Lgica Proposicional e T um
smbolo semntico.
c) um conectivo, que pertence ao alfabeto da Lgica Proposicional e um smbolo da
metalinguagem. Observe, portanto, que no pertence linguagem da Lgica Proposicional.
2.
3.
4. a) No temos a possibilidade: I[P ] = T e I[Q] = F .
b) I[Q] = T
c) I[H] = T
d) Nada podemos concluir a respeito de I[Q]?
e) I[H] = F
5. a) I[(P Q) (P Q)] = T e nada podemos concluir a respeito de J[Q] e J[R].
6. a) I[(P R) (Q R)] = T
b) I[(P R) (Q R)] = T
c) Nada se pode concluir a respeito de I[(P Q) (P Q)]
7.

ELSEVIER

LGICA para CINCIA da COMPUTAO

8. a) I[H] = F
b) I[H] = T
9.
10. a) Considere as associaes: P = eu sou feliz, Q = voc feliz. Neste caso, a representao
dada por (P Q) (Q P )
b) Considere as associaes: P = Jos vir festa, Q = Maria gostar da festa. Nesse caso, a
representao dada por (P Q) (P Q).
11. A rigor, qualquer uma das sentenas pode ser representada na Lgica Proposicional. Basta representar toda a sentena por um smbolo proposicional. Entretanto, essa representao trivial
esta longe de ser a mais adequada, pois ela no fiel aos detalhes internos da sentena. E para
representar essas estruturas internas da sentena, so necessrios outros formalismos, outros
tipos de Lgicas, diferentes da Lgica Proposicional.
a) O quantificador "para todo", considerado na Lgica de Predicados.
b) "Possivelmente" que considerado na Lgica Modal.
c) O "tempo" considerado na Lgica Temporal.
d) O quantificador "existe", que considerado na Lgica de Predicados
l) "quase todo" Considerado em Lgicas no Clssicas.
m) "poucos" considerado em Lgicas no Clssicas.
12.
13.
14.
15.
16.
17. Uma soluo para este problema, que pode servir como paradigma para a soluo dos outros
exerccios, apresentada a seguir. Inicialmente, feita a seguinte pergunta a um dos indivduos.
1a pergunta: Qual o caminho para o restaurante que cada um dos outros indivduos me indicar?
Para simplificar a anlise das respostas, considere as seguintes correspondncias:

R caminho para o restaurante,

A caminho para o abismo,

NR no possvel responder.

A primeira pergunta pode ser feita ao operrio, ao estudante ou ao capitalista. Logo, h vrias
possibilidades de conjuntos de respostas.
i) Se a primeira pergunta for feita ao estudante, haver trs possibilidades de listas de respostas:
Respostas possveis do estudante: [R, A], [R, R], [A, A], [A, R].
A primeira lista de respostas, por exemplo, determina que um dos indivduos indica o caminho
para o restaurante e o outro o caminho do abismo. Observe que o estudante fala a verdade e/ou
mente sobre as respostas dos outros indivduos. Desta forma, ele sabe que o capitalista sempre

Captulo 2

ELSEVIER

indicar o caminho para o abismo e que o operrio indicar o caminho correto, representados
respectivamente por A e R. Logo, h trs possibilidades:
a) Ele fala a verdade sobre as respostas do operrio e do capitalista: Respostas [R, A] e [A,
R].
b) Ele mente sobre tais respostas: Respostas [A, R]e [R, A].
c) Ele mente sobre a resposta de um indivduo: Respostas [A, A] e [R, R].
ii) Se a primeira pergunta for feita ao capitalista, ocorrem as listas de respostas: [NR, A] e [A,
NR]. Neste caso, como o capitalista sempre mente, ele muda a resposta do operrio de R para
A e nada responde sobre o caminho indicado pelo estudante.
iii) Se a primeira pergunta for feita ao operrio, ele sabe que o capitalista mente e indica
o caminho A. Tambm neste caso, o operrio nada responde sobre o caminho indicado pelo
estudante. Logo, as listas de respostas so [A, NR] e [NR,A]. Concluindo, a partir dos possveis
conjuntos de respostas para a primeira pergunta, possvel dividir o conjunto de indivduos que
se encontram na encruzilhada estudante, operrio, capitalista em dois subconjuntos: estudante
e operrio, capitalista. Observe que o resultado deste fato a identificao do estudante. Alm
disso, a identificao do estudante s obtida quando a primeira pergunta dirigida a ele.
Observe que possvel repetir a pergunta para mais de um indivduo. Em seguida, feita a
segunda pergunta para um dos indivduos que no o estudante. Segunda pergunta: Qual o
caminho para o restaurante que o outro indivduo me indicaria? Neste caso, o "outro indivduo"
citado na pergunta anterior no pode ser o estudante. O turista deve indicar explicitamente
o indivduo, que no o estudante. Se a segunda pergunta for feita ao operrio, a resposta
ser: [A], pois ele honesto e sabe que o capitalista mente. Se a segunda pergunta for feita ao
capitalista, a resposta tambm ser: [A]. O capitalista sabe que o operrio responderia [R], mas
como ele mente, sua resposta ser [A]. Para finalizar, aps a resposta da segunda pergunta,
basta o turista seguir o caminho oposto quele indicado nesta resposta.

3
Propriedades semnticas da Lgica Proposicional

Errata
Caso voc encontre algum erro nesse captulo ou tenha algum comentrio a fazer, envie-o para
nunes@ufu.br.
Muito obrigado.
xxxxxxxxxxxxxxxx
Na pgina 32, na Definio 3.1, substitua
I[] = T
por
I[H1 ] = . . . = I[Hn ] = T . . .
xxxxxxxxxxxxxxxx
Na pgina 32, na primeira "Notao", na ltima sentena, substitua
"H no consequncia lgica semntica de G"
por
"H no consequncia lgica semntica de "
xxxxxxxxxxxxxxxx
Na pgina 36, na tabela 3.2, substitua a frmula
P Q
por
P Q
xxxxxxxxxxxxxxxx

ELSEVIER

LGICA para CINCIA da COMPUTAO

Na pgina 36, na tabela 3.2, substitua a frmula do ttulo da tabela:

(P Q))
por
(P Q)
xxxxxxxxxxxxxxxx
Na pgina 42, no incio da demonstrao da Proposio 3.9, substitua:
"Pelo Lema 3.2"
por
"Pelo Lema 3.3"
xxxxxxxxxxxxxxxx

Sugestes e solues de exerccios selecionados

1. a) Suponha que (E G) e (G H) so tautologias.
Mas, (E G) tautologia se e somente se interpretao I, I[E] = I[G].
(G H) tautologia se e somente se interpretao I, I[G] = I[H].
Como, para toda interpretao, I[E] = I[G] e I[G] = I[H], ento, para toda interpretao,
I[E] = I[H].
Portanto, interpretao I, I[E] = I[H], o que significa que (E H) tautologia.
b) Esta afirmao no verdadeira.
Considere o contra-exemplo E = P e G = P .
Nesse caso, (P P ) tautologia, mas nenhuma das frmulas (P P ) e (P P )
so tautologias.
c) Afirmao verdadeira.
d) Afirmao falsa.
e) Afirmao verdadeira.
2. a) Nesse caso, H G. Justifique o porqu.
b) Nesse caso, H 3 G. Justifique o porqu.
c) Nesse caso, H 3 G. Justifique o porqu.
d) Nesse caso, H G. Justifique o porqu.
e) Nesse caso, H G. Justifique o porqu.
3. a) Se ocorre T na coluna de Hi , ento necessariamente devemos ter T na coluna de Hj .
d) As colunas de Hi e Hj devem ser iguais.
10

Captulo 3

ELSEVIER

4. a) Colunas iguais.
b) Se ocorre T na coluna de H, ento necessariamente ocorre T na coluna de G.
5. Considere a soluo:
A, B, C, D insatisfatvel no existe interpretao I; I[A] = I[B] = I[C] = I[D] = T
interpretao I, I[A] = F ou I[B] = F ou I[C] = F ou I[D] = F
interpretao I, I[A B C D] = F
interpretao I, I[(A B C D)] = T
(A B C D) tautologia .
6.
7. a) No
b) Sim
c) No
d) Sim
e) Sim
f) Sim
g) Sim
h) Sim
i) No
8. a) Falsa
b) Falsa
c) Verdadeira
d) Falsa
e) Verdadeira
f) Verdadeira
g) Falsa
h) Falsa
i) Falsa
j) Falsa
k) Falsa
l) Verdadeira
m) Falsa
n) Falsa
9. a) Falsa
b) Verdadeira
11

ELSEVIER

LGICA para CINCIA da COMPUTAO

c) Falsa
d) Verdadeira
e) Verdadeira
f) Verdadeira
g) Verdadeira
h) Verdadeira
i) Verdadeira
j) Verdadeira
k) Verdadeira
l) Verdadeira
m) Verdadeira
n) Falsa
o) Verdadeira
p) Verdadeira
q) Falsa
r) Verdadeira
s) Verdadeira
t) Verdadeira
u) Falsa
v) Falsa
w) Verdadeira
x) Falsa
10. Considere a soluo:
a) Utilize as definies.
H contraditria int. I, I[H] = F
int. I, I[H G] = T
(H G) tautologia.
b) Utilize as definies.
H tautologia e G contraditria int.I, I[H] = T e int. I, I[G] = F
int. I, I[H G] = F
(H G) contraditria.
e) Falso em a) e verdadeiro em b).
11.
12.
13. a) Falsa
12

Captulo 3

ELSEVIER

b) Verdadeira
c) Falsa
14. No possvel concluir.
15. a) No satisfatvel.
b) Satisfatvel
c) Satisfatvel
d) Satisfatvel
e) Satisfatvel
f) Satisfatvel
g) Satisfatvel
16. a) No. Justifique.
b) No. Justifique.
c) Sim. Justifique.
17. O conjunto no satisfatvel. Suponha que {G, E H, H} seja satisfatvel. Logo, int. I;
I[G] = I[E H] = I[H] = T . Mas se I[H] = T , como H G, ento I[G] = T , o que um
absurdo pois I[G] = T .
18. a) Considere as associaes:
P = "Marcos est feliz",
Q = "Slvia foi ao baile",
R = "Marcos foi ao baile".
O conjunto representado pelo conjunto de frmulas
{P (Q R), P Q, R Q}

13

4
Mtodos para determinao de propriedades semnticas de
frmulas da Lgica Proposicional

Errata
Caso voc encontre algum erro nesse captulo ou tenha algum comentrio a fazer, envie-o para
nunes@ufu.br.
Muito obrigado.
xxxxxxxxxxxxxxxx
Na pgina 50, o n 3 corresponde frmula
N 3 = (P Q) (Q P ).
F T
T
T TF
xxxxxxxxxxxxxxxx
Na pgina 50, a figura 4.3 correta a seguinte:
1
t

I[P ] = T @ I[P ] = F
@
2
t

Rt3 T
@
I[Q] = T @ I[Q] = F
@@
4
t

Rt5
T

Figura 4.1. Figura 4.3 Desenvolvimento da rvore semntica.

xxxxxxxxxxxxxxxx
Na pgina 52, a antipenltima frmula da pgina :
H = ((P Q) (Q R)) (P R)
T T
T
T F F T F F
xxxxxxxxxxxxxxxx

ELSEVIER

LGICA para CINCIA da COMPUTAO

Na pgina 52, as penltimas frmulas da pgina so:

(P Q) e (Q R)
T T
T F
xxxxxxxxxxxxxxxx
Na pgina 53, a ltima frmula da pgina :
H = (P Q) (P Q)
T
F
F
xxxxxxxxxxxxxxxx
Na pgina 54, a segunda frmula da pgina :
H = (P Q) (P Q)
F
F
T
xxxxxxxxxxxxxxxx
Na pgina 56, substitua a sentena
se Maria est em Rio Branco, ento ela est no Acre.
Mas, se ela est em Boa Vista, ento ela est em Roraima,
por
se Maria est em Rio Branco, ento ela est no Acre.
Ou, se ela est em Boa Vista, ento ela est em Roraima,
xxxxxxxxxxxxxxxx
No exerccio 24., substitua a palavra "que" por "se". Temos, portanto:
24. Demonstre, utilizando o mtodo da negao, ou reduo ao absurdo, se a frmula a seguir
uma tautologia.
(P P1 ) (Q Q1 ) (P Q1 ) (Q P1 )
xxxxxxxxxxxxxxxx
No exerccio 25., duas frmulas foram escritas em uma mesma linha. O incio, correto, desse
exerccio dado por:
25. Considere as frmulas a seguir:
(P Q) (R S)
((P Q) R S) (P1 Q1 )

16

Captulo 4

ELSEVIER

Sugestes e solues de exerccios selecionados

21. Utilizando o mtodo da negao ou absurdo, tem-se.
H = P1 (P2 (P3 (P4 (P5 (P6 (P7 P1 ))))))
T F T F T F T F T F T F T F TF absurdo
Portanto, H tautologia.
G = (((P S) P ) (P P1 )) ((((P Q) P ) ((P R) R)) P )
F F
T F T F T
F
F F
T F T F
T
F F
Independente da interpretao dos smbolos S, P1 , Q e R no h absurdo, logo G no
tautologia.
26. a) Considere a frmula
G = (P Q) (P Q)
F F F F TF F F
G no uma tautologia. Dado I tal queI[P ] = F e I[Q] = F , ento I[G] = F . Os valores
de verdade de P e Q esto abaixo dos smbolos P e Q respectivamente.
b) I[H] = T
28. Traduza os fatos para a linguagem da Lgica Proposicional. Considere, por exemplo, as correspondncias
P1 = "Alirio toma vinho",
P2 = "Alirio fica com ressaca".
Determine correspondncias para todos os fatos.
Utilizando tais correspondncias, defina as frmulas da lgica proposicional
H1 , H2 , H3 , G1 ,..., G5 .
A implicao semntica
{H1 , H2 , H3 } Gi
ocorre se, e somente se, a frmula
(H1 H2 H3 ) Gi
uma tautologia. Quando isto ocorre, se H1 , H2 e H3 so verdadeiras, ento Gi tambm
verdadeira.
29.

i) Considere as associaes:
P = "Ricardo ama Lcia",
Q = "Ricardo ama Elaine".
Representamos as implicaes pelas frmulas a seguir:
((P Q) (P Q)) P
F T T T F T
F F
Como no h absurdo, ento Ricardo no necessariamente ama Lcia.
((P Q) (P Q)) P
F F F TF F T F F F
17

ELSEVIER

LGICA para CINCIA da COMPUTAO

Como h absurdo, ento Ricardo necessariamente ama Elaine.

iii)
(((P Q) P ) (P (P Q))) P
F FT T F T F T
F F
Como h absurdo, ento Ricardo necessariamente ama Lcia.
(((P Q) P ) (P (P Q))) P
F T
T
T
F
F F
H dois casos a considerar. I[P ] = T ou I[P ] = F
(((P Q) P ) (P (P Q))) P
F T F TF F T
T
F
F F
Se I[P ] = F , ocorre absurdo.
(((P Q) P ) (P (P Q))) P
T F F T T T T T T F F
F F
Se I[P ] = T , tambm ocorre absurdo. Portanto, Ricardo necessariamente ama Elaine.
iv) Neste caso, o dilogo expresso por (P Q) (P (P Q))
v) Neste caso, o dilogo expresso por (P Q) (P Q)
33. Considere as associaes:
P = "H sangue na cena do crime",
Q = "O matador um profissional".
Logo, as opinies dos detetives so representadas por:
Ana: P Q
Teresa: (P Q)
Cynthia: Q P
Melo: P
a) O conjunto de concluses no satisfatvel.
b) Basta determinar se ((P Q) P ) Q uma tautologia.
c) Basta determinar se (P Q) (P Q) uma tautologia.
34. Transforme a afirmaes para frmulas da lgica proposicional. Em seguida, identifique se
ocorrem as implicaes semnticas.
35. d) Considere as associaes:
P = "Os investimentos em Uberlndia permanecero constantes",
Q = "Os gastos da prefeitura aumentaro",
R = "Crescer o desemprego",
S = "Os impostos municipais podero ser reduzidos".
A representao na Lgica Proposicional a seguinte:
((P (Q R)) (Q S) ((S P ) R)) Q
F T F
T TF T T T TF F T
F F
Como no h absurdo, os argumentos no so vlidos.

18

5
Relaes semnticas entre os conectivos da Lgica
Proposicional

Errata
Caso voc encontre algum erro nesse captulo ou tenha algum comentrio a fazer, envie-o para
nunes@ufu.br.
Muito obrigado.

Sugestes e solues de exerccios selecionados

2. Todos os itens deste exerccio podem ser resolvidos utilizando os passos da soluo do item a).
a) Construa inicialmente uma tabela verdade com os smbolos P e Q. Esta tabela deve conter
4 linhas, uma coluna para P e outra para Q.
Adicione, completando a tabela, uma coluna para cada uma das frmulas P Q, Q P ,
P (P Q), P (Q P ), Q (P Q), Q (Q P ), (P Q) P ,
(P Q) Q, (Q P ) P , (Q P ) Q etc e etc.
Observe que consideramos todas as frmulas construdas a partir de P e Q utilizando o
conectivo . H infinitas frmulas. Mas, o nmero mximo de colunas diferentes em uma
tabela com 4 linhas 16 (justifique). Logo, muitas frmulas tm colunas que coincidem e,
portanto, so equivalentes.
Portanto, o nmero de colunas diferentes , necessariamente, menor ou igual a 16.
P Q pode ser expressa equivalentemente utilizando apenas o conectivo se alguma
coluna da tabela obtida for igual coluna de P Q.
b) Anloga soluo de a).
c) Anloga soluo de a).
d) Pode ser resolvido utilizando os passos do item a). Mas h uma soluo mais simples. Se
I[P ] = T , ento I[P ] = F . Mas, se I[P ] = T , ento qualquer frmula H que contm
apenas P e tal que I[H] = T . No possvel negar P utilizando apenas P e .
e) Anloga soluo do item d).
f) Anloga soluo do item a, trocando por .

ELSEVIER

LGICA para CINCIA da COMPUTAO

g) Anloga soluo do item f).

h) Anloga soluo do item f).
i) Anloga soluo do item d).
3. a) Utilize os resultados do exerccio anterior.
b) Siga os passos da demonstrao da proposio que demonstra, utilizando o princpio da
induo, que qualquer frmula H pode ser expressa, equivalentemente, utilizando apenas
os conectivos do conjunto {, } e os smbolos proposicionais e de verdade de H.
4. c) Anloga demonstrao da proposio 5.11.
c) Anloga demonstrao da proposio 5.12.
7. Observe inicialmente que a segunda forma do princpio da induo implica o princpio da induo
na lgica. Demonstre que o princpio da induo na lgica implica o novo princpio da induo.
O princpio da induo na lgica dado pela implicao
[base-lgica passo-lgica] E, B[E].
e o novo princpio da induo
[base-nova passo-novo] E, B[E].
Deve-se demonstrar que
{ [base-lgica passo-lgica] E, B[E] } implica { [base-nova passo-novo] E, B[E] }.
A demonstrao desta implicao equivale demonstrao de
[base-nova passo-novo] implica [base-lgica passo-lgica].
Observe que neste caso base-nova est contida em base-lgica, como tambm passo-novo est
contido em passo-lgica. Para demonstrar essa implicao utilize o fato de qualquer frmula
pode ser reescrita de forma equivalente utilizando apenas os conectivos e .
9. a) Considere
B[E] frmula Ef , tal que Ef equivale a E e Ef f nd.
Utilize o princpio da induo na lgica simplificado para demonstrar que E, B[E].
10. e) Sim, a funo associada ao conectivo nor ou ao conectivo nand.
f) Para facilitar a soluo, considere inicialmente os casos particulares. H quatro funes
1
2
n
unrias, isto : 22 . H dezesseis funes binrias, isto 22 = 24 . Em geral, h 22 funes
n-rias. Voc pode conferir essa resposta analisando a relao entre as funes de verdade nrias e as tabelas verdade. Ou, para ser mais rigoroso, voc pode demonstrar esse resultado
utilizando o princpio da induo.

20

6
Um sistema axiomtico formal na Lgica Proposicional

Errata
No Exemplo 6.1, o conjunto de hipteses no vazio. A forma correta desse exemplo a seguinte.
Exemplo 6.1 (prova no sistema Pa ). Consideramos neste exemplo uma prova em que
o conjunto de hipteses dado por: = {P P }.
...
...
Seja:
H4 = P P.
Observe que H4 pode ser denotada por (P P ), ou seja, H4 uma hiptese.
H4 = P P.
...
...
Concluso: como = {P P }, ento temos uma prova de (Q P ) P a partir dos
axiomas de Pa e da hiptese {P P }. Nesse caso, a seqncia de frmulas H1 , H2 , H3 , H4 , H5
a prova de (Q P ) P.
xxxxxxxxxxxxxxxx
No Exemplo 6.2 substitua a linha
H2 = G3 , ou seja H1 = P1 ;
por
H2 = G3 , ou seja H2 = P1 Q;
e
H6 = G6 , ou seja H6 = P6 P ;
por
H6 = G6 , ou seja H6 = P4 P ;

ELSEVIER

LGICA para CINCIA da COMPUTAO

xxxxxxxxxxxxxxxx

Na demonstrao da Proposio 6.5, substitua na linha 10. "ex5" por "ex6".

xxxxxxxxxxxxxxxx
Na demonstrao da Proposio 6.11, substitua
6.

` C (B C)

pr6.3, 2., pr6.10

` C (B C)

pr6.3, 1., pr6.10

por
6.

xxxxxxxxxxxxxxxx
Na demonstrao da Proposio 6.13, substitua "pr12" por "pr6.12"
xxxxxxxxxxxxxxxx
Na demonstrao da Proposio 6.14, substitua "pr12" por "pr6.12"
xxxxxxxxxxxxxxxx
Na pgina 100, na primeira linha do primeiro pargrafo, onde est escrito I[Hi ] = T, troque
por Ii [H] = T. Como resultado, temos a frase:
"Como H uma tautologia, ento para qualquer interpretao Ii temos Ii [H] = T."
xxxxxxxxxxxxxxxx
Na pgina 102, substitua
"Portanto, para qualquer smbolo Pi h 2n1 2n1 pares de interpretaes complementares,
ou seja 22(n1) ."
por
"Portanto, para qualquer smbolo Pi h 2n1 pares de interpretaes complementares."
xxxxxxxxxxxxxxxx
Modifique o item d) do exerccio 3. para:
3. Considere as afirmaes ...
d) Se {H} ` G ento ` H G.
xxxxxxxxxxxxxxxx
Caso voc encontre algum erro nesse captulo ou tenha algum comentrio a fazer, envie-o
para nunes@ufu.br.
Muito obrigado.
22

Captulo 6

ELSEVIER

Sugestes e solues de exerccios selecionados

1. necessrio demonstrar que se H e H G so tautologias, ento G tautologia. Para demonstrar, basta utilizar a definio de tautologia. H I, I[H] = T e (H G) I,
se I[H] = T, ento I[G] = T
Portanto, I, I[H] = T e I, se I[H] = T, ento I[G] = T. Conclui-se que I, I[G] = T. Portanto
G tautologia.
2. a) No considera o significado das frmulas.
b) No, pois nem toda frmula de uma tautologia.
c) As frmulas de utilizadas na derivao ` H devem ser tautologias.
d) Sim. Pelo teorema da completude ` H, logo ` H para qualquer conjunto .
3. a) Suponha ` H. Logo, existe uma prova de H a partir de . Para demonstrar ` H basta
considerar a prova de H a partir de . Como , esta prova demonstra que ` H.
b) Falso, pois se ` H, ento existe prova de H a partir de . Como , ento no
necessariamente existe prova de H a partir de .
c) Demonstre inicialmente que se
` (H G), ento ` H e ` G
Em seguida, utilize Modus Ponens.
d) Utilizando o teorema da deduo tem-se ` H H. Observe que H H pode ser uma
conseqncia lgica de sem que H G seja uma conseqncia lgica de .
e) Se ` H e ` H G, ento ` H e ` H G. Utilizando a regra Modus
Ponens, conclui-se ` G.
g) Suponha que seja satisfatvel. Logo, interpretao I tal que I[] = T. Mas se `
(P P ), ento I[(P P )] = T, o que absurdo. Portanto insatisfatvel.
i) Se ` H, ento como ( ) tem-se ` H.
j) Falso.
5. Sim. Neste caso o conjunto deve ser insatisfatvel. Basta considerar por exemplo = {H, H}.
6. Considere o roteiro.
1.
2.
3.
4.
5.

`
`
`
`
`

Ax3 , H = P, G = P e E = P
pr3, pr4
M P, 1., 2.
pr2,
M P, 3., 4.

7. Utilize o resultado da Proposio 6.6 e Modus Ponens.

8. Este exerccio uma generalizao da Proposio 6.8. Utilize a induo finita para demonstrar
este caso geral.
9. Como Pb um sistema axiomtico, ele contm pelo menos um axioma. Seja A um axioma de Pb ,
logo ` A. Seja B uma frmula qualquer, ento a partir de ` (H (H G)), utilizando a Regra

23

ELSEVIER

LGICA para CINCIA da COMPUTAO

da Substituio conclui tambm ` (A (A B)) e (A (A B)). Aplicando Modus

Ponens a tais resultados e `A, possvel concluir ` B e ` B. Portanto, Pb inconsistente.
10. Considere o caso particular do princpio da induo onde A(n) a assero B[ ` H] sobre a
prova ` H vlida quando o comp [ ` H] = n.
b) Basta observar que nesse caso A(n) um caso particular do caso mais geral considerado no
princpio da induo.
13. Considere A(n) "O teorema da correo vlido para provas de comprimento n".

24

7
Tableaux semnticos e resoluo na Lgica Proposicional

Errata
Na pgina 110, na Definio 7.2, a regra R6 deve ser escrita como:
R6 = (A B)
.&
A B
xxxxxxxxxxxxxxxx
Na pgina 115, no tableau da Figura 7.8, a linha 5. deve ser substituda por:
5.

R1 , 2.
xxxxxxxxxxxxxxxx

Na pgina 116, na demonstrao do Teorema da Correo, a regra R4 deve ser substituda

por:
R4 =

AB
(AB)ou(AB)

xxxxxxxxxxxxxxxx
Na pgina 117, no Tableau 7.1, substitua na linha 3., "P " por "P1 "
xxxxxxxxxxxxxxxx
Na pgina 119, substitua o smbolo por no pargrafo:
"A demonstrao de que a frmula H uma tautologia, isto H, segue o desenvolvimento
dos exemplos anteriores."
obtendo,
A demonstrao de que a frmula H uma tautologia, isto H, segue o desenvolvimento
dos exemplos anteriores.

ELSEVIER

LGICA para CINCIA da COMPUTAO

xxxxxxxxxxxxxxxx

Na pgina 127, na segunda frmula, no topo da pgina, devemos escrever:

(P1 P2 P3 ) (P1 P4 ) (P2 P4 ) (P3 P4 ) P4 .
xxxxxxxxxxxxxxxx
Na pgina 129, a forma clausal Hc , escrita na notao de conjuntos dada por:
Hc = {{P }, {Q}, {P, R, P1 }, {Q1 , R}, {Q, Q1 }, {P1 }}.
xxxxxxxxxxxxxxxx
Caso voc encontre algum erro nesse captulo ou tenha algum comentrio a fazer, envie-o
para nunes@ufu.br.
Muito obrigado.

Sugestes e solues de exerccios selecionados

1. Para demonstrar por exemplo que {R1 , R2 , R5 } implica R3 , demonstre que o "denominador" de
R3 pode ser obtido a partir de seu "numerador" utilizando apenas as regras R1 , R2 e R3 .
Transforme o "numerador" (A B) em (A B).
4. Em cada item deste exerccio, as sentenas devem, inicialmente, ser representadas na Lgica
Proposicional.
Nesta representao, sentenas do tipo "se A ento B", "B se A" so representadas por
"A B".
Observe que em sentenas do tipo "se A, ento B" a palavra "ento" pode ser omitida e,
nesse caso, temos uma sentena da forma "Se h pouco sangue na cena do crime, o matador
um profissional".
Aps a representao de cada conjunto de sentenas, obtemos, por exemplo, um conjunto da
forma = {H, G, E}. Nesse caso,
no satisfatvel
int.I, I[H] = F ou I[G] = F ou I[E] = F int.I, I[H G E] = F
int.I, I[(H G E)] = T
(H G E) tautologia.
Portanto, em cada item se a negao da conjuno das afirmaes for uma tautologia, o conjunto
de afirmaes no satisfatvel. Caso contrrio ele satisfatvel.
Para demonstrar se (H G E) tautologia utilizando tableaux semnticos basta iniciar o
tableau com a frmula (H G E). Para demonstrar se (H G E) tautologia utilizando
resoluo deve-se iniciar a resoluo com o conjunto {H, G, E}.
26

Captulo 7

ELSEVIER

5. Em cada item deste exerccio, as sentenas devem ser inicialmente representadas na Lgica
Proposicional. Veja as observaes do exerccio anterior.
Em vrios itens temos um conjunto de sentenas seguidas por uma concluso, que geralmente
ocorre aps a palavra "portanto". A representao final nestes casos so sentenas do tipo
(H G E) A.
Utilizando tableau, a validade da frmula demonstrada iniciando o tableau com
((H G E) A).
No caso da resoluo necessrio determinar a forma clausal de
((H G E) A)
que equivalente a
(H G E A).
Observe que a ltima frmula transformada em uma frmula clausal se H, G, E e A so
transformada em disjunes de literais.
6. Considere B[E] frmula Ec tal que Ec est na forma clausal e Ec equivale a E".
7. Suponha que existe uma prova de H por resoluo. Logo, existe uma expanso por resoluo
fechada a partir de Hc onde Hc a forma clausal de H.
Nesse caso, H equivale a Hc . Portanto, H tautologia Hc tautologia ou equivalentemente, H contraditria Hc contraditria.
Devemos demonstrar que se a expanso por resoluo a partir de Hc fechada, ento Hc
contraditria.
Logo, conclumos que H contraditria e H tautologia.
Considere ento que a expanso por resoluo a partir de Hc fechada. Suponha por absurdo
que I tal que I[Hc ] = T .
Como a regra da resoluo mantm a validade, ento o resultado de sua aplicao sobre Hc
deve ser tambm uma frmula cuja interpretao igual a T .
Como a expanso fechada, a ltima clusula vazia. Mas a clusula vazia somente obtida
aplicando a resoluo a um conjunto do tipo: {A, A}.
Isto significa que I[A A] = T , ou seja, I[A] = T e I[A] = T o que uma absurdo.
Portanto, se I[Hc ] = T , ento obtmos um absurdo.
Logo, no existe interpretao I tal que I[Hc ] = T , isto I, I[Hc ] = F . Conclui-se que
Hc tautologia e portanto que H tautologia.
Nota. Uma demonstrao mais rigorosa do teorema da correo deve usar induo finita.
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.
c) Verdadeira. A justificativa a mesma do item a).
27

ELSEVIER

LGICA para CINCIA da COMPUTAO

d) Falsa. Se existe tableau associado a H com ramo fechado, isto no significa que no haja
ramo aberto. Caso haja ramo aberto, ento H no tautologia.
e) Verdadeira. Se existe tableau associado a H com todos os ramos fechados, ento tem-se
uma prova de H utilizando tableau. Logo, pelo teorema da correo,H tautologia.
f) Falsa. Como todo tableau associado a H possui ramo aberto, ento, conforme item a), H
no tautologia.
g) Falsa. Se todo tableau associado a H possui ramo aberto, ento H no tautologia. Mas
isto no significa que H contraditria.
h) Falsa. Considere a frmula H tal que H = P . Nesse caso, o tableau associado a H possui
todos os ramos abertos. Entretanto H no contraditria.
i) Falsa.
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.
k) Falsa. Se existe tableau associado a H com todos os ramos fechados, ento, pela mesma
justificativa do item e), H tautologia.
l) Falsa. Se todo tableau associado a H possui ramo fechado e aberto, ento, devido presena
de ramo aberto, H no tautologia, podendo ser satisfatvel, contraditria ou contigncia.
m) Verdadeira. Se toda expanso por resoluo associada a Hc aberta, significa que no
existe expanso associada a Hc fechada. Logo, no possvel obter uma contradio de
I[Hc ] = T sendo I[Hc ] = F I, isto , Hc e H no so tautologias.
n) Verdadeira. Se no existe expanso por resoluo associada a Hc fechada, significa que
todas so abertas. Logo, H no tautologia.
o) Falsa. Se existe expanso por resoluo associada a Hc fechada, ento existe uma prova
por resoluo de H. Logo, pelo teorema da correo, H tautologia.
p) Verdadeira. Se existe expanso por resoluo associada a Hc fechada, existe uma prova de
H por resoluo. Logo, H tautologia.
q) Verdadeira. Se existe expanso por resoluo associada a Hc fechada, ento, conforme item
p), H tautologia. Logo, H contraditria.
r) Falsa. Se toda expanso por resoluo associada a Hc aberta, ento H no tautologia.
Isto no significa e que Hseja tautologia.
s) Falsa. Se no existe expanso por resoluo associada a Hc fechada, ento todas so abertas.
Logo, pelo item r), H no tautologia. Isto no significa que H seja contraditria.

28

8
A linguagem da Lgica de Predicados

Errata
Na pgina 148, substitua a frmula
H = ((((x)((y)p(x, y))) (z)(q(z))) r(y))
por
H = ((((x)((y)p(x, y))) ((z)(q(z))) r(y)).
xxxxxxxxxxxxxxxx
Na pgina 148, substitua o incio do pargrafo
"Correspondncia entre quantificadores. Conforme analisado na Lgica Proposicional, os conectivos , , e podem ser definidos a partir dos conectivos e ."
por
"Correspondncia entre quantificadores. Conforme analisado na Lgica Proposicional, os conectivos , e podem ser definidos a partir dos conectivos e . "
xxxxxxxxxxxxxxxx

Sugestes e solues de exerccios selecionados

9
A semntica da Lgica de Predicados

Errata
Na pgina 167, substitua
"Nesse caso, I[H] = T significa dizer que todo aluno de Cincia da Computao inteligente."
por
"Nesse caso, I[H1 ] = T significa dizer que todo aluno de Cincia da Computao inteligente."
xxxxxxxxxxxxxxxx
Na pgina 148, substitua
I[H2 ] = F I[(x)p(x)] = T
d alunos CC, d inteligente
d alunos CC, pI (d) = T
d alunos CC, < x d > I[p(x)] = T
por
I[H2 ] = T I[(x)p(x)] = T
d alunos CC, d inteligente
d alunos CC, pI (d) = T
d alunos CC, < x d > I[p(x)] = T
xxxxxxxxxxxxxxxx
Nas pginas 167 e 168, substitua "aluno CC" por "alunos CC".
xxxxxxxxxxxxxxxx

Sugestes e solues de exerccios selecionados