matematicas

17/2/2014


INTRODUCCION:
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 laveracidad 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óndel 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.

METODODE DEMOSTRACIÓN APLICADO EN LA INFORMÁTICA.
El método de demostración matemática es una cadena finita de proposiciones verdaderas, que se obtienen con ayuda de reglas de inferencia lógicas. El puntode 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 deinferencia lógica. El método directo Consiste en partir de las premisas (datos) del teorema y aplicando las reglas de la lógica y la teoría desarrollada, obtener o llegar a la tesis (conclusión) del teoremadespués de un número finito de pasos. Algunos métodos procesan datos de entradas y entregan datos de salida, pero no todos los métodos funcionan así, ya que algunos muestran mensajes en pantalla y portanto no reciben ni entregan datos, sino que sólo hacen "algo", un método "cambiar Color De Pantalla Aleatorio", no necesitará un valor de entrada ni de salida, en cambio, un método "calcularDistancia Entre Puntos", necesitará dos puntos de entrada y entregará como resultado la distancia entre ellos. El método indirecto Consiste en negar la tesis del teorema y a partir de esta proposición y conayuda de las reglas de la lógica y la teoría desarrollada encontrar una contradicción respecto a las premisas, una proposición verdadera o respecto a la suposición. Aquí se interrumpe el desarrollo...