Esclarecendo um ponto, a partir de uma resposta recebida: a definição de "grau de complexidade" pressuposta pelo problema abaixo é aquela que conta o número de construtores sintáticos (conectivos / nós internos da árvore correspondente) que aparecem numa fórmula dada (logo, "complexity degree", e não "depth").
Outras dúvidas? Mande-me uma mensagem diretamente! Bom trabalho a todos os demais logicantes, Joao Marcos 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
