deduction theorem
英[dɪˈdʌkʃən ˈθi:ərəm]美[dɪˈdʌkʃən ˈθiərəm]
In mathematical logic, the deduction theorem is a metatheorem of first-order logic.Kleene 1967, p.
deduction theorem中文，deduction theorem的意思，deduction theorem翻译及用法
2025-09-06 22:39 浏览次数 5
deduction theorem 片语
片语
deduction theorem detail演绎定理
theorem and deduction定理和推论
natural deduction theorem proving自然演绎法定理证明
theorem deduction定理推导
deduction theorem 例句
英汉例句
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.
本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序，并增加了一条简化命令，使该程序既严格又具有实际可操作性。
相关热词
- deduction method中文，deduction method的意思，deduction method翻译及用法
- deduction from salary中文，deduction from salary的意思，deduction from salary翻译及用法
- deduction中文，deduction的意思，deduction翻译及用法
- deductible franchise中文，deductible franchise的意思，deductible franchise翻译及用法
- deductible中文，deductible的意思，deductible翻译及用法
- deductibility中文，deductibility的意思，deductibility翻译及用法
- deduct from中文，deduct from的意思，deduct from翻译及用法
- Deduct Expenses中文，Deduct Expenses的意思，Deduct Expenses翻译及用法
- deduct中文，deduct的意思，deduct翻译及用法
- deducible中文，deducible的意思，deducible翻译及用法
- deductive中文，deductive的意思，deductive翻译及用法
- deductive approach中文，deductive approach的意思，deductive approach翻译及用法
- deductive conclusion中文，deductive conclusion的意思，deductive conclusion翻译及用法
- deductive inference中文，deductive inference的意思，deductive inference翻译及用法
- deductive logic中文，deductive logic的意思，deductive logic翻译及用法
- deductively中文，deductively的意思，deductively翻译及用法
- deductive method中文，deductive method的意思，deductive method翻译及用法
- Deductive Object-oriented Database中文，Deductive Object-oriented Database的意思，Deductive Object-oriented Database翻译及用法
- deductive reasoning中文，deductive reasoning的意思，deductive reasoning翻译及用法
- deductive simulation中文，deductive simulation的意思，deductive simulation翻译及用法
- 上一篇： deduction method
- 下一篇： deductive