ETAPA 1

DEMOSTRACION POR CONTRADICCION (REDUCCION AL ABSURDO)

La demostracin por contradiccin, o reduccin al absurdo, es una forma de
demostracin equivalente a la que se hace regularmente. Se usa
preferentemente cuando la propiedad a demostrar resulta tan intuitivamente
cierta, que la mejor forma de probarla es mostrando la inconveniencia de no
resultar cierta.
Los teoremas constan de dos partes: la Hiptesis y la Tesis, con la
relacin . De forma ms coloquial, tenemos que si se cumplen
las hiptesis entonces las tesis se tienen sin excepcin.

La demostracin por contradiccin equivale a colocarse en el mal caso es decir:

supongamos que tenemos las hiptesis pero no se tiene la tesis. Si lo que
queremos demostrar es verdad, por contrarecproca tendremos que no tesis
implica no hipotesis, y como supusimos que se tenan las hiptesis, se llega a
una contradiccin.

El esquema de demostracin es el siguiente: Suponer

, y luego debe tenerse

con lo que se llega a tener contradiccin.

Ejemplo: Demostremos es siguiente teorema basandonos en nuestro esquema.

Teorema El conjunto vacio es subconjunto de todos los conjuntos

dem: Donde estn las hiptesis? Las hiptesis que tenemos son toda la teora
de conjuntos, que es la necesaria para afirmar que el conjunto vacio es
subconjunto de todos.

supongamos que tenemos la teora de conjuntos y no tememos la tesis, es

decir, que el vacio no es subconjunto de algn conjunto A. Esto quiere decir,
por definicin, que el conjunto vaco tiene un elemento que no tiene el
conjunto. esa es la contradiccin, ya que el vacio no tiene elementos

Problema Sea I un intervalo y f :I una funcin derivable tal que

si entonces . Pruebe que si para algn
entonces para todo tal que .
No es un problema fcil de clculo diferencial., pero tratemos de abordarlo.

Como la derivada de f es negativa cuando f es mayor que cero, tenemos que la

funcin es decreciente en todo ese tramo. Cuendo f deja de tomar valores
positivos, la funcin ya no sufre de restriccin alguna, por lo que se puede
mover libremente. Hagamos el ejercicio de dibujar la funcin, partiendo de
algn valor de f positivo. De este modo, obtendramos el siguiente dibujo.

fijense que en nuestro dibujo, cuando

estamos en los valores negativos de f, no puede volver a tomar valores
positivos, ya que veriamos que la funcin f tendra pendiente positiva para f
mayor que cero. Es lo que dice el teorema: para f que cumple las hipotesis,
existe un punto donde la funcin es menor que cero.

Como la propiedad parece evidente al realizar el dibujo, haremos la

demostracin por contradiccin

supongamos que funcin cumple entonces . y que no

cumple la tesis

(1) para todo tq .

Recordemos que la negacin de la implicancia es (es decir p no

obliga a q). En este caso la negacin resulta:

para algn .

Grficamente
llegemos a la contradiccin. Como . por TVI, exite
un tq . Note que la figura que entre y hay varios puntos
con pendiente negativa.

Como la funcin es derivable, usamos el TVM en el intervalo

con

notando que , y , concluimos que .

Como , llegamos a la contradiccion con (1). (hacer el repaso geomtrico).

ETAPA 2
MODUS PONENDO PONENS Y MODUS TOLLENDO TOLLENS
MODUS PONENDO PONENS (PP)

Nos permite pasar de dos premisas a la conclusion, esta regla se aplica

siempre que se d una proposicion condicional y se d precisamente el
consecuente . La misma regla se aplica tanto si el antecedente y consecuente
es una proposicin atmica como molecular.

P Q (1) P V M T & Q
P (2) P V M
---------- _________________________
.: Q .: (3) T & Q PP 1.2

P : esta planta crece.

Q: necesita ms agua .
A: necesita mejor abono

PQVA
 P
______________
.: Q V A

En palabras podemos concluir que esta planta necesita ms agua o ms abono

MODUS TOLLENDO TOLLENS (TT)

Se aplica tambien a las proposiciones condicionales , pero en este caso

negando el consecuente, se puede negar el antecedente de la condicional . La
misma regla se aplica tanto si el antecedente y consecuente es una
proposicin atmica como molecular.

P Q (1) P V MT & Q
Q (2) (T & Q )
---------- _______________________
.: P .: (3) ( P V M ) TT 1.2

EJ: Jose no es mi hermano . Si Susana es mi hermana, entonces Jose es mi

hermano.

J : Jose es mi hermano.
S: Susana es mi hermana.

J
S J
___________
.: S

En conclusion Susana no es mi hermana

REFERENCIAS
http://laslogicass.blogspot.mx/2011/03/modus-ponendo-ponens-pp-p-
q-p-q-modus.html
http://www.fi.unsj.edu.ar/descargas/ingreso/logica.pdf
https://profesordelta.wordpress.com/2010/03/29/como-demostrar-por-
contradiccion-con-ejemplos/