natural-deduction

natural-deduction什么意思,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;

  使用的那些逻辑-自然演绎-小和简单；