Pessoal, Há muito tenho usado - e ouvido as pessoas usarem - a palavra "satisfatível", no sentido de "determinada valoração (ou modelo) tornar uma proposição (ou um conjunto de proposições) verdadeira". Entretanto constatei que no dicionário não existe tal palavra, mas sim "satisfazível". Sempre pensei que "satisfatível" estivesse correta, cuja formação tem raiz na palavra latina *satisfactus*, particípio passado de *satisfacere* - satisfazer (daí inclusive vem a palavra satisfatório, por exemplo). Claro que tal gênese etimológica não passava à cabeça nas primeiras vezes que utilizei esta palavra - normalmente era uma tradução mal feita do inglês ou do espanhol... mas enfim, o fato é que "satisfatível" não existe na língua portuguesa!
Gostaria de saber a opinião dos colegas. Abraços Rafael Testa P.S.: Não é meio estranho falarmos no "problema da satisfazibilidade" ao invés de "satisfatibilidade"?
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
