Olá, Como meu primeiro contato com conceitos formais de logica ocorreu fora do Brasil e em ingles, há varios termos de logica cuja traducao para o portugues eu (ainda) nao sei. Uma vez fiz uma apresentacao de um trabalho meu em portugues no Brasil, e quando precisei falar "unsatisfiable" em portugues, fiquei na duvida. Perguntei à plateia qual seria a traducao, e me disseram "insatisfatível". "(in)satisfazível" sempre "soou melhor" no meu ouvido, no entanto, e também me parece mais natural para pronunciar... Além disso, acho que "satisfazível" também está mais de acordo com a regra de formacao de adjetivos: (raiz do verbo X) + ável/ível , que gera um adjetivo cujo significado é a possibilidade de aplicar o verbo X ao substantivo ao qual o adjetivo é aplicado. (Uma vez que a raiz de "(satis)fazer" é "(satis)faz", e nao "(satis)fat"... nao?).
Mas no fim das contas, o que importa mesmo é que se entenda que existe um modelo em que a formula é verdadeira, nao é mesmo? :-) "t" ou "z" sao apenas variantes sintaicas... :-) Até mais, Bruno -------------------------------- Bruno Woltzenlogel Paleo Website: http://www.logic.at/people/bruno/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
