Diferentemente dos concorridos problemas da revista Coquetel, apenas um dos cinco desafios abaixo foi respondido, e mesmo assim por um único membro desta lista (e lógica formal não foi usada na solução apresentada). Não há homenagens portanto a fazer, nem presentes a serem distribuídos.
JM On Aug 12, 2013 10:59 PM, "Joao Marcos" <[email protected]> wrote: > > 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
