ok, ok. e' verdade Andrea, deducoes sem premissas... abs, valeria
2011/11/5 Andrea Loparic <alopa...@gmail.com>: > Ois, > > Eu sempre vi e usei "prova"como sinônimo de "demonstração" e ambas > como *deduções* sem premissas hipotéticas - nesse sentido, por exemplo > é que temos a expressão "Teorema da Dedução" - e não da Demosntração. > > Mas há um ponto em que acho que o João tem razão: a expressão "provável" > não é uma tradução feliz para "provable", por ser já uma tradução usual de > "probable"; e, apesar de "provabilidade" não significar "probability", também > não creio merecer ser inventada em português. Na minha opinião,"demonstrável" > e "demonstrabilidade" são ótimas traduções e devem poder ser adotadas; > não acho, no entanto, que seja o caso de descartar por essa razão o uso > consagrado de "prova" e "provar" nas ciências formais. > > Abraços > Andrea > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
