Demostració
De Wikisofia
La revisió el 09:43, 5 feb 2015 per Sofibot (discussió | contribucions) (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...».)
La revisió el 09:43, 5 feb 2015 per Sofibot (discussió | contribucions) (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...».)
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 provar que una determinada fórmula és una conseqüència lògica d'unes altres o una altra (derivació).