Demostración matemática
De Wikipedia, la enciclopedia libre
Una deducción o demostración matemática es una sucesión coherente de pasos que, tomando como verdadero un conjunto de premisas llamado hipótesis, permite asegurar la veracidad de una tesis. Estos pasos deben estar fundamentados en la aplicación de reglas de deducción (fundadas ya sea en axiomas o en teoremas anteriormente demostrados o en reglas básicas de deducción del sistema en cuestión). El hecho de no conocer ninguna demostración de un teorema no implica su no veracidad; sólo la demostración de la negación de este resultado implica que es falso.
Aunque en general no existe un procedimiento único de demostración de teoremas, sí existen diferentes tipos de demostraciones que son utilizados comúnmente en matemáticas:
- Demostración por contraposición
- Demostración por reducción al absurdo, y como caso particular, descenso infinito
- Inducción matemática
Por otra parte, a pesar del alto grado de intervención humana necesario para hacer una demostración, también existen técnicas computacionales que permiten hacer demostraciones automáticas, notablemente en el campo de la geometría euclideana.
[editar] Véase también
El contenido de esta página es un esbozo sobre matemática. Ampliándolo ayudarás a mejorar Wikipedia.
Puedes ayudarte con las wikipedias en otras lenguas.
