Diferència entre revisions de la pàgina «Demostració»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} En sentit estricte, prova sense supòsits o premisses inicials. Però en general, una inferència deductiva, una deducció|deducci...».) |
m (bot: - per provar que + per a provar que) |
||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | En sentit estricte, prova sense supòsits o [[premisses|premisses]] inicials. Però en general, una inferència deductiva, una [[deducció|deducció]], 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 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, una inferència deductiva, una [[deducció|deducció]], 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ó). |
{{Etiqueta|Etiqueta=Lògica}}{{Etiqueta|Etiqueta=Epistemologia}}{{InfoWiki}} | {{Etiqueta|Etiqueta=Lògica}}{{Etiqueta|Etiqueta=Epistemologia}}{{InfoWiki}} | ||
Revisió del 10:09, 13 oct 2017
En sentit estricte, prova sense supòsits o premisses inicials. Però en general, una inferència deductiva, una deducció, 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ó).