中英互译
natural deduction
美 /ˈnætʃrəl dɪˈdʌkʃn/
基本释义
- 自然演绎：一种逻辑推理方法，通过一系列基本规则和公理来推导出结论。
双语例句
- This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.给出了相干命题逻辑自然推理系统NR的自动证明算法。
- Through description of fuzzy set and fuzzy deduction, some words and phrases from natural language can be transfered into mathematical models acceptable to the computer to realize computer control.自然语言中某些单词、词组等通过模糊集合的描述和模糊推理转换成计算机可以接受的数学模型，就可以实现计算机控制。
网络短语
- Natural Deduction system自然推理系统；自然演绎系统
- natural deduction theorem proving自然演绎法定理证明
- natural deduction t自然演绎型
- calculus of natural deduction自然推理演算
- labeled natural deduction system标号自然演绎系统
英英释义
- In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning. This contrasts with the axiomatic systems which instead use axioms as much as possible to express the logical laws of deductive reasoning.