DEDUCCIÓN NATURAL

En el artículo deducción hemos aludido al método de la llamada ‘deducción natural’ o ‘inferencia natural’ (‘cálculo secuencial’, Sequenzenkalkül) empleado en lógica y propuesto por Gerhard Gentzen en 1934 y simultáneamente (aunque independientemente) por Stanislav Jaskowski, a base de trabajos realizados hacia 1926 en el seminario de lógica de J. Łukasiewicz. El método en cuestión consiste en una serie de reglas de inferencia, llamadas ‘reglas de Gentzen’, para ejecutar inferencias tanto en la lógica sentencial como en la lógica cuantificacional.

Algunas de estas reglas son puras ‘reglas de estructura’ y consisten en instrucciones muy generales tales como «Dado un enun­ciado, E, podemos inferir de él el mismo enunciado, E.» Estas reglas son meramente implícitas.

Otras de estas reglas, que son las llamadas propiamente ‘reglas de Gentzen’, son las dos siguientes: regla de eliminación y regla de in­troducción. Hay