Demostración matematica
|
Iste articlo ye escrito con as normas graficas EFA. Si quiers, puez aduyar cambiando a la grafía oficial de Biquipedia y sacando dimpués ista plantilla. |
- Ta atros usos d'o termin se veiga demostración.
Una demostración matematica ye una succesión coderent de pasos que, prenendo como verdadero un conchunto de premisas ditas hipotesis, premite asegurar a veracidat d'una tesi. Istos pasos deben estar fundamentatos en l'aplicación de reglas de deducción (fundatos ya sía en axiomas u en teoremas anteriorment contrimostratos u en reglas basicas de deducción d'o sistema en qüestión). O feito de no conoixer denguna demostración d'un teorema no significa que no sía verdat; nomás a demostración d'a negación d'iste resultato significa que ye falso.
Encara que por un regular no existe un procedimiento unico de demostración de teoremas, sí existen diferents tipos de demostracions que son emplegatos a ormino en matematicas:
- Demostración por contraposición
- Demostración por reducción l'absurdo, y como caso particular, descenso infinito
- Inducción matematica
D'atra man, a tamas de l'alto grado de intervención humana necesario ta fer una demostración, tamién existen tecnicas computacionals que premiten fer demostracions automaticas, notablement en o campo d'a cheometría euclidiana.