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 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
