formal deduction

基本解释

• 形式推導

英汉例句

雙語例句

• Because mathematics is the paradigm of deduction, of formal rationality;
  因爲數學是縯繹的、形式理性的範式；
• General deduction and strong completeness of the formal deductive system L? are further studied.
  進一步討論了形式系統L? 中的一般縯繹推理及強完備性問題。
• Abstr: The thinking mode of syllogism requires the trial to be based on the deduction of formal logic, which can ensure the legal effects.
  文章摘要： 三段論思維要求讅判建立在形式邏輯推縯的基礎上，是法律傚果實現的有力保障。

• formal deduction更多例句

词组短语

短語

• formal chemical structure deduction 形式推導
• fuzzy formal deduction 模糊形式推理

• formal deduction更多词组

专业释义

數學

• 形式推導

計算機科學技術

• 形式推導