La regla de Reducción al Absurdo es la regla básica que permite introducir la negación.

El esquema de esta regla de inferencia sería el siguiente:

A
.
.
.
B ¬B
¬A

El anterior esquema viene a decir que si en una línea de una derivación introducimos un
supuesto, A, del que derivamos una contradicción B ¬B en otra línea, entonces
podemos negar el enunciado supuesto: A. Por lo tanto, la regla de la Reducción al
Absurdo se basa en suponer lo contrario de lo que se quiere demostrar para pasar a
negar dicho supuesto en caso de deducir una contradicción a partir de él.

Abreviaremos la regla de Reducción al Absurdo con las iniciales Abs.

Veamos cómo funciona esta regla con un ejemplo.

Prueba el siguiente argumento (el Modus Tollens, recuerda):

1
p q
.
2
¬q ¬p
.
Vemos que hay que conseguir el enunciado ¬p que es la 1
p q
negación del antecedente de la implicación de la línea 1. .
Pues bien, comenzaremos abriendo un supuesto: p, que 2
¬q ¬p
es lo contrario de lo que pretendemos demostrar; si a .
partir de este supuesto conseguimos deducir una 3
p
contradicción r ¬r, entonces cancelaremos el supuesto y .
escribiremos ¬p:
1
p q
.
2
¬q ¬p
A continuación vemos que podemos aplicar el Modus .
Ponens a las líneas 1 y 3 para conseguir q: 3
p
.
4
q MP 1,3
.
Ahora ya está claro que aplicando el Producto a las 1
p q
líneas 2 y 3 conseguirmos deducir la contradicción q .
¬q, con lo que ya podemos cancelar el supuesto abierto 2
¬q ¬p
en la línea 3: .
3
p
.
4
q MP 1,3
.
 5
q ¬q Prod 4,2
.
1
p q
.
2
¬q ¬p
.
Y aplicando el Teorema de Deducción al supuesto 3
p
abierto en la línea 3 y cancelado en la línea 5 estamos .
autorizados para escribir p r, que es la conclusión que 4
q MP 1,3
pretendíamos. .
5
q ¬q Prod 4,2
.
6
¬p Abs 3-5
.