Método de Reducción al absurdo

Este método suele ser confundido con el método de indirecto . Cuando se realiza una prueba utilizando reducción al absurdo se
suele seguir el siguiente modelo

   

La gran diferencia con el método de contradicción es que en este método se utiliza la hipótesis y la negación de la
contradicción para llegar a un absurdo. Veamos siguiente ejemplo:

Ejemplo    Sea un conjunto de números reales que cumple las siguientes proposiciones (axiomas):
 

Demostrar el teorema:
Ahora realicen siguiente ejercicio:

Ejercicio: Completar la demostración del teorema:

Teorema Si entonces utilizando reducción al absurdo:

Demostración:
1
Hipótesis: B
x

Conclusión:
1) 2x  B Se niega la conclucion (¿Por qué escribimos eso…anotar???)
1
2) 2x  B   B Conjuncion (¿que regala de inferencia se aplicó…escribir???)
x
3) raíz de 2 (aplica axioma 2 del ejercicio)

4) 2 2  2 B (axioma #2)

5) 2  B  ________ 6(adjunción del axioma 1)

6) 6  B (axioma __3_____)

Tenemos absurdo: contradicción con el Axioma # 3

Por tanto lo supuesto es falso, es decir: ______________________________-