Caros. No livro "Lógica para Computação" eu usei 'satisfazível', pois tanto o Aurúlio quanto o Uais indicavam esta graphia. Mesmo assim, é para mim mais natural falar 'satisfatível', que eu uso muitas vezes em sala de aula.
Ou seja, como na maioria dos idiomas, temos uma linguagem escrita e uma outra falada. A alfabetização é uma introdução ao multilingualismo (poliglotia?). []s Marcelo 2009/9/24 Claus Akira Matsushigue <[email protected]> > > > Muito bem Rafael.... é isso aí! > > As "coisas" não podem ser "certas" porque > assim é "o costume"! Ainda tem gente por > aí dizendo "tome uma matriz inversível". > NÃO, é ***invertível*****. Exatamente do > mesmo modo é ***satisfazível*** e não > "satisfatível", ***satisfazibiliade*** e > não "satistatibilidade", etc. > > E isso acontece com muitos outros casos. > > Apesar dos "inglólogos", vamos defender > o nosso velho, pobre, mas bom, Português! > > > > Abraços > > > > > Quoting Rafael Testa <[email protected]>: > > 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 > -- Marcelo Finger Departamento de Ciencia da Computacao Instituto de Matematica e Estatistica Universidade de Sao Paulo Rua do Matao, 1010 05508-090 Sao Paulo, SP Brazil Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) http://www.ime.usp.br/~mfinger
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
