El mtodo progresivo-regresivo

El mtodo progresivo-regresivo consiste en trabajar con la hiptesis y la tesis de forma

simultnea obteniendo afirmaciones equivalentes a ambas y de alguna forma llegar a
vincularlas lgicamente. Si trabajamos con la hiptesis y vamos obteniendo
afirmaciones equivalentes estamos procediendo segn el mtodo progresivo, por otro
lado, si trabajamos con la tesis y vamos obteniendo afirmaciones equivalentes estamos
procediendo segn el mtodo regresivo.
En lenguaje coloquial, la idea es ir descomponiendo" la hiptesis y la tesis hasta llegar
a una verdad evidente que vincule a ambas, en otras palabras, la idea es ir dando
saltos" desde la hiptesis hacia la tesis (mtodo progresivo) y desde la tesis hacia la
hiptesis (mtodo regresivo).

por ejemplo un paso en la demostracin de la relacin conjuntista de que, siendo A y B
dos conjuntos cualquiera se verifica que (AB) (AB). El primer paso consiste en
tomar un elemento cualquiera de (AB).

x (AB), desde aqu pueden desprenderse mltiples condiciones necesarias, por
ejemplo las siguientes: que x A y x B que x (AB)W, W, que x (AB)
C

que x A
C
B que x B
C
A , pero de todas ellas es preciso optar por una que
permita vincular la informacin que contiene con el objetivo de la demostracin, es
decir con el hecho de que x pertenezca a (AB), convirtiendo a la proposicin
x (AB), que se quiere demostrar, en condicionante para la eleccin del camino
relacional que debe ser descubierto. As el proceso regresivo se transforma ahora en el
planteamiento del proceso de abstraccin para la proposicin B1. Nuevamente la
formulacin de una pregunta de abstraccin correctamente formulada, su respuesta y
adaptacin al contexto proporcionan una nueva proposicin B2 tal que es condicin
suficiente para la B1, esto es B2 B1.
Este es un camino de progreso desde los efectos a las causas.

Demostracin Directa

Se basa en la implicacin

p q se puede demostrar que si p es verdadero q tambin lo es.
p: es la hiptesis (lo que se supone como verdadero)
q: es la Tesis (lo que se va a demostrar)

Ejemplo:

Demuestre que la suma de dos racionales es un racional.
p: Sean r y s racionales, si r es racional entonces
r = p/q para q 0 y si s es racional entonces
s = t/u para u 0. (Hiptesis)
q: Hay que demostrar que r+s es racional. (Tesis)

Sumamos

r + s =

, donde qu0

Porque q 0 y u0 por tanto hemos expresado r + s como la razn de dos enteros pu +
qt y qu POR TANTO r +s es racional.

Demostracin por contradiccin o reduccin al absurdo

Dado p, supongamos que se puede encontrar una contradiccin q tal que - p q sea
verdadera, esto es, - p F es verdadera.
Entonces la preposicin - p tiene que ser FALSA. Por tanto p DEBE SER
VERDADERA.

Demuestre que es irracional.
Sea p: la proposicin es irracional y supongamos que -p es verdadera.
Entonces es racional.

Mostraremos que esto conduce a una contradiccin.
Sea que es racional por tanto:

*Existen dos enteros a y b de tal forma que = a/b, donde a y b no tiene FACTORES
COMUNES (es decir que no hay una fraccin equivalente a a/b ms pequea).

*Como = a/b entonces 2 = a
2
/b
2
y por tanto 2b
2
= a
2


*Esto significa que a
2
es PAR, entonces a es PAR, y a es de la forma a = 2c para algn
c Z

*Bien entonces 2b
2
= 4c
2
por lo que b
2
= 2c
2
esto significa que b
2
es PAR, por tanto b es
PAR.

*Se ha mostrado que ambos a y b son PARES y por tanto tienen factor comn 2. Esto es
una Contradiccin a la suposicin de que en = a/b, a y b no tiene FACTORES
COMUNES

*Entonces se ve que - p implica tanto r como -r donde r es la sentencia a y b son enteros
sin FACTORES COMUNES.

*Por tanto -p es falsa y p es verdadera, entonces es IRRACIONAL.

*Para que -p F sea verdadera - p debe ser FALSA y por tanto p es VERDADERA.


Induccin Matemtica

Es una tcnica de demostracin que se utiliza para demostrar muchos teoremas que
afirman que P(n) es verdadera para todos los enteros positivos n. La induccin
matemtica se usa para demostrar proposiciones de la forma nP(n), donde el dominio
es el conjunto de los enteros positivos.

Ejemplo
Demostrar por induccin para n 1 que:
1+3+5+ + (2n 1) = n
2


Paso Bsico
Sea P (1)
1 = 1
2

Paso Inductivo

Se debe demostrar que si P (k) es verdadera entonces P (k+1) para k 1 Sea P (k):
(Hiptesis de induccin)

1+2+3+ + (2k 1) = k
2


Ahora hay que demostrar la verdad de P (k + 1): (tesis de induccin)

1+2+3+ + (2k 1)+ (2k +1) = (k +1)
2


Entonces comienza la demostracin tomando la hiptesis:
1+2+3+ + (2k 1) = k
2

Se suma (k +1) en ambos miembros:

1+2+3+ + (2k1)+ (2k+1) = k
2
+ (2k+1)
1+2+3+ + (2k 1)+ (2k+1) = k
2
+2k+1
1+2+3+ + (2k 1)+ (2k +1) = (k +1)
2


Entonces queda demostrada la tesis de induccin, por tanto para n 1 P(n) es verdadera.


Contraejemplo

Se busca un ejemplo para refutar el cul la implicacin o doble implicacin sea falsa.

Ejemplo
Demuestre o refute la proposicin que expresa que si x y y son nmeros reales,
(x
2
=y
2
) (x = y)
Buscamos un ejemplo que contradiga la afirmacin, sean x = 3 y y = 3 entonces (3)
2

= (3)
2
, pero 3 3, el resultado es falso. Este es el CONTRAEJEMPLO.


Mtodo de casos. (Silogismo disyuntivo).
La regla de inferencia de ese nombre da lugar a este mtodo de demostracin, casi de
forzosa utilizacin cuando la hiptesis o una de las hiptesis es una disyuncin de dos o
ms proposiciones, en cuyo caso procedemos as:
1. Suponemos la hiptesis dada correspondiente a una disyuncin.
2. A partir de cada una de las proposiciones que integran la disyuncin se obtiene
una conclusin parcial por el mtodo directo.
Se concluye finalmente la disyuncin de las conclusiones parciales.

Ejemplo

Demostrar el siguiente teorema: Para a, b nmeros reales, si a = 0 b = 0 entonces
a.b = 0
1. Supongamos a = 0 b = 0 Hiptesis auxiliar 1
2. Supongamos: a = 0 Hiptesis auxiliar 2
3. a.b = 0.b Ley uniforme del producto en 2
4. 0.b = 0 Teorema en el conjunto de nmeros reales
5. a.b = 0 Transitividad en la igualdad de 3. y 4.
6. Mtodo directo 2....5.
7. Supongamos: b = 0 Hiptesis auxiliar 2
8. a.b = a.0 Ley uniforme del producto en 7
9. a.0 = 0 Teorema en el conjunto de los nmeros reales
10. a.b = 0 Transitividad en la igualdad 8.y 9.
11. Mtodo directo 7....10.
12. a.b = 0 Mtodo de casos de 1., 6. y 11.(Regla de inferencia )
13. Mtodo directo


Mtodo de contraposicin

En ocasiones, para conseguir demostrar la proposicin AB, resulta ms sencillo
demostrar la proposicin no B no A, que es el enunciado contrarrecproco del anterior.
Un enunciado y su contrarrecproco tienen la propiedad de ser equivalentes, es decir, si
uno es verdadero, tambin lo es el otro y si el primero es falso tambin es falso el
segundo

para todo entero n, si n
2
es par entonces n es par.
Demuestre la proposicin por contrapositiva.
Demostracin:
Se observa que la implicacin: si n
2
es par entonces n es par, con hiptesis
P: n
2
es par y conclusin Q: n es par, es equivalente a la implicacin: si n es impar
entonces n
2
es impar con hiptesis Q: n es impar, y conclusin P: n
2
es impar

Recordando que el inicio de la demostracin por contrapositiva es la hiptesis Q:
n es impar, se tiene el siguiente proceso lgico deductivo formal:

Proposicin Razn
1) n es impar por hiptesis
2) n=2k+1 por proposicin 1)
3) n
2
=(2k+1)
2
elevando al cuadrado ambos lados
de la proposicin 2)
4) n
2
= 4k
2
+4k+1 algebra elemental y proposicin 3)
5) n
2
= 2(2k
2
+2k)+1 algebra elemental y proposicin 4)
6) n
2
es impar por proposicin 5)
Hemos obtenido como conclusin P: n2 es impar. Queda demostrada formalmente la
proposicin 1.2 por contrapositiva.