Diferencia entre revisiones de «Demostración matemática»

{{otros usos|Demostración}}

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 (matemática)|hipótesis]], permite asegurar la veracidad de una [[tesis (matemática)|tesis]]. Estos pasos deben estar fundamentados en la aplicación de reglas de deducción (fundadas ya sea en [[axioma]]s o en [[teorema]]s 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]]:

 

Nuestra hipótesis era que 1 era menor que cero y por lo tanto, con los procedimientos realizados <math>1<0<{-1}\,</math>, que es verdadero. En esta caso la afirmación <math>0>{-1}\,</math> es falsa.

 

 

* Una afirmación P (en nuestra hipótesis) que diga que ésta es cierta.

 

== Ejemplo de una demostración por inducción ==

Demostrar que