Não entendi a pergunta muito bem. Acho que você se refere a regras admissíveis. Segundo algumas propostas, regras admissíveis não são derivadas de outras regras do sistema, mas se elas se ajuntam a um sistema não alteram o conjunto de teoremas. Essas regras não se enxergam imediatamente a partir dos teoremas.
Em 24 de dezembro de 2012 10:41, Luis Rosa <[email protected]> escreveu: > 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 > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
