Metodo de demostracion aplicado a la informatica

METODO DE 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 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 reglasde inferencia 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) delteorema despué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 enpantalla y por tanto no reciben ni entregan datos, sino que sólo hacen "algo", un método "cambiarColorDePantallaAleatorio", no necesitará un valor de entrada ni de salida, en cambio, un método"calcularDistanciaEntrePuntos", 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 ycon ayuda 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 desarrollopráctico de la demostración, puesto que una proposición y su negación no pueden ser verdaderas a un mismo tiempo. Y de aquí se concluye que la tesis del teorema es verdadera. Como se puede observarpara demostrar un teorema se hace necesario identificar las premisas y la tesis del teorema; luego si se quiere demostrar una proposición si es posible, ya que no siempre se puede, expresar está en laforma de una implicación, lo que permitirá de una manera más fácil obtener las premisas y la tesis de la proposición a demostración. En la informática se  puede acceder y modificar los datos privados...