Reductio ad absurdum

Reductio ad absurdum, expresión latina que significa literalmente 'reducción al absurdo', es uno de los métodos lógicos de
demostración más usado en matemáticas para demostrar la validez (o invalidez) de proposiciones categóricas.

Se parte por suponer como hipotética la negación o falsedad de la tesis de la proposición a demostrar, y mediante una
concatenación de inferencias lógicas válidas se pretende llegar a una contradicción lógica, un absurdo, de llegar a una
contradicción, se concluye que la hipótesis de partida (que se había supuesto verdadera al principio) ha de ser falsa, y entonces la
hipótesis original es verdadera y la proposición o argumento es válido.

Para demostrar la invalidez de una proposición, se supone como punto de partida que la proposición es cierta. Si la derivación
final es una contradicción, se concluye que la proposición original es falsa y el argumento es inválido.

A este método también se le conoce como prueba por contradicción o prueba ad absurdum. Parte de la base es el cumplimiento
del principio de exclusión de intermedios: una proposición que no puede ser falsa es necesariamente verdadera, y una proposición
que no puede ser verdadera es necesariamente falsa.

Índice
Su uso en matemáticas
Ejemplos
No existe un número racional mínimo mayor que cero
¿Hay infinitos números primos?
La raíz cuadrada de 2 es irracional
Lógica
Véase también
Notas y referencias

Su uso en matemáticas
La demostración por reducción al absurdo es un tipo de argumento muy empleado en demostraciones matemáticas.

Consiste en demostrar que una proposición matemática es verdadera, probando que si no lo fuera conduciría a una contradicción,
por lo cual sería verdadera.

Para obtener una prueba válida debe demostrarse que, dada una proposición , «no » implica una propiedad falsa en el sistema
matemático utilizado. El peligro es la falacia lógica de la argumentación por ignorancia, mediante la cual se prueba que «no »
implica una propiedad que parece falsa pero que realmente no se ha demostrado tal falsedad.

Un ejemplo clásico de esta falacia es la falsa demostración de un quinto postulado de Euclides a partir de los anteriores. Debido a
que cuando se establecieron esas pruebas no existía otra Geometría que la euclidiana, parecían correctas. Tras la aparición de
otras geometrías se demostró que el sistema era incorrecto. Para una explicación más profunda de estas falacias puede verse
Mathematical Thought: from Ancient to Modern Times,1 de Morris Kline.
Aunque en demostraciones matemáticas este método se utiliza con gran libertad, no todas las escuelas de pensamiento
matemático aceptan la reducción al absurdo como universalmente válida. En escuelas como la del intuicionismo, la ley de
exclusión de intermedios no se acepta como válida. Desde este punto de vista hay una diferencia muy significativa entre
demostrar que mediante un ejemplo real de un «algo» que existe sería absurdo demostrar su no existencia.

Ejemplos

No existe un número racional mínimo mayor que cero

Supongamos que se desea demostrar una proposición P. El procedimiento consiste en demostrar que asumiendo como cierta la
falsedad de P (o sea P negada) conduce a una contradicción lógica. Entonces P debería no ser falsa. Por lo tanto tiene que ser
verdadera.

Por ejemplo considérese la proposición «no existe un número racional mínimo mayor que cero». En una reducción al absurdo
se comenzaría por asumir lo contrario y nuestra tesis sería: existe un número racional mínimo mayor que cero: r0.

Ahora tomemos x = r0/2. Por lo tanto x es un número racional mayor que cero, y x<r0. Eso es un absurdo, pues contradice la
hipótesis de partida de que r0 era el número racional mínimo. Por lo tanto se debe concluir que la proposición asumida como
cierta: «hay un número racional mínimo mayor que cero» es falsa.

No es inusual utilizar este tipo de razonamientos con proposiciones como la enunciada, acerca de la inexistencia de cierto
elemento matemático. Se supone que ese elemento existe y se prueba que eso conduce a una contradicción. Por lo tanto ese objeto
no existe.

¿Hay infinitos números primos?

Existen numerosas demostraciones sobre que existen infinitos números primos, la primera de la que se tiene constancia es de
Euclides, donde queda demostrado mediante Reductio ad absurdum en la Proposición 20 del libro IX de Elementos (Hay más
números primos que cualquier cantidad propuesta de números primos).

Partiendo de suponer que lo cierto es lo contrario, por lo cual nuestra tesis quedaría: «Los números primos son finitos»,
entonces tenemos números primos que serían .

Entonces se toma ahora el siguiente número:

Tenemos que es el producto de todos los números primos más 1, y no es un número primo, pues no se encuentra en la lista
anterior, entonces por definición es un número compuesto y debe ser divisible por algún número primo.

Si hacemos la división entre cualquier número primo de la lista , nos sale resto 1, por lo cual debe existir al
menos otro número primo que no se encuentra en esa lista.

Entonces llegamos a una contradicción de nuestra tesis «Los números primos son finitos» que es falsa, por lo cual existen
infinitos números primos.

La raíz cuadrada de 2 es irracional

Un ejemplo es la demostración de que la raíz cuadrada de 2 es un número irracional. La afirmación inicial (nuestra tesis) es la
contraria:, es decir, que: «la raíz cuadrada de 2 es un número racional»
Al ser un número racional, vamos a expresarlo como , entonces quedaría:

, (donde p y q son números enteros, q es distinto de 0).

Sin pérdida de generalidad se puede suponer que p y q son positivos (si los dos fueran
negativos bastaría multiplicarlos por -1), y que son primos entre sí, es decir no comparten
factor común alguno (Ya que si los hubieran factores comunes, los podemos simplificar y
quedarnos con la fracción irreducible resultante).

Ahora elevamos ambos miembros al cuadrado:

Multiplicando en ambos lados por se tiene:

La expresión es un número par,por lo que también es par (de no serlo, no sería par, y no se podría cumplir la igualdad).

Sea , donde es un número entero. Sustituyendo la expresión quedaría:

Podemos simplificar dividiendo entre dos en ambas partes y obtener que:

Por el mismo razonamiento de antes donde, es un número par, así es que también es par, y así mismo es par.

Como y son pares, tienen al menos un factor común, el . Esto entra en contradicción con la suposición anterior, de que los
números y no tenían factores en común. Como esta elección de y se hizo sin pérdida de generalidad y el razonamiento
posterior es correcto, implica que la premisa inicial de que era racional es falsa.
Luego es irracional. Q.E.D.

Lógica
En lógica simbólica la reducción al absurdo se expresa así:

Si

entonces

En esta representación, P es la proposición por demostrar, y S es una serie de proposiciones previas tomadas como ciertas. Por
ejemplo los axiomas de la teoría en la que se ha trabajado o los teoremas anteriores ya demostrados. Considérese la negación de P
en conjunto con S. Si esto lleva a una contradicción F se puede concluir que S conduce necesariamente a P.
En palabras de G. H. Hardy: «La reducción al absurdo, que Euclides tanto amaba, es una de las mejores armas de la Matemática.
Es mucho mejor gambito que cualquiera de los del ajedrez: un jugador de ajedrez puede ofrecer el sacrificio de un peón u otra
pieza, pero un matemático ofrece la partida».

Véase también
Modus tollendo tollens
Reductio ad Hitlerum
Prueba por contradicción
Lista de prejuicios cognitivos

Notas y referencias
1. Morris Kline, (en latín) Mathematical Thought: from Ancient to Modern Times (https://books.google.es/books?id=a
O-v3gvY-I8C&printsec=frontcover&hl=es&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false).

Obtenido de «https://es.wikipedia.org/w/index.php?title=Reductio_ad_absurdum&oldid=116065919»

Esta página se editó por última vez el 19 may 2019 a las 15:37.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.