Boa dica, João Marcos. Além de resolver meu problema, me deu um ótimo e simples exercício para passar aos alunos para treinarem provas por indução. Demonstrar este resultado.
Saudações, Daniel _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
