Lógica Aplicada a Computação 2o semestre/2011 Professor: Newton José Vieira Lista do Monteiro/ 1. Em uma tabela-verdade existem dois valores). existem n 22 3. 2n linhas (pois cada uma das n variáveis recebe um de Como para cada linha o valor da fórmula pode ser um de dois valores, tabelas. 2. Supondo que (a) DCC/ICEx/UFMG Solução do Newton ¬∃xp(x); p(x) (b) signique ¬∀xp(x); x é perfeito e que a(x) signique x é meu amigo : (c) ∀x(a(x) → p(x)); (d) ∃x(a(x) ∧ p(x)); (a) Alguém enviou e-email. (b) Alguém enviou e-email para todos. (c) Todos enviaram e-email. (d) Alguém recebeu e-email de todos. (e) Todos receberam e-email. (f ) Todos enviaram e-email para todos. 4. Se o número de cartas na mesa não for 64, a seleção é incorreta: virar zero cartas (existem outras condições que garantem que a seleção é incorreta sem necessidade virar cartas). Caso contrário: 1: virar as azuis (que estão com face para baixo), enquanto aparecer apenas J, Q e K, no máximo 12 cartas; se virar número ou ao nal sobrar azul: seleção incorreta; 2: virar as com número (que estão com com face para cima) enquanto não aparecer azul, no máximo 40 cartas; se aparecer azul ou ao nal sobrar número, seleção incorreta. Passado esse processo, carão 40 vermelhas com face para baixo e as 24 guras com face para cima: a seleção é correta. 5. (a) João e Maria não mentem no mesmo dia e (b) só dizem ambos a verdade no domingo, e neste dia Maria estaria mentido se dissesse que mentiu sábado. De (a) e (b) conclui-se que um está dizendo a verdade e o outro não. Isto só pode ocorrer na 5a-feira: João diz a verdade quando diz que mentiu na 4a-feira, e Maria mente quando diz que mentiu na 4a-feira. 6. Se A dissesse a verdade, então, segundo o que diz todos seriam mentirosos, inclusive A. Logo, A é mentiroso. Se o que B diz é mentira, então, já que A também é mentiroso, os três estão mentindo; mas isso implica que A diz a verdade. Logo, B só pode estar falando a verdade e, portanto, além de A, C é mentiroso. Isso é consistente com o que C diz. Conclusão: A e C são mentirosos e B fala a verdade. 7. Os divisores de 36 são: 1, 2, 3, 4, 6, 9, 12 e 18 (facilmente obteníveis de Situações em que o produto das idades é 36, com as respectivas somas: 1 × 2 × 2 × 3 × 3). Prod = 36 Soma 1 1 36 38 1 2 18 21 1 3 12 16 1 4 9 14 1 6 6 13 2 2 9 13 2 3 6 11 3 3 4 10 Como a soma é insuciente para inferência das idades, então elas só podem ser 1, 6 e 6 ou 2, 2 e 9 (soma 13). Como uma é mais velha que as outras, conclui-se que as idades são 2, 2 e 9. 8. No início, não há como cada um saber se seu boné é branco ou não: ele sabe que os bonés dos outros dois são brancos, mas o dele pode ser preto ou branco; no entanto, ele sabe que se o boné dele for preto, um dos outros dois (ou os dois) levanta a mão com certeza absoluta que seu boné é branco. Assim, dado que após alguns minutos um deles levantou a mão, só pode ser porque ele, vendo que nenhum dos outros dois levantou a mão, o que aconteceria se seu boné fosse preto, concluiu então que seu boné era branco. 9. A seguir, a notação mercadoria; k+i k−i indica que deve-se colocar indica que deve-se colocar k k no prato dos pesos e no prato dos pesos e i i no prato da também. Com os pesos 1, 3, 9 e 27 pode-se pesar mercadorias com valores de 1 a 40: • Com o peso 1: 1; • Adicionando-se o peso 3: 2 = 3 − 1, • Adicionando-se o peso 9: 5 a 3, e 8 = 9 − i, 4 = 3 + 1, 9, e 10 a sendo 1 como acima. 13 = 9 + i, sendo i de 1 a 4 como acima; • Adicionando-se o peso 27: 14 a 26 = 27 − i, 27, e 28 a 40 = 27 + i, sendo i de 1 a 13 como acima. 10. Na situação descrita tem-se pelo menos duas • inconsistências : A viu B, B viu F e D viu ambos A e F (é impossível os quatro estarem na biblioteca ao mesmo tempo sem que também B tivesse visto D ou vice-versa ou que A tivesse visto F ou vice-versa); • A viu E, E viu C e C viu D e D viu A (é impossível os quatro estarem na biblioteca ao mesmo tempo sem que também A tivesse visto C ou vice-versa ou que D tivesse visto E ou vice-versa). Notando que apenas A e D são comuns a ambas, um dos dois deve estar mentindo. A única opção para retratação com relação ao dizem A e D que restabelece a consistência é a de que D viu A. Logo, D mente quando diz que viu A. Portanto, D é o ladrão.