Caro Ricardo, Não sei se ajuda, mas já vi as tautologias (e não as regras) serem chamas de:
B→(A→B) prefixação ~A→(A→B) Duns Scotus Um abraço, Leonor _________________________________________________- Caríssimos. Alguém saberia me dizer o nome das seguintes regras de inferência: B ⊧ A→B ~A ⊧ A→B Grato, Ricardo. -- Dr. Ricardo Pereira Tassinari Departamento de Filosofia UNESP - FFC/Marília www.marilia.unesp.br/ricardotassinari _______________________________________________ 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
