Disciplina: 093915 Lgica Ano/semestre: 2011/01 Crditos: 4 Hora-aula: 60 rea Temtica: Fundamentos da Computao Prof.

: Monica Py

Exerccios sobre Operadores lgicos, tabela-verdade, proposies e frmulas

Nos exerccios abaixo, marque a resposta correta: 1. Se P uma proposio verdadeira, ento: (a) (b) (c) (d) (e) (a) (b) (c) (d) (e) (a) (b) (c) (d) (e) P Q verdadeira, qualquer que seja Q; P Q verdadeira, qualquer que seja Q; P Q verdadeira s se Q for falsa; P Q falsa, qualquer que seja Q n.d.a. se x = 3 anto y = 7 se y = 7 ento x = 3 se y = 7 ento x = 3 se x = 5 ento y = 5 se x = 7 ento y = 3 (2 = 3) (2 x 3 = 5) (2 = 2) (2 x 3 = 5) (2 = 3) (2 x 3 = 5) (2 = 3) (2 x 3 = 5) (2 = 3) ( ( 2 = 2))

Questo 1.

2. Dados x e y so tais que "se x = 3 ento y = 7". Pode-se concluir que:

3. Assinale a proposio composta logicamente verdadeira:

Questo 2. Um jantar rene 13 pessoas de uma mesma famlia. Das armaes a seguir, referentes s pessoas reunidas, a nica necessariamente verdadeira : 1. pelo menos uma delas tem altura superior a 1,90m; 2. pelo menos duas delas so do sexo feminino; 3. pelo menos duas delas fazem aniversrio no mesmo ms; 4. pelo menos uma delas nasceu num dia par; 5. pelo menos uma delas nasceu em janeiro ou fevereiro. Questo 3. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies compostas:

1. Se 2 + 2 = 5, ento 3 + 3 = 6 2. No verdade que 2+ 2 = 6 se e somente se 4+ 4 = 9 3. Dante escreveu os Lusadas ou 5 + 7 < 2 4. No verdade que 1 + 1 = 3 ou 20 = 1 5. falso que, se Lisboa a capital da Frana, ento Braslia a capital da Argentina. 6. (8 > 2) (4 4) 7. (6 < 10) (6 > 3/2) 9. (5 > 8) (4 > 3)

8. (6 < 2) ((4 3) 1) 10. (4 < 2) (2 < 4)

11. (8 3 = 5) (2 2) 13. (8 > 10) (6 < 5)

12. (8 > 10) (6 2 = 4)

Disciplina: 093915 Lgica Ano/semestre: 2011/01 Crditos: 4 Hora-aula: 60 rea Temtica: Fundamentos da Computao Prof.: Monica Py

14. (4 < 2) (8 2 = 15) Questo 4. Dados os valores lgicos A verdadeira, B falsa e C verdadeira, qual o valor lgico de cada uma das seguintes frmulas? 1. A (B C) 2. (A B) C

3. (A B) C Questo 5.

4. A (B C) Qual o valor lgico de cada sentena?

1. 8 par ou 6 mpar. 2. 8 par e 6 mpar. 3. 8 mpar ou 6 mpar. 4. 8 mpar e 6 mpar. 5. Se 8 mpar, ento 6 mpar. 6. Se 8 par, ento 6 mpar. 7. Se 8 mpar, ento 6 par. 8. Se 8 mpar e 6 par, ento 8 < 6. Questo 6. Considerando que P e Q so sentenas verdadeiras, determine o valor lgico das seguintes sentenas: 1. ((P Q) R) (P (Q R)) 2. P Q R 3. (Q P) ((P R) (R Q)) 4. (Q R) (Q R) Questo 7. 5. (P Q Q) (R P) Considerando que P Q falsa, determine o valor lgico das seguintes sentenas:

1. (P Q) (Q R) 2. (P R) (P Q) 3. P (Q R) 4. P Q (R R)

5. (P Q) (P Q) Questo 8. Construa a tabela-verdade para cada frmula a seguir e identique se a frmula uma tautologia, uma contradio ou uma contingncia. Ex: A B A A V V F F B V F V F A F F V V AB V F F F A B A F V V V

1. (A A) (B B) 2. ((A B) (C))

Disciplina: 093915 Lgica Ano/semestre: 2011/01 Crditos: 4 Hora-aula: 60 rea Temtica: Fundamentos da Computao Prof.: Monica Py

3. (A B) (B A) 4. (A B) A B 6. A (A B) 5. (A B) C A (B C) 7. (A (B C)) ((A B) (A C)) 8. (A B) (B A) 10. A (B A) 9. (A B) ((A C) (B C))

11. ((A B) C) (A (B C)) 12. A B B A 13. (A B) (A B)

14. ((A B) C) A C 15. (A B) (A B) 16. P Q P

17. ((A B) C) (A (B C)) 19. ((P Q) (R S)) P 20. (P Q) (Q Q) 21. (P Q) (R Q)

18. (A (B C)) ((A B) (A C))

22. (P Q) (Q R)

23. (P Q) (Q P ) 25. A (B A)

24. (P (Q R)) ((P Q) (P R)) 26. ((A B) A)

27. (((A B)) ((A) (B)))

28. ((A (B C)) ((A B) (A C))) 30. (A ((B A)))

29. ((A A) ((B A) ((A B) B))) 31. (((A B)) A)

32. ((A C) (B C))

33. ((A C) ((B C) (B C))) 34. ((A B) ((C (B)) (D))) 35. ((A (B C)) ((A C) (A D))) 36. ((A (B C)) ((A B) (A C))) 37. ((A B) A) 38. ((A B) ((A (B)) (A))) 39. ((A B) (A)) 40. A A 41. (A) A 42. A B B 43. A A B

44. (A B) A B (Lei de De Morgan) 45. (A B) A B (Lei de De Morgan)

Disciplina: 093915 Lgica Ano/semestre: 2011/01 Crditos: 4 Hora-aula: 60 rea Temtica: Fundamentos da Computao Prof.: Monica Py

46. A A A

47. A (A B) B) 48. A A B 49. ( A B) ((A C) (B C)) 50. ( A B) (B C) 51. ((A B) (B C)) (( A B) ( B C))

52. ((A C) ( B C)) (( D C) (B D))

53. (( (A B) ( C D)) (( C D) ( A B))) 54. ((A B) (C D)) (( A C) ( B D)) 55. (( A B) ( C D)) (E A)) ((( E D) ( B A) (C A)) Questo 9. Mostre que a proposio P (P Q) uma tautologia e mostre que a proposio (P Q) (P Q) uma contradio. Questo 10. Mostre que as proposies (P Q) e P Q so logicamente equivalentes (construir tabelaverdade). Questo 11. Considere as proposies A, B e C como sendo verdadeiras, as proposies Y, Z como sendo falsas, verique quais expresses so verdadeiras. 1. (C Z) (Y B) (V F ) (F V ) V V V 2. (A B) (Y Z) 3. ((Y Z) (Z Y ))

4. ((C Y ) (Y C))

5. (A (B C)) ((A B) (A C)) Questo 12. Considere que P e Q so sentenas verdadeiras (V), determine o valor lgico das fbfs a seguir: 1. ((P Q) R) (P (Q R)) 2. P Q R 3. (Q P ) ((P R) ((R Q)) 4. (Q R) (Q R) Questo 13. Considere que Q P R falsa (F), determine o valor lgico das fbfs a seguir: 1. (P Q) R 2. (P Q) R 3. P (Q R) 4. Q R P

5. (((P Q) R) (P Q)) ((Q R) P R) Questo 14. Considere que P Q tem valor lgico verdadeiro (V), que valor deve se atribudo a R para que a frmula (Q (P Q) (P R) tenha valor lgico verdadeiro (V)? Questo 15. Sabe-se que P Q tem valor lgico falso (F), que valor deve ser atribudo para R para que a frmula (P Q R) P Q tenha valor falso (F)?

Disciplina: 093915 Lgica Ano/semestre: 2011/01 Crditos: 4 Hora-aula: 60 rea Temtica: Fundamentos da Computao Prof.: Monica Py

Exerccios sobre Argumentos

Questo 1. Formalize os seguintes argumentos, usando as letras indicadas. Utilize os indicadores de premissa e concluso para distinguir as premissas das concluses. 1. Se Deus existe, ento a vida tem signicado. Deus existe. Portanto, a vida tem signicado. (D, V) 2. Deus no existe. Pois, se Deus existisse, a vida teria signicado. Mas a vida no tem signicado. (D, V) 3. Se o avio no tivesse cado, ns teramos feito contato pelo rdio. No zemos contato pelo rdio. Portanto, o avio caiu. (C, R) 4. Como hoje no quinta-feira, deve ser sexta-feira. Hoje quinta-feira ou sexta-feira. (Q, S) 5. Se hoje quinta-feira, ento amanh ser sexta-feira. Se amanh for sexta-feira, ento depois de amanh ser sbado. Conseqentemente, se hoje for quinta-feira, ento depois de amanh ser sbado. (Q, S1, S2) 6. Hoje um m de semana se e somente se hoje sbado ou domingo. Portanto, hoje um nal de semana, desde que hoje sbado. (F, S, D) 7. Hoje um nal de semana se hoje sbado ou domingo. Hoje no um nal de semana. Portanto, hoje no sbado e hoje no domingo. (F, S, D) 8. Hoje um nal de semana somente se hoje sbado ou domingo. Hoje no sbado. Hoje no domingo. Portanto, hoje no um nal de semana. (F, S, D) 9. Lilica no est em casa ou no est atendendo ao telefone. Se Lilica no est em casa, ento ela foi seqestrada. Se Lilica no est atendendo ao telefone, ela est correndo algum outro perigo. Portanto, ela foi seqestrada ou ela est correndo outro perigo. (C, T, S, P) Questo 2. Modele as situaes com frmulas de lgica proposicional. Escreva o raciocnio usando argumentos. Quais argumentos so vlidos? Verique atravs de tabela-verdade 1. Se o tanque est vazio, o carro no anda. O tanque est vazio. Logo, o carro no anda. 2. Se o tanque est vazio, o carro no anda. O carro no anda. Logo, o tanque est vazio. 3. Se o carro no anda, o tanque est vazio ou o motor no funciona. O carro no anda. O tanque no est vazio. Logo, o motor no funciona. 4. Se o mundo redondo, as pessoas do outro lado vo cair. As pessoas do outro lado no caram. Logo, o mundo no redondo. 5. Se 7 < 4, ento 7 no nmero primo. 7 no < 4. Logo, 7 nmero primo. Questo 3. Interprete "Est chovendo"como a letra C e "Est nevando"como a letra N, e expresse a forma de cada sentena na notao indicada. 1. Est chovendo. 2. No est chovendo. 3. Est chovendo ou nevando. 4. Est chovendo e nevando. 5. Est chovendo, mas no est nevando. 6. No o caso que est chovendo e nevando. 7. Se est chovendo, ento est nevando. 8. No o caso que se est chovendo ento est nevando. 9. No o caso que se est nevando ento est chovendo. 10. Est chovendo se e somente se est no est nevando. 11. No o caso que est chovendo ou nevando.

Disciplina: 093915 Lgica Ano/semestre: 2011/01 Crditos: 4 Hora-aula: 60 rea Temtica: Fundamentos da Computao Prof.: Monica Py

12. Se est nevando e chovendo, ento est nevando. 13. Se no est chovendo, ento no o caso que est nevando e chovendo. 14. Ou est chovendo, ou est nevando e chovendo. 15. Ou est chovendo e nevando, ou est nevando mas no est chovendo. Questo 4. Verique se os argumentos so vlidos usando tabelas-verdade.

1. P Q, Q, P R R 2. P Q, P, Q 4. P Q, P Q 3. P Q R, R Q 5. P Q P Q R

6. P Q, R Q, P R 7. P Q, R Q, R P 8. (P Q) (R S), P S R Q 10. P Q, R P, Q R 12. P Q R, Q P R 9. P Q, R Q R P

11. P Q, R Q, R P 13. P Q, P, Q R R

14. P Q, R Q P R

15. P Q, P, (P R) Q R 16. P Q, R S, P S Q R 17. (P Q) R, R S T, (S T) U, U P Q 19. (P Q), ( P Q) (R S), S R R Questo 5. 1.1 1.2 1.3 1.4 1.5 2.1 2.2 2.3 2.4 2.5 2.6

18. P ( Q R), S (T V), Q (S T), (Q V) P R Justique cada passo da seqncia de demonstrao de:

1. A, (B C) (B (A C)) A BC B C AC

2. A (B C), B, C A A (B C) B C B C (B C) A

3. (A B) C, C A (A B) (A C)A 3.1 (A B) C 3.2 A 3.3 A

Disciplina: 093915 Lgica Ano/semestre: 2011/01 Crditos: 4 Hora-aula: 60 rea Temtica: Fundamentos da Computao Prof.: Monica Py

3.4 3.5 3.6 3.7 4.1 4.2 4.3 4.4 4.5 4.6 4.7

4. A, B, B (A C) C A B B (A C) AC (A) C A C C

AB C AC (A B) (A C)

5. B A, (B C) (E Q), (B A) C, E, B Q 5.1 B A 5.2 (B C) (E Q) 5.3 (B A) C 5.4 E 5.5 B 5.6 B A 5.7 A 5.8 B A 5.9 C 5.10 B C 5.11 E Q 5.12 Q

6. A (B C), E D, ((B C) (D F )) G (G A) E 6.1 A (B C) 6.2 E D 6.3 ((B C) (D F )) G 6.4 B C 6.5 D 6.6 D F 6.7 (B C) (D F ) 6.8 G 6.9 E 6.10 A 6.11 A 6.12 G A 6.13 (G A) E 7.1 7.2 7.3 7.4 7.5 7.6 7.7 (P B) T T (A C) A E (P B) T A C A

7. (P B) T, T (A C), A E, (P B) (A E) E

Disciplina: 093915 Lgica Ano/semestre: 2011/01 Crditos: 4 Hora-aula: 60 rea Temtica: Fundamentos da Computao Prof.: Monica Py

8. (B A) (C D), D, B, A (T Q) (T Q) R 8.1 B A) (C D) 8.2 D 8.3 B 8.4 A (T Q) 8.5 (C D) (B A) 8.6 C D 8.7 B A 8.8 A 8.9 T Q 8.10 (T Q) R

7.8 A 7.9 E 7.10 (A E) E

Questo 6.

Nos exerccios a seguir, prove que o argumento vlido utilizando o mtodo de deduo natural.

1. P (Q R), P, Q R 2. P Q, Q P 3. P Q, P R P R

4. P Q, R P P R 5. R P, R Q, R P Q 7. P Q, R, Q R P 6. P Q, (R S), P (R S) P Q 8. P Q, R S, P S R 10. P, P (Q R), R Q 12. R P Q, R, P Q

9. P, P Q, Q R P R

11. P Q, Q, P R S S 13. P Q, Q, P R R

14. P Q, P R, R S T, Q S T 15. P Q R, P, S Q, S T T 16. P Q, P, R Q R 18. P Q, Q, R P R 19. P Q, R P, R Q 20. P Q, Q, P R R 21. P Q, Q, P R R

17. P Q, Q, P R S R S

22. P Q, P R, P Q R 23. P Q, Q, P R R 24. P Q, Q R, P R

25. P Q, P R, Q S R S

26. R P Q, P Q, R S S

27. (P Q) R, R, (P Q) S S

28. (P Q) (R S), R S, Q T T

Disciplina: 093915 Lgica Ano/semestre: 2011/01 Crditos: 4 Hora-aula: 60 rea Temtica: Fundamentos da Computao Prof.: Monica Py

29. (P Q) (R S), R P

30. P Q R, R, Q (S T ) S T 32. P (Q R), (P S) R Q 33. P Q, P (R S) Q S 34. P Q R, R P Q

31. P Q, S R, P (R T ) Q S

35. P Q R, R S S P 36. P Q, Q R S, S P 37. P Q, (R P ), Q R

38. R T, T S, (R S) Q P P Q 39. P Q, R P, S R S Q 40. P, R Q, S P (R S) Q

41. R S, S Q, R (S P ) Q P S 42. Q P, T S, Q S (P R) T 43. P Q, Q R S, S P 44. P Q, Q S, T (R S) P T 45. (P Q) (R S), Q P S 46. P Q, P (R S) Q S

47. P Q R S, R S P Q 49. P Q, R P, Q R P

48. P Q, P R, S T R S Q 50. (P Q), R Q, P R R 52. P Q, S P, (Q R) S

51. P Q, P R, Q S R S 53. P Q, Q R, (S R) P 55. P Q, P Q 57. P Q Q P

54. P Q R, R P, Q R Q 56. P (Q R), P P Q 58. (P Q) (R S), P, Q S 59. P (P Q) (P R) 60. P, (P Q) (Q Q) 62. S D, S F, D F F 64. F (S D), S F 66. P Q Q P

61. P, (P Q) (R S) Q 63. (P Q) (P R), P S, Q S, P T, R T S T 65. P Q, (P Q) (Q P ) P Q 67. P Q, Q R P R 68. P (P Q) Q 69. (P Q) R P (Q R) 71. P Q, Q P

70. (P Q) (P R) P (Q R)

Disciplina: 093915 Lgica Ano/semestre: 2011/01 Crditos: 4 Hora-aula: 60 rea Temtica: Fundamentos da Computao Prof.: Monica Py

72. P Q (P Q) 73. P P P 74. (P Q), P Q 75. P Q (P Q) 76. P Q P Q

77. (P Q) P Q 78. A, (B A) B 79. (A B), (A (B C)) A C 80. ((C D) C) ((C D) D) 81. A, (A B) B 82. (P Q), P Q

83. (A B), (C A) (C B) A 85. P Q, R Q P R

84. (P (Q R)), (R S), (S T ) (T P ) 86. P (Q R), P Q S P S 87. R P Q, P Q, R S S 88. P Q R, R, Q (S T ) S T 89. P Q, Q S, T (R S) P T 90. P (Q R), P S, S R R 92. (P Q) R S, R P 93. (A B) (A B) 95. P (P Q), P Q 96. P (P Q) Q 97. Q R (P Q) (P R) 94. P Q (P Q) 91. (P Q) (R S), Q P S

98. P Q, R S (P R) (Q S) 100. P Q R ((P Q) R) 101. (P (Q P )) Q P 99. R, P (R Q) P (Q R)

102. (P Q) (P R) P (Q R) 103. A (B C), B, C A 104. (P R) (D C) R (C E) 106. T N, T F, E F, N E 107. A (B C), B, C A

105. A (R (B T )), C L, L A C (B R)

108. (A B) C, C A (A B) (A C) 109. A B, B, (B (A C)) C 110. B A, (B C) (E Q), (B A) C, E, B Q

111. (P B) T, T (A C), A E, (P B) (A E) E 112. (B A) (C D), D, B, A (T Q) (T Q) R 114. G N, N P G P 113. A (B C), E D, ((B C) (D F )) G (G A) E

Disciplina: 093915 Lgica Ano/semestre: 2011/01 Crditos: 4 Hora-aula: 60 rea Temtica: Fundamentos da Computao Prof.: Monica Py

115. C F (C F ) 116. F R F R 117. (P G), P N, G N

118. P (Q R), P Q, R D D 119. A Q, F R, A R F Q 120. P (A B), C D, D P, C B A 121. C (T L), L, E C, L E T 123. S (S R) R 122. (B C) (D C), B, C B D 124. A, B A B

125. (S R), B (S R), B P, Q B P Q 126. H B, D B, H D 127. E T, T (B H), (B E) K K

128. A (B C), B D, C D A X

129. (C N ) T, H S, H (S C) P (N T ) P 130. (P Q) R, R S, T U, T, S U (P Q) 132. P (Q R), P Q S P S 133. P Q R S, S Q 134. P Q, R Q, R P 131. P Q R, R Q (P (S T )), P S S T

135. P Q, Q S, T (R S) P T 136. P Q, R P, Q R 137. P (Q R), P S, S R R

138. P Q R, R (S T ), P Q P S

139. P Q, Q (P (R S)), R S, (R S) P 140. P Q, Q R, R P, P R P R 141. P Q R, R S T, T Q

142. P Q R, S (R T ), P S, S Q T 144. P Q, Q S, T (R S) P T 146. R S, Q S R Q 148. P (Q R), Q, R P

143. P (Q R), S (R T ), P S S (Q T ) 145. P Q, R S, (P T ) (R U ) Q S 147. R P, S T, T R S P Q 149. (P Q), P R, Q R P

150. P Q ((P Q) P ) (P (P Q)) 151. P Q, R S P R Q S 152. P Q R, R, S P S

153. P (Q R), P, R (S T ) S T 155. P Q, P R, Q S R S

154. P Q, R S P, Q S, R (R S) 156. P Q R, S R Q, S U P U 157. P Q, P R, R S Q S

Disciplina: 093915 Lgica Ano/semestre: 2011/01 Crditos: 4 Hora-aula: 60 rea Temtica: Fundamentos da Computao Prof.: Monica Py

158. (P Q) (S R), Q S, P S R S 159. (P Q) (R S), S (T U ), U R T 160. (P Q) R, R S T, T Q 162. P Q, R Q P R 161. P (Q R), Q P, S R (P S) 163. P Q, Q, R S, P (S T ) T R

164. (P Q) ((R S) T ), P, Q, T R S 166. R S, T P, R Q P Q S T

165. (P Q) R, S T R, S (T U ) P Q 167. P S, Q R, T S R T (P Q)

168. (P Q) R, R S, (P Q), S T U U 169. P Q, R Q, S Q P S R Questo 7. Os seguintes argumentos so vlidos. Formalize-os usando a interpretao indicada, e prove a validade da forma resultante utilizando somente as dez regras de inferncia. Letras sentenciais C P S V Interpretao A concluso deste argumento verdadeira As premissas deste argumento so verdadeiras Este argumento correto Este argumento vlido

1. Este argumento no incorreto. Portanto, este argumento correto. 1 S hip. 2 S 1, dn 2. Este argumento correto. Portanto, este argumento no incorreto. 3. Se este argumento for correto, ento ele ser vlido. Ele no vlido. Portanto, ele no correto. 4. Se este argumento for correto, ento ele no ser invlido. Ele correto. Da, ele vlido. 5. Se este argumento for correto, ento ele no ser invlido. Assim, se ele for invlido, ento ele ser incorreto. 6. Este argumento correto e vlido. Portanto, ele correto ou ele invlido. 7. Este argumento no , ambos, correto e invlido. Ele correto. Portanto, ele vlido. 8. Este argumento correto se e somente se todas as suas premissas forem verdadeiras. Mas nem todas as suas premissas so verdadeiras. Portanto, ele incorreto. 9. Se a concluso deste argumento for no-verdadeira, ento este argumento incorreto. Assim, no caso que este argumento correto e sua concluso no-verdadeira. 10. Se este argumento for incorreto e vlido, ento nem todas as suas premissas so verdadeiras. Todas as suas premissas so verdadeiras. Ele vlido. Portanto, ele correto. 11. Se este argumento for vlido e todas as suas premissas forem verdadeiras, ento ele ser correto. Se ele for correto, ento a sua concluso ser verdadeira. Todas as suas premissas so verdadeiras. Portanto, se este argumento for vlido, ento a sua concluso ser verdadeira. 12. Ou este argumento incorreto ou, caso contrrio, ele vlido e todas as suas premissas so verdadeiras. Donde, ele incorreto ou vlido. 13. Este argumento correto se e somente se ele for vlido e todas as suas premissas forem verdadeiras. Nem todas as suas premissas so verdadeiras. Da, ele incorreto. 14. Este argumento correto se e somente se ele for vlido e todas as suas premissas forem verdadeiras. Da, se ele for vlido, ele ser correto se todas as suas premissas forem verdadeiras.

Disciplina: 093915 Lgica Ano/semestre: 2011/01 Crditos: 4 Hora-aula: 60 rea Temtica: Fundamentos da Computao Prof.: Monica Py

15. Este argumento ser incorreto se e somente se nem todas as suas premissas forem verdadeiras ou se ele for invlido. Mas ele vlido e todas as suas premissas so verdadeiras. Portanto, ele correto. Questo 8. Usando a lgica proposicional, incluindo as regras apresentadas, prove que cada argumento nos exerccios a seguir vlido. Use as letras de proposio dadas. 1. Se o programa eciente, executa rapidamente: ou o programa eciente ou tem algum bug. No entanto, o programa no executa rapidamente. Logo, ele tem um bug. E, R, B 2. Se Jane a mais popular, ela ser eleita. Se Jane a mais popular, ento Carlos vai renunciar. Portanto, se Jane a mais popular, ela ser eleita e Carlos renunciar. J, E, C 3. A colheita boa mas no h gua suciente. Se houver muita chuva ou se no houver muito sol, ento haver gua suciente. Portanto, a colheita boa e h muito sol. C, A, V(chuva), S 4. Se o anncio for bom, o volume de vendas aumentar. Ou o anncio bom, ou a loja vai fechar. O volume de vendas no vai aumentar. Portanto, a loja vai fechar. A, V, L 5. No verdade que, se as tarifas de energia eltrica subirem, ento o uso diminuir, nem verdade que ou novas usinas eltricas sero construdas ou as contas no sero pagas com atraso. Portanto, o uso no vai diminuir e as contas sero pagas com atraso. T, U, E, C 6. A Rssia era uma potncia superior e, ou a Frana no era sucientemente poderosa ou Napoleo fez um erro. Napoleo no fez um erro, mas, se o exrcito no perdeu, ento a Frana era poderosa. Portanto, o exrcito perdeu e a Rssia era uma potncia superior. R, F, N, E 7. Se Jos levou as jias ou a Sra. Kracacoa mentiu, ento foi cometido um crime. O Sr. Kracacoa no estava na cidade. Se um crime foi cometido, ento o Sr. Kracacoa estava na cidade. Portanto, Jos no levou as jias. J, M, C, K Questo 9. cias: : 1. P 1 2 3 4 5 Utilizando as regras (bsicas, derivadas e de equivalncia), prove os teoremas e as equivaln (Q (P Q)) |P ||Q ||P Q |Q (P Q) P (Q (P Q))

hip pc hip pc 1, 2, cj 2 3, pc 1 4, pc

2. P (P Q) 3. (P P ) 4. (P Q) (Q P ) 5. (P Q) (P Q) 6. Q (P P ) 8. P (P Q) 9. P P 7. (P P ) Q

10. P (Q P )

11. P ((P Q) Q) 12. (P Q) (Q P ) 13. Q (P (P (Q P ))) 14. (P Q) (P Q)

Disciplina: 093915 Lgica Ano/semestre: 2011/01 Crditos: 4 Hora-aula: 60 rea Temtica: Fundamentos da Computao Prof.: Monica Py

1 2 3 4 5 6 7 8 9

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

hip pc 1, dn 2, demor 1 3, pc hip pc 5, demor 6, dn 5 7, pc 4, 8, I

15. (P P ) (Q Q)

16. (P Q) (P Q) 17. (P Q) (P Q) 18. (P Q) P Q

19. P ((P Q) (P Q))

21. (P Q) ((P Q) (P Q)) 22. (P P ) (Q Q) 23. (P P ) (Q Q) Algumas fbfs so provveis sem quaisquer suposies no hipotticas. Para indicar que uma fbf um teorema, escrevemos o smbolo ""diante da fbf. Esse smbolo arma que a frmula a sua direita provvel usando somente as frmulas sua esquerda como premissas; logo, quando no h frmulas a sua esquerda, ele arma que a frmula sua direita um teorema. A prova de um teorema se inicia com uma ou mais hipteses que sero descartadas por PC ou RAA. Uma equivalncia um bicondicional que um teorema. Se P Q, ento P e Q so interderivveis. Para provar a equivalncia, seguimos a estratgia usual para provar bicondicionais: prova-se condicionais necessrios para I, em provas separadas.

20. (P Q) ((P Q) (P Q))

Conceito de Teorema e de Equivalncia