Pensando "conjuntisticamente" (ou na força bruta). Gerar todos os
subconjuntos de {'Cesar', 'Eugenio', 'Leila', 'Marco Aurelio', 'Maria de
Fatima'}. Como há um assassino, podemos descartar o conjunto vazio. Os
conjuntos unitários são as possibilidades de que o crime foi cometido por
uma pessoa, os conjuntos não-unitáriios são as possibilidades de um complô.
Usar as regras para descartar alguns subconjuntos, e.g, descartar o
conjunto que tem César mas não Marco Aurélio.Em dom., 9 de fev. de 2025 às 21:10, Joao Marcos <botoc...@gmail.com> escreveu: > 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 > . > -- 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/CAOHRVBWi5TUi0EuqH%2Bo68cmuQNtd2FKY1TMp7hJcgZULXifzXQ%40mail.gmail.com.
