formal deduction

基本解釋

Because mathematics is the paradigm of deduction, of formal rationality;
因為數(shù)學是演繹的、形式理性的范式；
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.
文章摘要：三段論思維要求審判建立在形式邏輯推演的基礎上，是法律效果實現(xiàn)的有力保障。