Demostracin por contraposicin

La demostracin por contraposicin podra ser llamada demostracin supongamos que

no y procede de la siguiente manera.
Acabamos de ver que en el mtodo de demostracin por reduccin al absurdo, partes de las
proposiciones A y no B y, por demostracin directa, intentas alcanzar algn tipo de
contradiccin. La dificultad de este mtodo es que no sabes a qu contradiccin te vas a
dirigir. El mtodo que veremos ahora, la demostracin por contraposicin, tiene la ventaja
de que te vas a dirigir hacia una contradiccin concreta.
En la demostracin por contraposicin, al igual que la demostracin por reduccin al
absurdo, supones que tanto A como no B son verdaderas. En el mtodo por contraposicin,
sin embargo, no partes de A y no B, sino que empiezas a trabajar solamente con no B y tu
objetivo es llegar a qu A es falsa, con lo que ya has llegado a una contradiccin Qu
mejor contradiccin? Cmo puede ser A a la vez verdadera y falsa?
Ejemplos
Intenta demostrar por contraposicin la siguiente proposicin:
Proposicin: Si m y b son nmeros reales con m 0, entonces la funcin f (x) mx b es
inyectiva. (Recuerda que una funcin es inyectiva si para cualesquiera nos reales x e y con x
y es f (x) f (y)).
Hemos dicho que la demostracin por contraposicin es un cierto tipo de demostracin por
reduccin al absurdo. Cada uno de estos dos mtodos tiene sus ventajas y sus
inconvenientes. La desventaja del mtodo de demostracin por contraposicin frente al de
reduccin al absurdo consiste en que en aqul partes de una sola proposicin, no B, en lugar
de dos. La ventaja es que sabes exactamente a dnde quieres llegar, a no A, con lo que
puedes aplicar el mtodo de demostracin indirecta a la proposicin no A. La opcin de
trabajar con demostracin indirecta no es aplicable en el mtodo por reduccin al absurdo
pues no sabes qu contradiccin ests buscando.

Si comparas el mtodo de demostracin directa-indirecta (A implica B) con el de

contraposicin (no B implica no A) observars que tienen la misma estructura y, por tanto,
no hay, en principio, razones aparentes para preferir uno a otro.
Hay, sin embargo, algunos casos en los que el mtodo de contraposicin o el de por
reduccin al absurdo deberan elegirse o, al menos, considerarse seriamente. Son aquellos
en los que en la proposicin B aparece la palabra no, pues, en estos casos, es bastante
normal que la proposicin no B contenga alguna informacin til.
Para terminar, he aqu un cuadro que resume los tres mtodos:

Mtodo
Demostracin directaindirecta

Supongo
A

Reduccin al absurdo

A y no B

Contraposicin

no B

directa
directa
directa

Concluyo
...
...
...

Indirecta

contradiccin
Indirecta

no A

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 hiptesis, y como supusimos que se tenan
las hiptesis, se llega a una contradiccin. (Breve repaso de lgica)
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 basndonos en nuestro esquema.

Teorema El conjunto vaco es subconjunto de todos los conjuntos

dem: Dnde estn las hiptesis? Las hiptesis que tenemos son toda la teora de conjuntos,
que es la necesaria para afirmar que el conjunto vaco es subconjunto de todos.
Supongamos que tenemos la teora de conjuntos y no tememos la tesis, es decir, que el vaco
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 vaco no tiene
elementos