LA DEMOSTRACIN

La demostracin es un razonamiento que prueba validez de un nuevo conocimiento; en el

enlace entre los conocimientos recin adquiridos y los conocimientos anteriores. Los
procedimientos de demostracin permiten establecer la conexin lgica entre las
proposiciones fundamentales de la teora, sus consecuencias sucesivas, hasta deducir la
conclusin o tesis que as lo de mutra

LA DEMOSTRACIN DIRECTA

La demostracin directa es un proposicin t (teorema) es un conjunto de proposiciones o

primicias que son postulados o proposiciones de validez aceptada y de las cuales se infiere
t como consecuencia inmediata

Ejemplo 1

Dadas la primicias 1q

2 q

3 r

Demostracin: puesto que r q es equivalente a qr se tiene la primicia

3 q r, ahora, de las primicias 1 y 3 se puede concluir t, es decir,

Como p q y q r entonces p r

EJEMPLO 2

Demostrar que si x es impar, entonces que x 2 es impar. El enunciado generalas siguientes premisas

1. X es impar
2. 2 x = 2n+ 1 donde n es un entero

Hay que demostrar que x2 = (2n + 1) 2 es impar

Demostracin
Si x es impar, entonces x = 2n + 1, entonces x2 = (2n + 1)2= 4n2+ 4n + 1,esta expresin se
puede escribir de la forma 2(2n 2 + 2n) + 1 , tomando el trmino 2n 2 + 2n como el entero
m , se tiene que: x2 = (2n + 1) 2= 2m + 1, es decir ,x2 es un nmero impar

LA DEMOSTRACIN INDIRECTA

Se realiza una demostracin indirecta cuando se establece la validez de una tesis t probando
que las consecuencias de su contraria son falsas

EJEMPLO 3

Construir la demostracin indirecta de

Si x2 es par, entonces x es par, (con x entero)

Suponga que existe al menos un entero x tal que x 2 es par y x

Es impar. Por el ejemplo 2 analizado en la demostracin directa, se sabe que si x

Es impar, entonces x2 es impar, luego es imposible que x sea impar y que x 2

Sea par. Esta es la contradiccin buscada