数学家格哈德·根岑于1935年在一篇提交给哥廷根大学数学系的学位论文中独立提出的。术语自然演绎就是在那篇论文中出现的:根岑被建立数论的一致性证明的目标所推动，因而找到了他的自然演绎演算的直接使用。但他不满意自己证明的复杂性，并在1938年使用他的相继式演算给出了一个新的一致性证明。在1961年和1962年的一系列研讨会中，Dag Prawitz 给出了自然演绎演算的全面总结，并把根岑对相继式演算做的很多工作转运到了自然演绎框架中。他在1965年的专着《Natural deduction: a proof