Prueba con deducción natural

Algoritmo de cálculo de deducción natural que consiste en una lista finita de fórmulas donde las primeras son las premisas y la última, la conclusión, las fórmulas intermedias forman la cadena de razonamiento que llevan de las premisas a la conclusión por aplicación de las reglas de deducción natural.