Diferència entre revisions de la pàgina «Postulat»
De Wikisofia
m (bot: - ''postulés'', + ''postulare'',) |
m (bot: - en què aquests + en el fet que aquests) |
||
| Línia 2: | Línia 2: | ||
<small>(del llatí ''postulatus'', de ''postulare'', demanar)</small> | <small>(del llatí ''postulatus'', de ''postulare'', demanar)</small> | ||
| − | O [[axioma|axioma]]. [[proposició|Proposició]] -o [[funció proposicional|funció proposicional]]- que, en els [[sistema axiomàtic|sistemes axiomàtics]], es pren, o demana, com a principi o punt de partida per a la demostració de [[teorema|teoremes]], no sent ni una simple [[definició|definició]] d'un terme ni un enunciat deduïble d'altres enunciats. En la [[metodologia|metodologia]] antiga, els postulats es diferenciaven dels axiomes en | + | O [[axioma|axioma]]. [[proposició|Proposició]] -o [[funció proposicional|funció proposicional]]- que, en els [[sistema axiomàtic|sistemes axiomàtics]], es pren, o demana, com a principi o punt de partida per a la demostració de [[teorema|teoremes]], no sent ni una simple [[definició|definició]] d'un terme ni un enunciat deduïble d'altres enunciats. En la [[metodologia|metodologia]] antiga, els postulats es diferenciaven dels axiomes en el fet que aquests eren evidents i no demostrats, mentre que aquells no eren ni evidents ni demostrables (es «postulaven»); en la metodologia moderna no es distingeix entre postulats i axiomes, i aquests no s'escullen per la seva [[evidència|evidència]] o la seva [[certesa|certesa]], sinó per altres característiques, com la compatibilitat amb altres postulats, per exemple, o el nombre de [[conseqüència|conseqüències]] que d'ells es puguin deduir. |
Revisió del 10:39, 29 ago 2017
(del llatí postulatus, de postulare, demanar)
O axioma. Proposició -o funció proposicional- que, en els sistemes axiomàtics, es pren, o demana, com a principi o punt de partida per a la demostració de teoremes, no sent ni una simple definició d'un terme ni un enunciat deduïble d'altres enunciats. En la metodologia antiga, els postulats es diferenciaven dels axiomes en el fet que aquests eren evidents i no demostrats, mentre que aquells no eren ni evidents ni demostrables (es «postulaven»); en la metodologia moderna no es distingeix entre postulats i axiomes, i aquests no s'escullen per la seva evidència o la seva certesa, sinó per altres característiques, com la compatibilitat amb altres postulats, per exemple, o el nombre de conseqüències que d'ells es puguin deduir.