LOS METODOS DE

DEMOSTRACION
La Implicacion y sus Clases
 Desde el siglo III a.C., el gran filosofo griego Aristoteles,quien
escribio el primer libro de logica, descubrio que junto a una
implicacion habia otras tres implicaciones derivadas:

T→H
H→T ~H→~T Implicaciones Derivadas
~T→ ~H

TODO TEOREMA ES UNA

IMPLICACION H→ T
Aristoteles descubrio que entre ellas habia relaciones muy importantes, y por eso les puso
Los nombres que aparecen en el cuadro logico siguiente:

H→T T→H

Directa Reciproca

~H → ~T ~T→~H

Contraria Contrarreciproca
 Ejemplo
Sea ( P∧Q)→P Una Implicacion o teorema
Fijate como se forman las tres deivadas :
(P∧Q)→P P→(P∧Q)
Directa Reciproca

~(P ∧ Q)→~P ~P→~(P∧Q)

Contraria Contrarreciproca

Si hacemos las tablas veritativas de cada una veremos que:

(P∧Q)→P ≅ ~P→~(P∧Q)

~(P∧Q)→~P ≅ P→(P∧Q)
Ejemplo Literal de teorema expresado en las cuatro implicaciones

Directo:”Si dos angulos son rectos, entonces son congruentes.”

Reciproco: “Si dos Angulo son congruentes, entonces son angulos rectos”

Contrario: “Si dos angulos no son rectos, entonces no son congruentes.”

Contarreciproco: “Si dos angulos no son congruentes, entonces los angulos

no son rectos.”

Directo: “Si dos angulos son opuestos por el vertice entonces son congruentes.”

Contrarreciproco: “Si dos angulos no son congruentes entonces no son opuestos por el vertice.”
 Los Tres Metodos para “Demostrar”: Directo,Indirecto,Contrarreciproco

“MATEMATICA ES DEMOSTRAR”

Seis siglos antes de cristo los sabios griegos comprendieron esta importante verdad.
En matematica hay que “Demostrar” todas las proposiciones que no sean postulados.
Pero en Matematica no se demuestra de la misma
manera que lo hacen:
Ciencia Naturales
La Fisica
La Quimica
La Biologia
Ya que esta emplean el metodo experimental
 La matematica demuestra razonando
deductivamente

La Matematica utiliza el metodo Logico Deductivo

Para compreder por que los sabios griegos pensaban de esa manera ,vamos a hacer el
Siguiente ensayo.

Cuanto suman las medidas de los tres angulos de un triangulo?

Para Averiguarlo, toma el siguiente conjunto conjunto formado por cuatro triangulos
Diferentes.
1. Con el transportador y siendo muy cuidadoso,trata de medir los angulos del
Triangulo 1 y sumalo.
2.Haz el mismo trabajo con los restantes triangulos.
3.Compara los resultados. Cual seria,ante esos resultados,tu opinion sobre la respuesta
a lo que se Busca?
No podria ser cualquier otro numero?
Claro que si.Hay muchos numeros posibles.

3
1 2
El ensayo anterior puede ser Buena en ciencias Naturales,ya que cualquiera de esos
valore puede ser admitido.En matematica deseamos tener el valor exacto,exactamente
El que es, no sus aproximados.Ese valor exacto es el resultado de una demostracion
logica deductiva.
Hay algunos que pretenden fiarse de los sentidos para decir que la demostracion
no es necesaria.esto es otro gran ERROR.

Observa cada una de la siguiente Figura y versa como el sentido nos engana.

https://profmate.wordpress.com/ilusiones-opticas/
Una Figura NO DEMUESTRA un Teorema
Por lo que acabamos de decir, no hay nada que nos permita afirmar que lo
mostrado en una Figura no sea mera illusion.

La Figura ,en un Teorema es una ayuda para guiarnos en la Demostracion

La Figura : No es Unica
No Es Imprescindible
Ejemplo:
Si decimos: “Sean dos triangulos cuyos lados son respectivamente Congruentes…”
a. Cual de las tres parejas de triangulos escogerias como figura del Teorema?
Cualquiera de las Tres parejas cumplen la condicion de ser dos triangulos con sus lados
Correspondientes respectivamente congruentes.
b. Hay mas parejas de triangulos cuyo dibujo cumpla dicha condicion?
Hay Infinitas parejas de triangulos Cumpliendo esta condicion.

“La Figura Mas General es la que no se dibuja”

 El Metodo Logico-Deductivo tiene tres formas basicas

Metodo Directo Metodo Indirecto o reduccion al absurdo Metodo de la Contrarreciproca

El Metodo Directo de demostracion es una cadena de conjuciones de

implicaciones ,que, partiendo de la Hipotesis, llegan a la Tesis.

Si se quiere probar que P→Q

Se puede tener:
(P→R)∧(R→T)∧(T→Q)∴P→Q
 Para probar un teorema por el metodo indirecto o reduccion al absurdo se siguen los siguientes
pasos:
1- Se supone que el teorema es falso P→Q es Falso
Por lo tanto ~(P→Q) es verdadero.
2- Suponiendo que ~(P→Q) es verdadero se usa el metodo directo hasta llegar a una
implicacion que sea una contradiccion.
3- Si se llega a una contradiccion partiendo de ~(P→Q), entonces la suposicion de que esta es
verdadera no es correcta, y por lo tanto
~(P→Q) es falsa y entonces P→Q es verdadero

Observa algo muy importante: Si dices que (P→Q) no es verdadera, es decir falsa, eso quiere
decir que:P es verdadera y Q es falsa es el unico caso en que una implicacion es falsa.
Por lo tanto P es verdadera y ~Q es verdadera
 En resumen: Para hacer una “Demostracion Indirecta”
1- Negamos la tesis, con la misma Hipotesis.
2- Aplicamos el metodo directo a P→~Q hasta llegar a una
contradiccion.
TEOREMA Si x 2 es par entonces x es par
Hipotesis : x 2 es par.
Tesis : x es par.
DEMOSTRACI ON
1.Vamos a asumir que : x 2 es par  x no es par.
Osea : x 2 es par  x es impar.
2. x es impar  x  2n - 1, n  N,
3.x  2n - 1, n  N  x 2  (2n  1) 2  4n 2  4n  1, n  N
4.x 2  4n 2  4n  1, n  N  x 2  2(2n 2  2n)  1, n  N
5.x 2  2m  1, m  2n 2  2n, n  N  x 2 es impar
Entonces nos resulta que :
x 2 es par  x 2 es impar
Y esto es una contradiccion. Por tanto la implicacio n
x 2 es par  x no es par
es falsa por conducir a una contradiccion. Luego debemos admitir que :
x 2 es par  x es par es verdadera para evitar la contradiccion.
Metodo de la Contrarreciproca es una aplicacion de la equivalencia Logica del teorema Directo
y del teorema contrarreciproco.
Como elteorema Directo y el Contrarreciproco son Logicamente equivalentes, el demostrar uno
de ellos equivale demostrar el otro.
Cuando el directo se torna dificil de probar se usa probar el contrarreciproco y entonces se dice
que se ha empleado el metodo delcontrarreciproco.

Casi siempre el razonamiento empleado con

el metodo indirecto es casi igual que el
empleado en la contrarreciproco, y por eso
mucho confunde ambos metodos.