RE: [obm-l] Postulado

["Artur Costa Steiner" <artur@xxxxxxxxxxxxx>]

Oi Rafael,
O conceito de dogma estah realmente fora da Logica.Mas entre postulado e
axioma a linha divisoria nao eh muito nitida. Quando definimos um corpo,
aquelas propriedades da soma e multiplicacao sao dadas como axiomas e, no
caso, sao condicoes que devem ser satisfeitas pela definicao de corpo.
Interessante que dizemos Postulado de Euclides e nao axioma.
Artur
>
>Caro Artur,
>
>Definamos o que é um dogma, o que é um postulado e o que é um axioma.
>
>Dogma: Ponto fundamental e indiscutível duma doutrina religiosa, e, por
>extensão, de qualquer doutrina ou sistema. Na Igreja Católica Apostólica
>Romana, ponto de doutrina já por ela definido como expressão legítima e
>necessária de sua fé.
>
>Postulado: Proposição não evidente nem demonstrável, que se admite como
>princípio de um sistema dedutível, de uma operação lógica ou de um sistema
>de normas práticas.
>
>Axioma: Premissa imediatamente evidente que se admite como universalmente
>verdadeira sem exigência de demonstração. Ou ainda, proposição que se
>admite
>como verdadeira porque dela se podem deduzir as proposições de uma teoria
>ou
>de um sistema lógico ou matemático.
>
>(Todas as definições pertencem ao Novo Dicionário Aurélio.)


=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================