Exatamente meu caro, eis o ponto. Em 8 de dezembro de 2012 09:36, Joao Marcos <[email protected]> escreveu:
> O primeiro enunciado acima não é tautológico nas lógicas relevantes > usuais, como FDE, com a definição de consequência-relevante usual. > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
