Diferencia entre revisiones de «Demostración matematica»
Contenido eliminado Contenido añadido
m robot Añadido: scn:Dimustrazzioni matimàtica |
m Robot: Reemplazo automático de texto (-termín +termin) |
||
Linia 1:
{{Grafía_87}}
:''Ta atros usos d'o
Una '''demostrazión matematica''' ye una suzesión coderent de pasos que, prenendo como berdadero un conchunto de premisas ditas [[ipotesis (matematica)|ipotesis]], premite asegurar a berazidat d'una [[tesis (matematica)|tesis]]. Istos pasos deben estar fundamentatos en l'aplicazión de regles de deduzión (fundatos ya sía en [[acsioma]]s u en [[tiorema]]s anteriorment contrimostratos u en regles basicos de deduzión d'o sistema en custión). O feito de no conoxer denguna demostrazión d'un tiorema no senifica que no sía berdat; nomás a demostrazión d'a negazión d'iste resultato senifica que ye falso.
|