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).
Walter, supondo que ambos sejam mentirosos, então é falso que Mori cometeu o crime e também é falso que Art o fez (uma vez que ambos disseram ter cometido o crime). No entanto, tais fatos tornam verdadeira a afirmação de que *pelo menos um deles não é o assassino - *exatamente a afirmação adicional de Mori, o que implicaria que Mori é um falseoso e não é um falseoso. Grande abraço, e desejo a tod@s um ótimo fim de semana! Luis Rosa -- *Luis Rosa * // lattes <http://lattes.cnpq.br/9235142514779816> // philpapers<http://philpapers.org/profile/27707> FsOpHo Epistemology Blog <http://fsopho.wordpress.com/> _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
