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 10. a) comp[H] um nmero mpar.

LGICA para CINCIA da COMPUTAO

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 8. a) I[H] = F b) I[H] = T 9.

LGICA para CINCIA da COMPUTAO

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 el 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 quanticador "para todo", considerado na Lgica de Predicados. b) "Possivelmente" que considerado na Lgica Modal. c) O "tempo" considerado na Lgica Temporal. d) O quanticador "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 simplicar 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 identicao do estudante. Alm disso, a identicao 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 nalizar, 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 Denio 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 signica que (E H) tautologia. b) 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) Armao verdadeira. d) Armao falsa. e) Armao verdadeira. 2. a) Nesse caso, H b) Nesse caso, H c) Nesse caso, H d) Nesse caso, H e) Nesse caso, H G. Justique o porqu. G. Justique o porqu. G. Justique o porqu. G. Justique o porqu. G. Justique 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 4. a) Colunas iguais. b) Se ocorre T na coluna de H, ento necessariamente ocorre T na coluna de G. 5. Considere a soluo:

ELSEVIER

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 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 denies.

LGICA para CINCIA da COMPUTAO

H contraditria int. I, I[H] = F int. I, I[H G] = T (H G) tautologia. b) Utilize as denies. 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 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. Justique. b) No. Justique. c) Sim. Justique.

ELSEVIER

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 gura 4.3 correta a seguinte:
I[P ] = T d I[P ] = F d t3 2 t d T I[Q] = T d I[Q] = F d t5 4 t d T T Figura 4.1. Figura 4.3 Desenvolvimento da rvore semntica. 1 t

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 ca com ressaca". Determine correspondncias para todos os fatos. Utilizando tais correspondncias, dena as frmulas da lgica proposicional H1 , H2 , H3 , G1 ,..., G5 . A implicao semntica {H1 , H2 , H3 } 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 Gi

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 prossional". 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 armaes para frmulas da lgica proposicional. Em seguida, identique 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 innitas frmulas. Mas, o nmero mximo de colunas diferentes em uma tabela com 4 linhas 16 (justique). 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 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.

LGICA para CINCIA da COMPUTAO

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 simplicado 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. por 6. C (B C) pr6.3, 1., pr6.10 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 Modique o item d) do exerccio 3. para: 3. Considere as armaes ... 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 C (B C) pr6.3, 2., pr6.10

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 denio 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 signicado das frmulas. b) No, pois nem toda frmula de uma tautologia. c) As frmulas de utilizadas na derivao d) Sim. Pelo teorema da completude H devem ser tautologias. H para qualquer conjunto . H, logo

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 Ponens, conclui-se G. H e H G. Utilizando a regra Modus

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 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. H, ento como ( ) tem-se H.

7. Utilize o resultado da Proposio 6.6 e Modus Ponens. 8. Este exerccio uma generalizao da Proposio 6.8. Utilize a induo nita 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[ prova H vlida quando o comp [ H] = n. H] sobre a

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 Denio 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. P xxxxxxxxxxxxxxxx Na pgina 116, na demonstrao do Teorema da Correo, a regra R4 deve ser substituda por: R4 =
AB (AB)ou(AB)

R1 , 2.

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: H, segue o desenvolvimento

"A demonstrao de que a frmula H uma tautologia, isto dos exemplos anteriores." obtendo, A demonstrao de que a frmula H uma tautologia, isto dos exemplos anteriores.

H, segue o desenvolvimento

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 prossional". 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 armaes for uma tautologia, o conjunto de armaes 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 nal 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 signica 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 nita. 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 justicativa 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 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, conforme item a), H no tautologia. g) Falsa. Se todo tableau associado a H possui ramo aberto, ento H no tautologia. Mas isto no signica 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 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 Hc aberta, signica 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, signica 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 signica 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 signica 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 quanticadores. Conforme analisado na Lgica Proposicional, os conectivos , , e podem ser denidos a partir dos conectivos e ." por "Correspondncia entre quanticadores. Conforme analisado na Lgica Proposicional, os conectivos , e podem ser denidos 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 signica dizer que todo aluno de Cincia da Computao inteligente." por "Nesse caso, I[H1 ] = T signica 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