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. |