Está en la página 1de 10

Estrategias utilizadas para hacer

demostraciones en la Deducción
Natural de Gentzen

RANCES ORLANDO SANCHEZ FLORES


ROBERTO MUNGUIA SILVA
¿Qué es la Deducción Natural?

La deducción natural permite demostrar la veracidad de un razonamiento.

Debido a la dificultad de la aplicación de los sistemas axiomáticos, en 1934, Gentzen


presentó un sistema sin axiomas basado solo en reglas de inferencia. Dichas reglas de
inferencia son:

Reglas básicas de la implicación:


Reglas básicas de la conjunción: Reglas básicas de la disyunción:

Reglas básicas de la negación:


Estrategia general

 1. Ver qué es lo que queremos demostrar , esto es, la conclusión a obtener.


 2. Si la conclusión contiene conectivas lógicas trácese desde la conclusión el proceso a
seguir para introducirlas conectivas lógicas en orden jerárquico.
 3. Si del paso anterior se sigue la necesidad de abrir supuestos auxiliares, hacerlo de
manera jerárquica , a no ser que alguna de las formulas a obtener en el trazado
planteado desde la conclusión pueda obtenerse directamente a partir de renglones
previos por aplicación de reglas de transformación.
 4. Obtener la conclusión mediante la aplicación de reglas de transformación a partir de
los renglones de los que ya se dispones premisas y supuestos auxiliares (si lo hubiere).
 Téngase en cuenta que cada vez que se haya abierto un supuesto auxiliar, se debe
saber desde ese mismo momento con que formula queremos cancelarlo, que regla
básica queremos aplicar al abrir ese supuesto y, por tanto, que formula debe resultar de
la aplicación de esa regla.
 5. Además la formula con la que vamos a cancelar el supuesto auxiliar debe
considerarse una subconclusión a alcanzar a partir del supuesto auxiliar en cuestión y de
los renglones previos que no formen parte de supuesto cancelados.
Estrategia para demostrar una conjunción

 Para demostrar una conjunción, tratamos primero de llegar a cada una de las
dos sub-fórmulas que la componen, para a continuación aplicar la regla de
introducción de la conjunción sobre ellas.
 Ejemplo: { p → (q ∧ r), q → s, p } ⊢ q ∧ s
1. p → (q ∧ r) ......... Premisa
2. q → s ............... Premisa
3. p ................... Premisa
4. q ∧ r ............... Eliminación implicación 1,3
5. q ................... Eliminación conjunción 4
6. s ................... Eliminación implicación 2,5
7. q ∧ s ............... Introducción implicación 5,6
Estrategia para demostrar una implicación

 Para demostrar una implicación, comenzamos por introducir como supuesto la fórmula
condición de la implicación y tratamos de llegar a la fórmula consecuencia para a
continuación aplicar la regla de introducción de la implicación.
 Ejemplo: { p → (¬q ∧ r), s } ⊢ p → (¬q ∧ s)
1. p → (¬q ∧ r) .......... Premisa
2. s ..................... Premisa
3. p .................. Supuesto
4. ¬q ∧ r ............. Eliminación implicación 1,3
5. ¬q ................. Eliminación conjunción 4
6. ¬q ∧ s ............. Introducción conjunción 2,5
7. p → (¬q ∧ s) .......... Introducción implicación 3-6
Estrategia para demostrar una negación

 Para demostrar una fórmula negada (¬A), debemos llegar a una implicación que tenga
como condición a esa fórmula sin negar (A) y como consecuencia una conjunción de
una fórmula cualquiera (B) y su negación (¬B). Es decir, debemos conseguir la
implicación: A → (B ∧ ¬B).
 A su vez, para conseguir esta implicación debemos aplicar la estrategia que conduce a
obtener una implicación: debemos introducir la fórmula A como supuesto y llegar a la
fórmula B ∧ ¬B.
Ejemplo: { p → q, (r ∨ p) → ¬q } ⊢ ¬p

 1. p → q .................. Premisa
 2. (r ∨ p) → ¬q ........... Premisa
 3. p ................... Supuesto
 4. q ................... Eliminación implicación 1,3
 5. r ∨ p ............... Introducción disyunción 3
 6. ¬q .................. Eliminación implicación 2,5
 7. q ∧ ¬q .............. Introducción conjunción 4,6
 8. p → (q ∧ ¬q) ........... Introducción implicación 3-7
 9. ¬p ..................... Introducción negación 8
Bibliografía

 Jose L. Falguera López, Concepción Martínez Vidal. (1999). Lógica Clásica de primer
orden: Estrategias de Deducción, Formalización y Evaluación Semántica. Madrid:
EDITORIAL TR
 Aula de Filosofía [Publicación en un blog]. (s.f.). Recuperado 14 junio, 2019, de
https://sites.google.com/site/auladefilosofia123/l%C3%B3gica/argumentos-
proposicionales?authuser=0OTTA.