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.
通过对两个求导例题的分析，归纳出求函数在某些特殊点导数的新的解法定理及推论，并举例说明它们的应用，最后对此求导方法进行总结。

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