Generaldeduction and strong completeness of the formal deductive system l? Are further studied.
进一步讨论了形式系统L ？中的一般演绎推理及强完备性问题。
2
Deduction, the process of reasoning in which a conclusion follows necessarily from the stated premises; inference by reasoning from the general to the specific.
由所述前提必然得出另一结论的推理过程；由一般到特殊的推理。
3
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.