> Eu já tenho um exemplo típico de prova da qual eu discordo, que segue o > seguinte esquema: > > 1. Primeiro vem uma definição qualquer, X =def alpha. > > 2. Depois vem um teorema que diz a mesma coisa que a definição, Teorema: > Todo X é alpha. > > 3. Por fim, vem a prova do teorema por indução na complexidade.
Você poderia apontar um exemplo específico de algum livro que faça este tipo de "prova"? JM -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
