De fato, "ilação" é um substantivo, mas é defectivo (não existe o verbo correspondente).
Outra bela opção é "dessumir", que conforme o Dicionário Houaiss no presente do indicativo se conjuga como “dessumo, dessumes, dessume, dessumimos, dessumem”. Pode -se traduzir então "A entails B" como "A dessume B", e "entailment" como "dessunção". Walter Em 19 de novembro de 2013 23:23, jean-yves beziau <[email protected]> escreveu: > Bonita essa palavra "ilacao" ! > mas como conjugar? > > Talvez se pode usar a expressao "consequencia significativa" para traduzir > "entailment" no sentido de Anderson e Belnap > ja que a ideia deles e levar em conta o sentindo. > Neste caso podemos dizer > que a proposicao "JM gosta de queijo minas" > nao é uma consequencia significativa das proposicoes > "JM sabe tudo de logica" e "JM nao sabe alguma coisa de logica" > JYB > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- ----------------------------------------------- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
