A título de ilustração, veja a Regra da Disjunção de Lemmon e Scott: Seja S um sistema: sen S⊢ NecA1 ou...ou NecAn então S⊢Ai para algum i (1≤i≤n).
Essa regra é admissível em vários sistemas modais, como os seus proponentes demonstraram. Não é óbvio que, por exemplo olhando para um teorema de uma lógica normal imediatamente se pense nessa regra. Tanto é que levou um longo tempo até que os seus autores a propusessem. Agora pense no axioma K: não leva tanto tempo assim para se enxergar nele algo como que uma regra Modus Ponens Quadrado, ou seja, Se S⊢NecA e S⊢Nec(A=>B) então S⊢NecB. Em 24 de dezembro de 2012 10:53, Tony Marmo <[email protected]> escreveu: > 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
