Acho que a msg veio só para mim, portanto repasso. ---------- Forwarded message ---------- From: Valeria de Paiva <[email protected]> Date: 2009/9/24 Subject: Re: [Logica-l] satifatível/satisfazível To: Marcelo Finger <[email protected]>
Caros colegas, Eu acho que faz sentido usar "satisfativel" e criar uma nova palavra na lingua cujo significado 'e mais matematico. Acontece em ingles o tempo todo--nao vejo porque nao usar o mecanismo de neologismos matematicos em portugues tambem... abracos, Valeria 2009/9/24 Marcelo Finger <[email protected]> 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 <http://www.ime.usp.br/%7Emfinger> > > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ <http://www.cs.bham.ac.uk/%7Evdp/> http://valeriadepaiva.org/www/ -- 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
