Demostración matematica

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, permite 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 cuestió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
 Inducción fuerte

D'atra man, atamas de l'alto grado de intervención humana necesario ta fer una demostración, tamién existen tecnicas computacionals que permiten fer demostracions automaticas, notablement en o campo d'a cheometría euclidiana.

Categoría:Matematicas