Hummm... teria sido muito difícil o desafio?! ou desinteressante?? Ainda dá tempo de responder!! (e se o problem é medo de errar, você sempre pode assinar com um pseudônimo) JM
2011/10/28 Joao Marcos <[email protected]>: > Logicantes: > > Para quem gosta de um bom divertimento lógico, segue um probleminha > envolvendo a semântica da Lógica Clássica Proposicional. Se você sabe > a resposta certa, e sabe justificar o que sabe, pode submeter sua > resposta através do link: > > http://goo.gl/BStTb > > #Atenção# NÃO mande sua resposta com cópia para a lista! > > As 3 melhores respostas dentre as 10 primeiras que forem recebidas > serão premiadas com um chá com o Chapeleiro Maluco! > > * * * * * * * * * > > A SENTENÇA ESQUECIDA > > Eu havia pensado em um problema muito interessante para colocar aqui, > mas perdi-o em meio às minhas anotações... Recordo-me, contudo, que o > problema envolvia em particular uma sentença clássica contingente com > três variáveis atômicas, p, q e r. Esta sentença possuía apenas > conectivos binários, e grau de complexidade 2. Estou seguro que um de > seus conectivos era uma implicação tendo um dos átomos citados como > antecedente. > > Questão 1 > Assumindo que as informações anteriores são suficientes para > _caracterizar semanticamente_ a sentença esquecida, quais as possíveis > formas que ela poderia assumir? Justifique. > > Outra coisa de que me lembro é que o problema que eu havia pensado > consistia em verificar que a primeira sentença acima é _equivalente_ a > uma segunda sentença, com as mesmas variáveis e incluindo os mesmos > conectivos da primeira sentença, mas com uma implicação a mais. > > Questão 2 > Qual poderia ser esta segunda sentença? Justifique. > > * * * * * * * * * > > Se para dar suas justificativas você precisar digitar um texto em > LaTeX e quiser conferir o resultado antes de enviar o formulário > acima, sempre pode usar um editor online, tal como: > http://docs.latexlab.org/docs > > > JM -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
