Olá Não é um ponto importante na (ótima) discussão de vocês, mas não lembro de ter alertado o Daniel sobre isso:
Inicialmente falei de conjunto infinito de premissas, depois fui alertado >>> pelo Rodrigo Freire que este caso pode se reduzir ao de fórmulas com >>> comprimento infinito. >>> >> Talvez tenha sido outro Rodrigo, mas, na verdade, tenho algumas dúvidas com relação a essa redução. Acho que a idéia seria substituir uma instância de regra do tipo: -conclua A a partir de A_1, A_2, A_3,... por um axioma do tipo: - A_1 & A_2 & A_3 &... -> A e usar modus ponens caso a conjunção infinita seja teorema. Mas, nesse caso, ainda seria preciso uma regra infinitária para inferir conjunções infinitas a partir das fórmulas que ocorrem na conjunção. Assim uma redução parcial seria obtida: -basta uma regra infinitária que infere A_1, A_2, A_3,... a partir de A_1, A_2, A_3,.... Não está claro para mim que é possível eliminar essa regra e obter a redução completa. Abraço Rodrigo _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
