Caro João, Poderia. Ocorre que eu tenho muitos livros e pdfs comigo e para buscar esses exemplos teria de sacrificar mais meu tempo. Mas, ocasionalmente a gente acaba esbarrando em textos que dão teoremas que dizem o mesmo que as definições, ou que na demonstração colocam paráfrases da proposição a demonstrar. Nunca memorizo os nomes dos autores e desses textos, procuro focar os exemplos que acho melhor construídos.
Em 22 de abril de 2013 14:23, Joao Marcos <[email protected]> escreveu: > > 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
