"Paradoxos da implicação material"? (pelo menos assim reza a literatura sobre lógicas da relevância, e também a literatura antiga sobre lógica modal)
Confira também: http://www.earlham.edu/~peters/courses/log/mat-imp.htm http://en.wikipedia.org/wiki/Paradoxes_of_material_implication JM 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. -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
