Accions

Diferència entre revisions de la pàgina «Demostració»

De Wikisofia

m (Text de reemplaçament - "Apódeixi" a "Apòdeixi")
Línia 3: Línia 3:
 
En sentit estricte, prova sense supòsits o [[premisses|premisses]] inicials. Però en general, es refereix a una inferència deductiva, a una [[deducció|deducció]] o a una prova. La demostració correcta segueix i observa regles establertes, i la incorrecta no les observa. Una demostració és formal si recorre a fórmules i mètodes formals, [[llenguatge formal|llenguatges formals]] o a un [[càlcul lògic|càlcul]] lògic per a provar que una determinada fórmula és una [[conseqüència lògica|conseqüència lògica]] d'unes altres o una altra (derivació).
 
En sentit estricte, prova sense supòsits o [[premisses|premisses]] inicials. Però en general, es refereix a una inferència deductiva, a una [[deducció|deducció]] o a una prova. La demostració correcta segueix i observa regles establertes, i la incorrecta no les observa. Una demostració és formal si recorre a fórmules i mètodes formals, [[llenguatge formal|llenguatges formals]] o a un [[càlcul lògic|càlcul]] lògic per a provar que una determinada fórmula és una [[conseqüència lògica|conseqüència lògica]] d'unes altres o una altra (derivació).
  
Vg. [[Apòdosi|apòdosi]] i [[Apòdeixi|apòdeixi]]
+
Vg. [[Apòdosi|apòdosi]], [[Apòdeixi|apòdeixi]] i [[indemostrable]].
 
{{Etiqueta|Etiqueta=Lògica}}{{Etiqueta|Etiqueta=Epistemologia}}{{InfoWiki}}
 
{{Etiqueta|Etiqueta=Lògica}}{{Etiqueta|Etiqueta=Epistemologia}}{{InfoWiki}}

Revisió del 13:47, 1 oct 2018


En sentit estricte, prova sense supòsits o premisses inicials. Però en general, es refereix a una inferència deductiva, a una deducció o a una prova. La demostració correcta segueix i observa regles establertes, i la incorrecta no les observa. Una demostració és formal si recorre a fórmules i mètodes formals, llenguatges formals o a un càlcul lògic per a provar que una determinada fórmula és una conseqüència lògica d'unes altres o una altra (derivació).

Vg. apòdosi, apòdeixi i indemostrable.