单词natural-deduction
n.: 自然演绎
网络: 自然演绎法；自然推理
This paper presented an automated reasoning algorithm for natural deduction system(NR)of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
natural deduction from the evidence
从证据推断出的必然结论
The logic it uses--natural deduction--is very small and very simple;
使用的那些逻辑-自然演绎-小和简单；