Reductio ad absurdum

Reductio ad absurdum
ARGVMENTA Argumento ad antiquitatem Argumento ad baculum Argumento ad consequentiam Argumento ad crumenam Argumento ad hominem Argumento ad ignorantiam Argumento ad logicam Argumento ad nauseam Argumento ad novitatem Argumento ad populum Argumento ad verecundiam Reductio ad absurdum

Reductio ad absurdum, expresin latina por Reduccin al absurdo, es un mtodo de demostracin lgico. Es usado para demostrar la validez de proposiciones categricas; se parte por suponer como hipottica la negacin o falsedad de la tesis de la proposicin a demostrar, y mediante una concatenacin de inferencias lgicas vlidas se pretende derivar una contradiccin lgica, un absurdo; de derivarse una contradiccin, se concluye que la hiptesis de partida (la negacin de la original) ha de ser falsa, y la original es verdadera y la proposicin o argumento es vlido. A este mtodo tambin se le conoce como prueba por contradiccin o prueba ad absurdum. Parte de la base es el cumplimiento del principio de exclusin de intermedios: una proposicin que no puede ser falsa necesariamente es verdadera.

Su uso en Matemticas
La demostracin por reduccin al absurdo es un tipo de argumento lgico muy empleado en demostraciones matemticas. Consiste en demostrar que una proposicin matemtica es verdadera probando que si no lo fuera conducira a una contradiccin. Supngase que se desea demostrar una proposicin P. El procedimiento consiste en demostrar que asumiendo como cierta la falsedad de P (o sea P negada) conduce a una contradiccin lgica. Esta P debera no ser falsa. Por lo tanto habra de ser verdadera. Por ejemplo considrese la proposicin "no existe un nmero racional mnimo mayor que cero". En una reduccin al absurdo se comenzara por asumir lo contrario: existe un nmero racional mnimo mayor que cero: r0. Ahora establzcase x = r0/2. Por lo tanto x es un nmero racional mayor que cero, y x es menor que r0. Eso es absurdo, pues contradice la hiptesis de partida de que r0 era el nmero racional mnimo. Por lo tanto se debe concluir que la proposicin asumida como cierta: hay un nmero racional mnimo 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 matemtico. Se supone que ese elemento existe y se prueba que eso conduce a una contradiccin. Por lo tanto ese objeto no existe. De esta manera se puede probar que la raz cuadrada de 2 es irracional. Un ejemplo es la demostracin de que la raz cuadrada de 2 es un nmero irracional. La afirmacin inicial es la contraria: imagnese que es un nmero racional, es decir, que , donde p y q son nmeros enteros, y que q es distinto de 0. Sin prdida de generalidad se puede suponer que p y q son positivos (si los dos fueran negativos bastara multiplicarlos por -1), y que son primos

Reductio ad absurdum entre s, es decir no comparten factor comn alguno. En caso contrario bastara dividirlos entre su mximo comn divisor. Elevando al cuadrado:

Multiplicando por

se tiene:

La expresin

es un nmero par, as que

tambin lo es. Eso implica que , donde

sea par. De no serlo,

no sera

par, y no se podra cumplir la igualdad. Sea Simplificando se tiene:

es un nmero entero. As, la expresin queda:

Por el mismo razonamiento previo, Como y eligieron los nmeros y

es un nmero par, as es que

tambin es par, y y

as mismo es par. se hizo sin prdida de era racional es falsa. " implica una propiedad

son pares, tienen al menos un factor comn:

. Esto entra en contradiccin con la manera como se

para que carecieran de este factor. Como esta eleccin de

generalidad y el razonamiento posterior es correcto, implica que la premisa inicial de que Luego es irracional. Q.E.D. Para obtener una prueba vlida debe demostrarse que, dada una proposicin , "no

falsa en el sistema matemtico utilizado. El peligro es la falacia lgica de la argumentacin 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 clsico de esta falacia es la falsa demostracin de un quinto postulado de Euclides a partir de los anteriores. Debido a que cuando se establecieron esas pruebas no exista otra Geometra que la euclidiana, parecan correctas. Tras la aparicin de otras geometras dio al traste el sistema. Para una explicacin ms profunda de esos malentendidos vase Mathematical Thought: from Ancient to Modern Times, de Morris Kline. Aunque en demostraciones matemticas se utiliza con gran libertad, no todas las escuelas de pensamiento matemtico aceptan la reduccin al absurdo como universalmente vlida. En escuelas como la del intuicionismo, la ley de exclusin de intermedios no se acepta como vlida. Desde este punto de vista hay una diferencia muy significativa entre demostrar que mediante un ejemplo real de un algo que existe sera absurdo demostrar su no existencia. En Lgica simblica la reduccin al absurdo se expresa as: Si

entonces

En esta representacin, P es la proposicin por demostrar, y S es una serie de proposiciones previas tomadas como ciertas. Por ejemplo los axiomas de la teora en la que se ha trabajado o los teoremas anteriores ya demostrados. Considrese la negacin de P en conjunto con S. Si esto lleva a una contradiccin F se puede concluir que S conduce necesariamente a P. En palabras de G. H. Hardy: "La Reduccin al absurdo, que Euclides tanto amaba, es una de las mejores armas de la Matemtica. Es mucho mejor gambito que cualquiera de los del ajedrez: un jugador de ajedrez puede ofrecer el sacrificio de un pen u otra pieza, pero un matemtico ofrece la partida."

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Reductio ad absurdum Fuente: http://es.wikipedia.org/w/index.php?oldid=64566578 Contribuyentes: Adad-1990, AeroPsico, Becquer 1980, Camiloalcubo2, DJ Nietzsche, Dagudoj, Dianai, Durero, Emijrp, Fadesga, Fernando de Miguel, Francisco Valdez Mendoza, Hprmedina, Ingenioso Hidalgo, Jasev, Jkbw, Joniale, Jtico, Latiniensis, Lenincomp, Lucien leGrey, M.heda, Matdrodes, Maturanna49, Mur alvaro, Porta-on, Pownerus, Qwertyytrewqqwerty, Ralphloren171, Rastrojo, Roberpl, Sailorsun, Sidicodelico, Thor8, Xatufan, 46 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/