Olá a todos. Agradeço ao Walter, ao João, ao Marcelo e a Leonor pelas respostas.
Abraços, Ricardo. -- Dr. Ricardo Pereira Tassinari Departamento de Filosofia UNESP - FFC/Marília www.marilia.unesp.br/ricardotassinari Em 14 de junho de 2011 23:38, Ricardo Pereira Tassinari < [email protected]> escreveu: > 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
