Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
(del latín reductio ad absurdum) Razonamiento que se basa en demostrar que un conjunto de afirmaciones formado por las premisas y la negación de su conclusión lleva a una contradicción (ver ejemplo). Equivale a razonar de la siguiente manera: si el hecho de suponer verdadera ¬A (no-A) nos lleva a una contradicción, entonces A es necesariamente verdadera y ¬A necesariamente falsa. Recibe también el nombre de prueba indirecta. A veces, la reducción al absurdo sólo prueba que un conjunto de premisas es inconsistente (ver ejemplo).
Históricamente, el uso de razonamientos indirectos es normal en geometría; las paradojas de Zenón han sido contempladas también como razonamientos por reducción al absurdo,