title: Demostración matematica
text: 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
   Inducción fuerte
  
  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.
  
  Matematicas