General deduction and strong completeness of the formal deductive system l? Are further studied.
进一步讨论了形式系统L ？中的一般演绎推理及强完备性问题。
Deduction, the process of reasoning in which a conclusion follows necessarily from the stated premises; inference by reasoning from the general to the specific.
由所述前提必然得出另一结论的推理过程；由一般到特殊的推理。
The article USES the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable.
本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序，并增加了一条简化命令，使该程序既严格又具有实际可操作性。
Based on strict deduction and demonstration, the steam water distribution general matrix equation of thermal dynamic system for the coal fired power unit is given for the first time.
通过严密的推导论证，首次给出了火电机组热力系统汽水分布的通用矩阵方程。
The model of general principles results from the conceptual jurisprudence that exerts conceptual abstract and logical deduction to the extreme.
总则模式则是概念法学将概念抽象和逻辑演绎发挥到极致的产物。
Third, analytic prediction which is presented with general conditions of chaos exists by logical deduction of mathematics.
三是解析预测，通过数学的逻辑推演，给出系统混沌存在的一般条件。
Third, analytic prediction which is presented with general conditions of chaos exists by logical deduction of mathematics.
三是解析预测，通过数学的逻辑推演，给出系统混沌存在的一般条件。
应用推荐