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)

(dif) ←Revisión más antigua | Ver la revisión actual (dif) | Newer revision→ (dif)
Saltar a: navegación, buscar

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.