Caríssimo Marcelo, > A correta tradução de "entailment" é "enrabada" e A |= B deve ser lido > como A enraba B. Eu desconfio que era exatamente esta a tradução que a Andrea atribuiu ao Balthazar, "depois de Steinhaegers com Underberg” num boteco de rodoviária em Campinas... mas ela simplesmente foi delicada comigo, pelo quê eu agradeço :)
Mas é fato que Balthazar, você e também os “bad guys” têm toda a razão! Saudações, Daniel. _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
