Caro Daniel De fato a palavra "entailment" é uma palvara que é dominada pelos bad guys. Agora tem que tomar cuidado com a questao da implicacao: Os good guys da logica classica fazem a diferenca entre (relacao de) consequencia e (conectivo de ) implicaco, usando duas palavras diferentes.
Mas os bad guys da logica relevante misturam tudo (really bad guys!) usa "entailment" para a relacao de consequencia significativa deles mas tambem para um conectivo de implicacao signiificativo. De qualquer forma usar "implicacao" para falar de uma relacao de consequencia nao me parece uma boa escolha e usar "accaretamento" para um connectivo de implicao tambem nao, Se voce usa entao "accaretamento" para traduzir "entailment", pode entao ter uma certa ambuiguidade, ja que entailment as vezes é uma conectivo de implicacao. Um abraço Jean-Yves _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
