Caros Walter e Tony, Obrigado pela observação! No entanto, não me foi mostrado porquê a observação de que nem toda regra de inferência possui um axioma correspondente (para qualquer sistema S) não leva em conta o metateorema da dedução. Gostaria de ouvir sua explicação.
Abraço! -- *Luis Rosa * @fsopho // prof <https://sites.google.com/site/fsopho/> // lattes <http://lattes.cnpq.br/9235142514779816> 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 Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l