Scribd
Cargar
140 vistas2 páginas

Teorema de Deducción en Lógica Proposicional

El teorema de la deducción es un metateorema que formaliza la técnica de demostración de que si de un supuesto A se puede derivar una conclusión B, entonces A implica B. Permite introducir supuestos temporales que deben ser cancelados una vez derivada la conclusión, demostrando así la implicación. Se ilustra con un ejemplo que demuestra la implicación p → r abriendo el supuesto p y derivando r para luego cancelar p y aplicar el teorema de deducción.

Cargado por

emersoninacap
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
140 vistas2 páginas

Teorema de Deducción en Lógica Proposicional

El teorema de la deducción es un metateorema que formaliza la técnica de demostración de que si de un supuesto A se puede derivar una conclusión B, entonces A implica B. Permite introducir supuestos temporales que deben ser cancelados una vez derivada la conclusión, demostrando así la implicación. Se ilustra con un ejemplo que demuestra la implicación p → r abriendo el supuesto p y derivando r para luego cancelar p y aplicar el teorema de deducción.

Cargado por

emersoninacap
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

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.

También podría gustarte