Filosofía en español
(o demostración del contrario). Variedad de demostración indirecta. La demostracíón apagógica presenta como estructura característica la siguiente: Sea B la tesis que se ha de demostrar; sean A1, A2, ...An los fundamentos verdaderos con que dicha tesis se demuestra. Se supone verdadera la tesis no-B, lógicamente contradictoria a la B, y se incluye en los fundamentos de la demostración. De los fundamentos así completados (A1, A2 ... An, no-B) se van sacando conclusiones hasta que se obtiene una proposición que contradiga lógicamente a uno de ellos. Siendo correcta la inferencia, tal contradicción sólo es posible si es falso alguno de los fundamentos. Ahora bien, A1, A2... An son fundamentos indudablemenle verdaderos; por consiguiente, era falsa la presunción de veracidad de no-B. Por tanto, B es verdadera.
Diccionario filosófico · 1965:112
Diccionario de filosofía · 1984