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.