Rafael: > 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!
Deparamo-nos de fato com este problema ao criar, na Wikipédia lusófona, alguns verbetes relacionados. O resultado foi algo esquizofrênico, e foi debatido na época com vários outros usuários e moderadores, mas é fato que hoje em dia qualquer busca por "satisfatível", "satisfatibilidade" ou "satisfazibilidade" levam ao verbete "Valoração (lógica)", que ainda pode ser melhorado pelos colegas: http://pt.wikipedia.org/wiki/Valora%C3%A7%C3%A3o_(l%C3%B3gica) Como você notou, a palavra *satisfatível*, embora ainda não registrada em dicionários lusófonos, é inteiramente _bem formada_, e vem da palavra "satisfactus". Além disso, um processo de formação bastante semelhante leva à palavra "satisfatório". Por outro lado, o verbo "satisfacere" pode justificar igualmente a formação da palavra *satisfazível*. Aparentemente, os falantes ibéricos de português favorecem amplamente esta grafia "satisfazível", muito provavelmente por influência do espanhol "satisfacible" (em italiano, "soddisfacibile"; em francês, "satisfaisable"). Uma busca rápida na net mostra que a grafia "satisfatível" parece ser preferida no Brasil. Há pelo menos um livro-texto brasileiro recente, contudo, "Lógica para Computação", de Finger et al., que escolhe a grafia "satisfazível". Curiosamente, a mesmíssima história pode ser observada no que diz respeito às palavras *dedutível* (do latim "deductus", particípio passado de "deducere") e *deduzível* (derivada diretamente do verbo). Neste caso, contudo, o Houaiss já se dignou a registrar ambas as grafias como sinônimas/sinónimas, por estarem igualmente _bem formadas_. Não obstante, a grafia "dedutível", neste caso, parece ser amplamente preferida em ambos os lados do Atlântico. Note-se ainda que palavra "deduzibilidade", que seria derivada de "deduzível", praticamente não possui registros/registos, nem aqui nem acolá. Neste caso quase todos os falantes lusófonos parecem preferir "dedutibilidade", derivada de "dedutível". > P.S.: Não é meio estranho falarmos no "problema da satisfazibilidade" ao > invés de "satisfatibilidade"? Há também na Wikipédia um verbete, que também pode ser melhorado, sobre o problema SAT: http://pt.wikipedia.org/wiki/Problema_de_satisfatibilidade_booleana A expressão análoga com "satisfazibilidade" redireciona para esta. Por algum motivo "linguístico" que não cheguei bem a compreender, alguém em Brasília (http://brasiliavirtual.info/tudo-sobre/satisfazibilidade/) defende que o processo de derivação das palavras "satisfatível" / "satisfatibilidade" é _errôneo_. Sites de referência ibéricos (http://www.flip.pt/tabid/325/Default.aspx?DID=1694 e http://www.flip.pt/Default.aspx?TabId=325&DID=2114), contudo, não têm a mesma opinião sobre este processo de derivação. Enfim, há muitas coisas estranhas com as quais a gente se acostuma!... ;-) Saudações lógicas, Joao Marcos -- My homepage: http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
