Demostracin Matemtica. Es una cadena finita de proposiciones verdaderas, que se obtienen con ayuda de reglas de inferencia lgicas.

El punto de partida de esta cadena son proposiciones cuya verdad es conocida. El punto final de la cadena es el teorema a demostrar. Cada miembro de la cadena se obtiene del anterior mediante reglas de inferencia lgica. Contenido
[ocultar]

1 Usos 2 Diferentes vas para la demostracin de un teorema

3 El Mtodo Directo 4 El Mtodo Indirecto 5 Demostraciones por Induccin Completa 6 Bibliografa 7 Fuentes

Usos
En la demostracin de teoremas matemticos aparece la regla de inferencia lgica de la forma proposicional A resulta la forma proposicional B, si y solo si cada interpretacin de las variables que satisfacen a A, satisface tambin a B y para ello se utiliza el siguiente teorema de la lgica matemtica: De A resulta B si y solo si la implicacin es vlida. Pero la implicacin es un teorema matemtico cuya validez puede ser comprobada por una demostracin. Podemos ahorrarnos, las interpretaciones de las variables de A y de B; siendo solo necesario demostrar el teorema. La expresin se expresa de la forma de A resulta B o s A entonces B, siendo estas las formas en que comnmente aparecen expresados los teoremas matemticos.

Diferentes vas para la demostracin de un teorema

Demostraciones directas Demostraciones indirectas. Demostraciones por induccin completa

Son los mtodos que se usan para demostrar un teorema y que son aplicados en muchos campos de la Matemtica. Existe el mtodo de demostracin directa y el mtodo de demostracin indirecta.

El Mtodo Directo
Consiste en partir de las premisas (datos) del teorema y aplicando las reglas de la lgica y la teora desarrollada, obtener o llegar a la tesis (conclusin) del teorema despus de un nmero finito de pasos.

El Mtodo Indirecto
Consiste en negar la tesis del teorema y a partir de esta proposicin y con ayuda de las reglas de la lgica y la teora desarrollada encontrar una contradiccin respecto a las premisas, una proposicin verdadera o respecto a la suposicin. Aqu se interrumpe el desarrollo prctico de la demostracin, puesto que una proposicin y su negacin no pueden ser verdaderas a un mismo tiempo. Y de aqu se concluye que la tesis del teorema es verdadera. Como se puede observar para demostrar un teorema se hace necesario identificar las premisas y la tesis del teorema; luego si se quiere demostrar una proposicin si es posible, ya que no siempre se puede, expresar esta en la forma de una implicacin, lo que permitir de una manera ms fcil obtener las premisas y la tesis de la proposicin a demostrar.

Demostraciones por Induccin Completa

Es un mtodo especial de demostracin matemtica que permite, a base de observaciones particulares, juzgar de las regularidades generales correspondientes. La Induccin (o sea, la sugerencia de una idea o una hiptesis) sin dudas desempea en las matemticas un papel importante, pero puramente heurstico: permite adivinar cul debe ser, segn todas las apariencias, la solucin. Pero las proposiciones matemticas se demuestran siempre deductivamente. Ningn resultado matemtico puede considerarse justo, vlido, si no ha sido deducido de las proposiciones de partida.

Bibliografa

Metodologa de la Enseanza de la Matemtica Tomo I, Editorial Pueblo y Educacin. 1992. Lgica y procedimientos lgicos del aprendizaje. ICCP. La Habana 1993. Guetmnova, A: Lgica. Editorial Pueblo y Educacin. 1990. Daz, A: El desarrollo de procesos lgicos en la Educacin Superior. Pedagoga 90. Ciudad de la Habana. 1990. Metodologa y tcnica que contribuyen a estimular el desarrollo intelectual. Proyecto Cubano TEDI. 1993.