中英▼
go top

deduction theorem

  • 演绎定理

网络释义专业释义英英释义

  [数] 演绎定理

考虑演绎定理（deduction theorem）的例子，这个定理为：

基于2318个网页-相关网页

短语

natural deduction theorem proving 自然演绎法定理证明

theorem deduction 定理推导

theorem and deduction 定理和推论

  • 演绎定理 - 引用次数：5

    参考来源 - 格值命题逻辑系统L(X)(Ⅱ)

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

Deduction theorem

  • abstract: In mathematical logic, the deduction theorem is a metatheorem of first-order logic.Kleene 1967, p.

以上来源于: WordNet

 柯林斯英汉双解大词典 

deduction theorem

  • 1. 

    N the property of many formal systems that the conditional derived from a valid argument by taking the conjunction of the premises as antecedent and the conclusion as consequent is true 演绎定理 [logic]

双语例句

  • The article USES the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable.

    本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序，并增加了一条简化命令，使该程序既严格又具有实际可操作性。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定