Olá colegas! Estou traduzindo para os meus alunos de lógica o livro *Logic Primer* que é usado na MIT e foi escrito por Michael Hand e Colin Allen. Encontrei problemas para traduzir o seguinte teorema:
├ P→(Q→P) No livro, o teorema recebe o bem conhecido nome "Weakening". Qual seria a melhor tradução para o nome deste teorema? p.s: paga-se um certo preço por só ler material em inglês... Obrigado para quem puder me ajudar! -- *Luis Fernando Munaretti da Rosa * Twitter: @fsopho FsOpHo Epistemology Blog <http://fsopho.wordpress.com/> Blog Distropia <http://distropia.wordpress.com/> Greek van Peixe - Gamer Rock <http://greekvanpeixe.com/> _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
