Olá Ricardo. A primeira regra deriva, pelo teorema da dedução, de B, A |= B, que é o princípio da monotonicidade.
A segunda, igualmente, vem de ~A,A |= B, que é o princípo da trivialização. Nomes específicos para este formato eu não conheço. []s 2011/6/14 Ricardo Pereira Tassinari <[email protected]> > 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 > -- Marcelo Finger Departamento de Ciencia da Computacao Instituto de Matematica e Estatistica Universidade de Sao Paulo Rua do Matao, 1010 05508-090 Sao Paulo, SP Brazil Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) http://www.ime.usp.br/~mfinger _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
