Through analyzing two examples of seeking derivative, new theorem and deduction for solution to some functions derivation under the special condition are concluded, and examples are shown.
通过对两个求导例题的分析，归纳出求函数在某些特殊点导数的新的解法定理及推论，并举例说明它们的应用，最后对此求导方法进行总结。
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.
本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序，并增加了一条简化命令，使该程序既严格又具有实际可操作性。
应用推荐