«Reducción al absurdo (del latín Reductio ad absurdum) es un método de demostración (formalizado y a menudo usado por Aristóteles como un argumento lógico). [...] La demostración por reducción al absurdo es un tipo de argumento lógico muy empleado en las demostraciones matemáticas. Consiste en demostrar una proposición matemática probando que el que no lo sea conduce a una contradicción.» es.wikipedia.org/wiki/Reducción_al_absurdo
«Reducción al absurdo (del latín Reductio ad absurdum) es un método de demostración (formalizado y a menudo usado por Aristóteles como un argumento lógico). [...] La demostración por reducción al absurdo es un tipo de argumento lógico muy empleado en las demostraciones matemáticas. Consiste en demostrar una proposición matemática probando que el que no lo sea conduce a una contradicción.»
es.wikipedia.org/wiki/Reducción_al_absurdo