Enigmas Lógicos de Raymond Smullyan Adolfo Neto DAINF – UTFPR

Apresentação em tema: "Enigmas Lógicos de Raymond Smullyan Adolfo Neto DAINF – UTFPR"— Transcrição da apresentação:

1 Enigmas Lógicos de Raymond Smullyan Adolfo Neto DAINF – UTFPR adolfo@utfpr.edu.br

2 Quem roubou o cacho de bananas do presidente? ● Três suspeitos: o Deputado (D), o Senador (S) e o Prefeito (P) ● Com certeza um deles roubou?? ● D disse que não roubou ● S disse que um dos três roubou mas não foi ele ● P disse que pelo menos um dos dois (D ou S) está dizendo a verdade ● A polícia sabe que D e P não estão ambos dizendo a verdade

3 Quem roubou o cacho de bananas do presidente? ● Com certeza um deles roubou?? ● D disse que não roubou (não sabemos se é verdade) ● S disse que um dos três roubou mas não foi ele (não sabemos se é verdade) ● P disse que pelo menos um dos dois (D ou S) está dizendo a verdade (não sabemos se é verdade) ● A polícia sabe que D e P não estão ambos dizendo a verdade (sabemos que é verdade)

4 Quem roubou o cacho de bananas do presidente? ● A solução para o problema (no livro) informa que: “S disse que um dos três roubou mas não foi ele” ● É a mesma coisa que: “Ou D ou P roubou” ● Logo, está implícito que um dos três roubou

5 Quem roubou o cacho de bananas do presidente? ● Com certeza um e somente um deles roubou!! ● D disse que não roubou (não sabemos se é verdade) ● S disse que ou D ou P roubou (não sabemos se é verdade) ● P disse que pelo menos um dos dois (D ou S) está dizendo a verdade (não sabemos se é verdade) ● A polícia sabe que D e P não estão ambos dizendo a verdade (sabemos que é verdade)

6 Como resolver? ● Testar todas as possibilidades ● Árvore de possibilidades!!! ● Quando encontrar contradição, desprezar o ramo