Esqueci de falar da conjunção na afirmação abaixo: -basta uma regra infinitária que infere A_1, A_2, A_3,... a partir de A_1, A_2, A_3,....
Claro que a afirmação relevante é: -basta uma regra infinitária que infere a conjunção de A_1, A_2, A_3,... a partir de A_1, A_2, A_3,.... Abraço Rodrigo _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
