Argumento de reducción al absurdo

De Enciclopedia Symploké, la enciclopedia libre.

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.

enciclopedista

Valid XHTML 1.0 Transitional