【natural_deduction】什么意思_英语natural_deduction的翻译_音标_读音_用法_例句_在线翻译

natural deduction
美 [ˈnætʃrəl dɪˈdʌkʃn]

自然演绎

（四）真值表(truth table) （五）间接真值表(indirect truth table) （六）自然演绎(natural deduction) （七）真值树法(truth tree method) 一、张三和李四到法庭为三名嫌犯P、Q、R作证。

基于2524个网页-相关网页

短语

Natural Deduction system [计] 自然推理系统 ; [计] 自然演绎系统

更多收起网络短语

数学 | 计算机科学技术

·2,447,543篇论文数据，部分数据来源于NoteExpress

abstract: 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.

以上来源于: WordNet

1.
N a system of formal logic that has no axioms but permits the assumption of premises of an argument. Such a system uses sequents to record which assumptions are operative at any stage 自然演绎 → compare axiomatic

This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.

给出了相干命题逻辑自然推理系统NR的自动证明算法。

youdao

更多双语例句

But they've done little to curb the natural growth of the nearly 180 federal tax expenditures already on the books, including such biggies as the deduction for home mortgage interest and the tax exclusion for employer-provided health care benefits.

FORBES: Magazine Article

应用推荐

$firstVoiceSent

- 来自原声例句