una presentación de deducción natural de un sistema lógico descansa en reglas de inferencia más que en axiomas.
(Haack, 1978).
La deducción natural es una aproximación a la teoría de la demostración en la que se busca capturar la manera en que las personas razonan naturalmente. La deducción natural propone eliminar la lista de axiomas y ampliar la de reglas de inferencia, introduciendo dos reglas para cada constante lógica: una para introducirla y otra para eliminarla. Una demostración se construye partiendo de supuestos y aplicando las reglas para llegar a la conclusión deseada.
La deducción natural fue introducida por Gerhard Gentzen en su trabajo Investigaciones sobre la inferencia lógica, (Untersuchungen über das logische Schliessen), publicado en 1934 -1935.
(Wikipedia).