deduction theorem
基本解释
- [数学]演绎定理
英汉例句
- Firstly, I will introduce in detail the deduction of Separation Theorem.
首先重点介绍了分离定理的推导。 - This paper analyzes minimum remainer vector of incompatible linear equations fixed property and gets theorem one and deduction.
对不相容线性方程组最小剩余向量不变的性质进行分析，得出了定理和推论。 - Through analyzing two examples of seeking derivative, new theorem and deduction for solution to some functions derivation under the special condition are concluded, and examples are shown.
通过对两个求导例题的分析，归纳出求函数在某些特殊点导数的新的解法定理及推论，并举例说明它们的应用，最后对此求导方法进行总结。
双语例句
词组短语
- natural deduction theorem proving 自然演绎法定理证明
- deduction theorem detail 演绎定理
- theorem deduction 定理推导
- theorem and deduction 定理和推论
短语
英英字典
- 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
柯林斯英英字典
专业释义
- 演绎定理