Vou dar uma forcinha ao Frank para ajudar a clarificar novamente o **objetivo** da charada que ele nos ofereceu. Uma solução _minimamente satisfatória_ para tal problema de "encontrar os assassinos" consistiria em mostrar quem *é* assassino e também quem *não é*, e uma solução _completa_ consistiria em ainda por cima explicar o raciocínio que levou à solução minimamente satisfatória. Gritar que "Fulano é culpado" não caracteriza uma solução de nenhum destes dois tipos.
Há 7 premissas envolvidas, apresentadas numa certa sequência temporal. Das 5 primeiras se pode concluir (use o seu SAT-solver preferido, se quiser!) que César é inocente. Ao se adicionar a 6a premissa já se pode inferir também a inocência de Marco Aurélio e de Maria de Fátima. Ao se adicionar a 7a premissa também se pode inferir a inocência de Eugênio. Das 3 últimas premissas, sozinhas, se pode concluir que Leila é culpada (usando raciocínio indireto). Tendo em vista esta última conclusão, caso todas as premissas tivessem sido apresentadas logo de início, poder-se-ia usar de imediato as 4 primeiras (usando, digamos, raciocínio hipotético e contraposição, ou o método da resolução) para inferir a inocência de todos os demais suspeitos. Fica como tarefa para o leitor logicamente competente transformar esta solução minimamente satisfatória numa solução completa. []s, Joao Marcos On Sun, Feb 9, 2025 at 4:49 PM FRANK THOMAS SAUTTER <ftsaut...@ufsm.br> wrote: > > Descartar UM suspeito e confirmar UM assassino é uma resposta incompleta, > Prolo. O enunciado do divertimento deixa claro que pode ter havido um complô > para matar Odete Roitman. Se usar papel, é bem possível que chegue a uma > solução completa. > > Em domingo, 9 de fevereiro de 2025 às 13:16:56 UTC-3, prolo escreveu: >> >> Cesar não matou. >> Leila matou. >> É só cadeia de implicação e contrapositivo. >> Precisa nem usar papel. >> >> >> On Sun, Feb 9, 2025 at 1:10 PM Carlos Augusto Prolo <pr...@dimap.ufrn.br> >> wrote: >>> >>> Cesar. >>> >>> On Sun, Feb 9, 2025 at 12:52 PM FRANK THOMAS SAUTTER <ftsa...@ufsm.br> >>> wrote: >>>> >>>> Anexo um divertimento lógico para os dias de chuva, como costumo dizer >>>> para os meus alunos. >>>> >>>> Frank Thomas Sautter >>>> >>>> -- >>>> LOGICA-L >>>> Lista acadêmica brasileira dos profissionais e estudantes da área de >>>> Lógica <logi...@dimap.ufrn.br> >>>> --- >>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos >>>> Grupos do Google. >>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie >>>> um e-mail para logica-l+u...@dimap.ufrn.br. >>>> Para ver esta conversa, acesse >>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGQNftB3ehjrd5J37oEAUdjoNvT%3DkUb4dNqn2%3D%3Dxnz4mubhvRQ%40mail.gmail.com. > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica > <logica-l@dimap.ufrn.br> > --- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um > e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/42a70d09-8331-4e79-bed4-5028640436ccn%40dimap.ufrn.br. -- https://sites.google.com/site/sequiturquodlibet/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiVw8XhM9MoXo-u%3D7Gte0c%2B_FavRawfwOs5GyAwDNJzhw%40mail.gmail.com.
