自然演绎系统

自然演绎系统（system of natural inference），哲学-哲学-逻辑学-逻辑，没有公理，只有若干推理规则的演绎系统。其中的每条推理规则均表示从若干前提出发可以得出什么结论，或者表示从若干推理过程出发可以得出一个什么样的新的推理过程。较之公理化演绎系统，自然推演系统可以更加直观地反映推演的自然进程。由于自然演绎系统在推演的过程中可以根据需要随时引入假设再消去假设，其推演比之公理系统的证明更加简便易行。第一个自然演绎系统是由德国数学家、逻辑学家G.根岑于1934年完成的。