自然推理系统
- 网络Natural Deduction System; natural inference system
自然推理系统自然推理系统
Natural Deduction System
·逻辑演算的发展：甘岑(G. Gentzen)的自然推理系统(Natural Deduction System)，逻辑演算的元理论：公理的独立性、一致性 …
natural inference system
... ) natural deduction 自然推理 ) natural inference system 自然推理系统 ) calculus of nature inference 自然推理演算 ...