Argumento de reducción al absurdo
De Enciclopedia Symploké, la enciclopedia libre.
Revisión a fecha de 23:42 12 feb 2011; LGH (Discusión | contribuciones)
Prueba indirecta por la cual se demuestra una tesis cuando su negación nos conduce a una contradicción lógica: si suponemos ¬A y llegamos a una contradicción (B ∧ ¬B), entonces podemos afirmar que A es necesariamente verdadera. En lógica proposicional, el argumento de la reducción al absurdo corresponde a la regla de inferencia primitiva denominada Regla de Introducción de la Negación o Regla de Reducción al Absurdo.