Ejemplo de una demostracin por contradiccin

Llamada tambin demostracin al absurdo Demostracin de la afirmacin Antes de demostrar esto debemos tener claro que existen ciertos axiomas que nos permitirn, en este caso, demostrar nuestra afirmacin. Dado que nos basaremos en axiomas, tenemos que nuestra demostracin (siendo cada paso lgico correcto) es verdadera. Usaremos los siguientes axiomas de los nmeros reales: Ax1. Ax2. Si y , con a,b,c reales. Entonces

Asumidos ciertos estos axiomas podemos comenzar con nuestra demostracin. Supongamos por un momento, contrariamente a lo esperado que, que llegamos a una contrdiccin. Puesto que , aplicando el axioma Ax2 al multiplicar por 1 (que es menor que cero), tenemos que , lo cual es una contradiccin. Como nuestra hiptesis era que podemos decir es que , y sta es falsa, lo nico que ahora y veamos

. Pero el axioma Ax1 dice que la nica

posibilidad donde no existe contradiccin es que efectivamente Luego

Razonamiento Es claro que lo que debemos tener es una contradiccin. Para ello, primero debemos plantear una hiptesis, y comprobar si es cierta o no. De no serla nos conducir a una contradiccin. Debe tenerse claro que nuestra hiptesis comienza cuando decimos que 1 es menor que cero y no en los axiomas mencionados anteriormente (porque stos estn ya demostrados o bien, asumidos ciertos y no requieren, por lo tanto, mayor anlisis). Como sabemos que la afirmacin "'1 es menor que cero" es falsa, debiramos llegar a una contradiccin. Pero no basta slo con saberlo, ya que debe ser demostrado. Nuestra hiptesis fue que uno era menor que cero y, luego de ciertos pasos lgicos correctos usando los axiomas, concluimos que uno era

mayor que cero, lo cual claramente no puede ser cierto, ya que por la ley de tricotoma, dos nmeros reales deben cumplir una y slo una de las siguientes relaciones ; o bien ,

pero nunca dos ni tres juntas. Luego, como nuestra hiptesis nos conduce a una contradiccin, es falsa, y debemos considerar todas las posibilidades, menos esa. Esto es: como uno no es menor que cero, debe, necesariamente, ser mayor o igual que ste (cero). Pero el axioma primero dice que uno es distinto de cero, por lo que slo queda la opcin de que 1 sea mayor que cero Razonamiento incorrecto Un error comn entre quienes comienzan el estudio de estas materias, es el de pensar que han llegado a una contradiccin sin haberlo hecho. Por ejemplo: Suponen que: , Luego sumando (-1) a ambos lados lo cual es una contradiccin ya que .

Este razonamiento tiene un error, ya que no llegamos a una contradiccin. Nuestra hiptesis era que 1 era menor que cero y por lo tanto, con los procedimientos realizados caso la afirmacin , que es verdadero. En esta es falsa.

Ntese que para llegar a una contradiccin debemos tener lo siguiente: Una afirmacin P (en nuestra hiptesis) que diga que sta es cierta. Una conclusin que diga que P es falsa.

Claramente ninguna afirmacin puede cumplir con esto. En lgica esto la afirmacin sera: P es cierta y ~P es cierta, que se lee "P es cierta y no P es cierta". [editar]Ejemplo

de una demostracin por

induccin

Demostrar que

Demostracin Debemos comprobar si la afirmacin es cierta para desde Sea , ya que la sumatoria parte . , entonces

. y la afirmacin es cierta para .

Supongamos ahora, que la afirmacin es cierta para un para . fijo, y veamos que sucede

Por propiedad de las sumatorias tenemos que

como la afirmacin es cierta para

, tenemos que

ordenando

como

es distinto de

, pordemos simplificar y

que es lo que queramos demostrar. As, la afirmacin tambin es verdadera para Luego, la afirmacin es cierta para todo Razonamiento El principio de Induccin dice que dada una afirmacin Si lo es. Entonces, como nuestro es lo que queremos , esta es cierta slo si se cumple que es cierta es cierta, entonces tambin . .

demostrar, debemos ver si es cierta para su primer trmino. En este caso para .

Ntese que no necesariamente nos debe quedar 1 en la sumatoria. Lo que nos indica el es que

debemos ver si es cierta para el primer trmino. Como la afirmacin se cumpla para , el paso , se cumpla

siguiente era ver si, asumida cierta para para

. As entonces, usamos lo que queremos

ver si es cierto en el nico miembro de la izquierda de nuestra ecuacin. Luego aplicando propiedades de la sumatoria, podemos descomponer la sumatoria en partes y dejar lo que sabemos que es cierto, separado de lo que se puede aplicar por definicin. Sabemos que es cierto para , por lo tanto el primer miembro del

lado derecho lo podemos sustituir, mientras que al segundo miembro slo aplicamos la definicin de sumatoria. Luego, sumando las fracciones y agrupando, conclumos que el primer miembro del lado izquierdo de nuestra ecuacin, se puede expresar como lo que

queremos demostrar. Por lo tanto, conclumos que la afirmacin es cierta para [editar]Definicin .

formal

En lgica matemtica y en lgica proposicional, una demostracin es una secuencia finita de frmulas lgicas bien formadas:

tales que cada Fi es o bien un axioma o bien un teorema que se deduce de dos frmulas anteriores Fj y Fk (tales que j<i y k<i) mediante una regla de deduccin vlida. Es decir,

Dada una demostracin como la anterior si elemento final Fn no es un axioma entonces es un teorema. Desde el punto de vista de loslenguajes formales el conjunto de teoremas demostrables coincide con el conjunto de secuencias de frmulas bien formadas sintcticamente bien formadas.