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.
本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序，并增加了一条简化命令，使该程序既严格又具有实际可操作性。
应用推荐