Filosofía en español
Tipo de demostración lógica; se distingue por el procedimiento de fundamentar la tesis. A diferencia de la demostración directa, en la indirecta la veracidad de la tesis que se ha de demostrar se funda estableciendo la falsedad de ciertas proposiciones. Éstas se hallan ligadas de tal modo a la tesis indicada que de la falsedad de las proposiciones se sigue necesariamente la veracidad de la tesis. Existen diferentes tipos de demostración indirecta. Las demostraciones indirectas disyuntivas poseen la siguiente estructura: se examina cierto número de suposiciones que agotan en conjunto todas las posibles aseveraciones en el caso dado; se aclara la falsedad de todas las suposiciones menos una, cuya veracidad queda así establecida. Constituye otro tipo de demostración indirecta la demostración apagógica.
Diccionario filosófico · 1965:112
Tipo de demostración lógica que se distingue por el modo de fundamentar la tesis. A diferencia de la demostración directa, en la demostración indirecta la autenticidad de la tesis que se demuestra es fundamentada estableciendo la falsedad de ciertos postulados. Estos últimos están vinculados con la tesis que se demuestra de manera que de la falsedad de ellos se deriva la autenticidad de la tesis.
Diccionario de filosofía · 1984:109-110