> João Marcos, muito obrigado pela formalização - eu estava prestes a > formular algo parecido (em lógica de primeira-ordem). Muito bacana as > variantes que apresentaste! (Gostei principalmente de V4).
Grato, Luis! A propósito, respostas sobre os problemas que formulei em minha mensagem anterior (repetidos abaixo) podem me ser enviadas offlist. Os vencedores serão homenageados nesta lista. :-) * * * Regras da Ilha dos Extremos: - todo habitante é um Veritoso ou um Falseoso - Veritosos sempre dizem a verdade - Falseosos sempre mentem Enunciado original do enigma: > Sherlock Holmes e John Watson foram chamados para investigar um assassinato > na Ilha dos Extremos: um lugar em que, para todo habitante, ou ele sempre > fala algo verdadeiro, ou ele sempre diz algo falso. A missão de Holmes é > descobrir se dois suspeitos que habitam a Ilha, Mori e Art, são ou não os > assassinos, sendo que ambos afirmaram ter cometido o crime. Durante o > interrogatório, Mori diz o seguinte: "Pelo menos um de nós não é o > assassino". Holmes diz sem embargo: "Não precisam dizer mais coisa alguma. > O caso está resolvido." Watson pergunta a Holmes um pouco confuso: "Como > descobriu tão rápido, Holmes?" Holmes responde: "Elementar, meu caro > Watson...". Variantes do enigma acima: (V1) O que Holmes poderia ter concluído se a segunda sentença de Mori tivesse sido, ao invés: "Se eu for culpado, então Art também é culpado"? (V2) O que Holmes poderia ter concluído se a segunda sentença de Mori tivesse sido: "Sou culpado se e somente se Art também for"? (V3) O que Holmes poderia ter concluído se a segunda sentença de Mori tivesse sido simplesmente: "Art é inocente"? (V4) O que Holmes poderia ter concluído se a segunda sentença de Mori tivesse sido: "Somos ambos culpados"? (V5) Que frase poderia ter sido dita por Mori para que Holmes concluísse que nenhum dos dois suspeitos é culpado? * * * JM -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
