deduction theorem

基本解釋

• [數(shù)學(xué)]演繹定理

英漢例句

雙語例句

• Firstly, I will introduce in detail the deduction of Separation Theorem.
  首先重點介紹了分離定理的推導(dǎo)。
• This paper analyzes minimum remainer vector of incompatible linear equations fixed property and gets theorem one and deduction.
  對不相容線性方程組最小剩余向量不變的性質(zhì)進行分析，得出了定理和推論。
• 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.
  通過對兩個求導(dǎo)例題的分析，歸納出求函數(shù)在某些特殊點導(dǎo)數(shù)的新的解法定理及推論，并舉例說明它們的應(yīng)用，最后對此求導(dǎo)方法進行總結(jié)。

• deduction theorem更多例句

詞組短語

短語

• natural deduction theorem proving 自然演繹法定理證明
• deduction theorem detail 演繹定理
• theorem deduction 定理推導(dǎo)
• theorem and deduction 定理和推論

• deduction theorem更多詞組

英英字典

柯林斯英英字典

• 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

• deduction theorem劍橋字典
• deduction theorem柯林斯字典

專業(yè)釋義

數(shù)學(xué)

• 演繹定理