El método de la deducción natural

La deducción natural como un método sintáctico y no algorítmico

El método del deducción natural fue propuesto en 1934 por el investigador Gerhard gentzen.
Desde entonces se conocen diversas variantes de él que algunos textos de lógica presentan
como reglas para construir derivaciones, deducciones o pruebas formales. Pertenece al grupo
de los métodos sintácticos y dentro de estos a los no algorítmicos. Es sintáctico porque
procede solo por trasformaciones de las formulas aplicándolas a las premisas una serie de
reglas o leyes lógicas previamente adoptadas. Es no algorítmico porque el número de pasos no
puede prescribirse previamente en su totalidad. Su eficiencia va de acuerdo a la capacidad
natural o adquirida del que lo aplica.

Procedimiento:

De acuerdo al método de la deducción natural, para evaluar una inferencia es decir para
mostrar que la conclusión de una inferencia se sigue lógicamente de las premisas, es preciso
indicar las reglas de inferencias validas elementales que conducen de las premisas a la
conclusión.

Dada inferencia cualquiera, el proceso derivativo consta de los siguientes pasos.

PASO 1. Se asigna a Ada proposición atómica su correspondiente variable

Paso 2. Se simboliza las premisas y la conclusión disponiendo aquellas e forma vertical y

escribiendo la conclusión a continuación de la premisa en el mismo renglón. Entre la última
premisa y la conclusión se escribe una barra separadora¨/¨ seguida del símbolo.*. Que se lee
luego o por lo tanto.

Paso 3. Se procede a ejecutar las derivaciones tomando como punto de partida cualquiera de
las premisas siempre que sea factible e indicando ala derecha en forma abreviad que premisas
y mediante qué ley o regla se ha obtenido la nueva expresión