Introduccin

Demostracin es, segn una de las entradas del trmino, la prueba de algo,
partiendo de verdades universales y evidentes.
En trminos matemticos, diremos que una demostracin es una serie de
pasos lgicos, donde cada paso se sigue de manera lgica de los anteriores,
encontrndose que el ltimo escaln es justamente la afirmacin que se quiere
probar. Partiendo de unas definiciones y un cuerpo axiomtico bien definidos,
se trata de ir desarrollando un cuerpo terico en el que en primer lugar se van
deduciendo, mediante pasos lgicos, una serie de Resultados menores, que
vienen a ser piezas de un puzle que unidas Convenientemente dan lugar a
resultados de mayor envergadura y calado.
A continuacin, veremos los diferentes mtodos de demostracin que se
emplean en los pasos Lgicos que conducen a las afirmaciones que se quieren
probar. Debe destacarse que la validez de Los resultados obtenidos siguen un
estricto protocolo o control de calidad: partiendo de verdades ya Conocidas
debemos encontrar argumentos lgicos que nos conduzcan a la conclusin
deseada.

MTODOS DE DEMOSTRACIN EN MATEMTICAS

Mtodo directo.
Reduccin al absurdo.
Contrarrecproco.
Bicondicionales (doble implicacin). Equivalencias mltiples.
Mtodo de induccin.
Contraejemplos.

Mtodo directo
Si A, entonces B
Para que se cumpla B es suficiente que se cumpla A
B es una condicin necesaria para que se cumpla A
Se trata de demostrar que si se cumple la propiedad A, entonces se verifica B.

Reduccin al absurdo
Para probar que una propiedad A es verdadera, se supone que A es falsa y se
llega a una contradiccin. Evidentemente, empleamos el hecho de que una
proposicin en Matemticas es verdadera es falsa, pero no ambas cosas a
la vez.
Hay que decir que este recurso era muy querido por los matemticos griegos.
Hay quienes opinan que es preferible dar, si es posible, demostraciones
directas, para de esa forma no confundir al alumno con tantas suposiciones
que lleguen a crearle una sensacin de falta de control en el razonamiento, al
no poder saber en cada momento qu es cierto o qu es falso.

Contra recproco

Este mecanismo de demostracin se basa en el hecho de que la implicacin A

B es Equivalentemente lgica a NO B => NO A. Este mecanismo es aconsejable
cuando no sabemos Cmo trabajar a partir de la hiptesis A y en cambio, la
negacin de B proporciona un buen punto De partida. No se debe confundir el
contra recproco con el mecanismo de reduccin al absurdo.

Doble implicacin
El recproco de la implicacin A B es B A. Obviamente si se cumple una
implicacin no tiene por qu cumplirse necesariamente la otra. Por ejemplo, si
A representa a la propiedad de que un nmero natural es mltiplo de 6 y B a la
de ser mltiplo de 3, tenemos que A B pero su recproco es cierto.
Cuando se tiene que tanto la implicacin A B como su recproco B A son
ciertas, decimos que A B NO B NO A las condiciones A y B son equivalentes y
empleamos el signo de la doble implicacin. En los textos aparece desarrollada
esta doble implicacin en sentencias del tipo:
Probar que A y B son equivalentes
Probar que se cumple A si, y slo si, se cumple B

Una condicin necesaria y suficiente para que se d A es que se verifique B

Contraejemplos
A veces, la validez de una propiedad se refuta dando un ejemplo en el que no
se cumple dicha propiedad: habremos probado entonces que, en general, la
propiedad en cuestin es falsa. A dichos ejemplos que echan abajo la validez
de la propiedad se les conoce con el nombre de contraejemplos.
En muchas ocasiones, cuando nos enfrentamos a resolver un problema y
vemos que la propiedad que queremos demostrar no tiene un ataque sencillo,
nos podemos plantear la posibilidad de encontrar un contraejemplo

Aplicacin a informtica
El nivel menos abstracto dentro de una computadora est constituido por
circuitos electrnicos que responden a diferentes seales elctricas, siguiendo
los patrones de la lgica booleana; esto es, compuertas lgicas que devuelven
un valor dependiendo de las entradas que se le dan al sistema. Existen ocho
compuertas lgicas bsicas con las cuales se pueden formar sistemas muy
complejos: AND, OR, Inverter, Buffer, NAND, NOR, XOR y XNOR. Todas ellas son
representadas mediante un smbolo y una tabla de valores de verdad, que es
simplemente un cuadro donde se ubican todas las posibles entradas y los
valores que devolvera la compuerta dados dichos valores.
Todo sistema computacional, por muy complejo que sea, no est compuesto
por ms que circuitos electrnicos que nicamente entienden un lenguaje
binario. La lgica computacional se encarga de modelar y optimizar tales
sistemas a este nivel.

Conclusiones
Con base en lo anteriormente planteado podemos darnos cuenta de que aun
cuando las demostraciones parecieran no tener nada que ver con la
informtica o no pudieran ser relacionadas son vitales para la fabricacin de los
componentes vitales de nuestras herramientas de trabajo

Bibliografia
http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion3.pdf
http://www.slideshare.net/filosofico/mtodos-de-demostracin-en-matemtica
http://www.um.es/docencia/jsimon/depmat/2013-2014/CyN/LineroDemostracionMatematicas(jsimon).pdf