Respuestas
Reductio ad absurdum, expresión latina que significa literalmente reducción al absurdo, es un método lógico de demostración.
Es usado 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 derivar una contradicción lógica, un absurdo; de derivarse una contradicción, se concluye que la hipótesis de partida (la negación de la original) ha de ser falsa, y la 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 como 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.
El resultado es que nos ayuda a demostrar si una afirmación es lógicamente absurda o no.