formal deduction

基本解釋

• 形式推導(dǎo)

英漢例句

雙語例句

• Because mathematics is the paradigm of deduction, of formal rationality;
  因?yàn)閿?shù)學(xué)是演繹的、形式理性的范式；
• General deduction and strong completeness of the formal deductive system L? are further studied.
  進(jìn)一步討論了形式系統(tǒng)L? 中的一般演繹推理及強(qiáng)完備性問題。
• Abstr: The thinking mode of syllogism requires the trial to be based on the deduction of formal logic, which can ensure the legal effects.
  文章摘要： 三段論思維要求審判建立在形式邏輯推演的基礎(chǔ)上，是法律效果實(shí)現(xiàn)的有力保障。

• formal deduction更多例句

詞組短語

短語

• formal chemical structure deduction 形式推導(dǎo)
• fuzzy formal deduction 模糊形式推理

• formal deduction更多詞組

專業(yè)釋義

數(shù)學(xué)

• 形式推導(dǎo)

計(jì)算機(jī)科學(xué)技術(shù)

• 形式推導(dǎo)