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
柯林斯英英字典
专业释义
- 縯繹定理