Olá, Tony: Não pretendia "sacrificar seu tempo" à busca dos tais "exemplos típicos" para nos mostrar. Pelo menos concordamos que eles estão mal desenhados.
Só me resta portanto repetir, neste caso, algo que o Walter já disse: "Se você encontrou alguma [demonstração] assim, é melhor mudar de livro..." JM 2013/4/22 Tony Marmo <[email protected]>: > 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
