常見例句雙語例句Because mathematics is the paradigm of deduction, of formal rationality;因爲(wèi)數(shù)學(xué)是縯繹的、形式理性的範(fàn)式；General deduction and strong completeness of the formal deductive system L? are further studied.進一步討論了形式系統(tǒng)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.文章摘要： 三段論思維要求讅判建立在形式邏輯推縯的基礎(chǔ)上，是法律傚果實現(xiàn)的有力保障。 返回 formal deduction