Una forma de prueba indirecta en lógica clásica que establece la verdad de una proposición P al asumir su negación (¬P), derivar de esa suposición una contradicción o falsedad explícita y, por tanto, inferir que ¬P es insostenible y que P debe aceptarse en el marco lógico adoptado.

Principio

Si asumir ¬P implica lógicamente una contradicción, entonces ¬P es inconsistente con las premisas de referencia y P se acepta (la lógica clásica suele apoyarse en la no-contradicción y, habitualmente, en el principio del tercero excluido para este razonamiento).

Demostración

Escenario ilustrativo — Situación: Se quiere probar que no existe el menor número racional positivo. Reconocimiento: Suponer lo contrario, que r es el menor racional positivo. Acción: Mostrar que r/2 es un racional positivo menor, lo que contradice la minimalidad. Consecuencia: La suposición es insostenible; por tanto no existe tal número (prueba indirecta clásica).

Aplicación incorrecta

Tratar como reductio un argumento que solo conduce a una consecuencia sorprendente o implausible sin constituir una contradicción formal, o interpretar una derivación de ¬¬P como prueba de P en contextos constructivistas donde ¬¬P no implica P.

Consecuencia

Permite establecer indirectamente imposibilidades o resultados de existencia y suele simplificar demostraciones al convertir una construcción directa difícil en la demostración de la inconsistencia de la hipótesis contraria.

Inversión

Debe matizarse en lógicas no clásicas: en la lógica intuicionista ¬¬P no implica en general P; en lógicas paraconsistentes una contradicción no necesariamente trivializa el sistema, por lo que una reductio puede no obligar a rechazar la suposición.

Límite

Dentro: pruebas formales en matemáticas clásicas que derivan una contradicción de la negación supuesta. Caso límite: argumentos informales que muestran alta improbabilidad pero no contradicción formal — la aplicabilidad depende del estatus de las premisas. Fuera: pruebas constructivas que ofrecen directamente un ejemplo o construcción para P.

Tensión semántica

Tensión entre estándares de prueba clásicos y constructivistas/paraconsistentes: dependencia del tercero excluido versus exigencia de construcciones explícitas o tolerancia de contradicciones.

Síntesis

La reductio utiliza la imposibilidad de una hipótesis para establecer su negación en marcos clásicos; su eficacia y significado dependen de los compromisos lógicos asumidos por quien razona.