Teorización y deducción de fórmulas

Teorema de deducción
El teorema de la deducción es un metateorema de la lógica proposicional, la lógica de primer
orden y otros sistemas lógicos, que es bastante utilizado para demostrar otros metateoremas. Se
trata de una formalización de la técnica de demostración ordinaria según la cual para demostrar
que de A se sigue B, basta con suponer A y a partir de ello llegar a la conclusión de que B.

El anterior esquema viene a decir que, si en una línea de una derivación

introducimos un supuesto, A, del que derivamos la conclusión B en otra
A línea, entonces obtenemos A B en una nueva línea.
.
Nos encontramos con que, además de las premisas de que partimos en
. los argumentos, al llevar a cabo una deducción podemos introducir
supuestos que deben ser cancelados (o cerrados). en el esquema, la
. introducción de un supuesto se representa por la línea que parte de la A,
y su cancelación se representa por la línea que acaba al lado de la B.
B

A B

Veamos cómo funciona esta regla con un ejemplo:

Prueba el siguiente argumento:

1. p q

2. q r p r

Vemos que hay que conseguir el enunciado pr que es una implicación. Pues bien, comenzaremos
abriendo un supuesto: p; si a partir de este supuesto conseguiemos deducir r, entonces
cancelaremos el supuesto y escribiremos pr:

1. p q

2. q r p r

3. p

A continuación vemos que podemos aplicar el Modus Ponens a las líneas 1 y 3 para conseguir q:

1. p q

2. q r p r

3. p

4. q MP 1,3
Ahora ya está claro que aplicando el Modus Ponens a las líneas 1 y 3 conseguirmos deducir r, con
lo que ya podemos cancelar el supuesto abierto en la línea 3:

1. p q

2. q r p r

3. p

4. q MP 1,3

5. r MP 2,4

Y aplicando el Teorema de Deducción al supuesto abierto en la línea 3 y cancelado en la línea 5

estamos autorizados para escribir pr, que es la conclusión que pretendíamos.

1. p q

2. q r p r

3. p

4. q MP 1,3

5. r MP 2,4

6. p r TD 3-5

Fíjate en esto...

En la justificación de la línea 6 hemos escrito la abreviatura del Teorema de Deducción: TD,

seguido de la expresión 3-5, y no 3,5. La diferencia es importante: al poner un guión [-]entre el 3 y
el 5 aludimos a las líneas comprendidas entre la línea 3 y la 5, es decir, la 3, la 4 y la 5. Sin
embargo, poniendo una coma [,] entre el 3 y el 5 nos referimos sólo a las líneas 3 y 5.