natural deduction system

网络释义

1.	自然演绎系统现代数理逻辑的推理系统大致上可分为「自然演绎系统」 (Natural Deduction System)和「公理系统」(Axiom System)两种，本 … chowkafat.net
2.	自然推理系统 ·逻辑演算的发展：甘岑(G. Gentzen)的自然推理系统(Natural Deduction System)，逻辑演算的元理论：公理的独立性、一致性 … wenku.baidu.com
3.	自然演译系统 4 命题逻辑的自然演译系统(natural deduction system) 第二部述词逻辑的形式化 5 述词逻辑的语法 6 述词逻辑中的解释与模型 … www.ntust.cc