It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
But now it has also helped prove a new mathematical theorem as well.
但现在这个结果同时也帮助证明了一个新的数学定理。
The mathematical method is used to prove composition theorem of acceleration of a particle when the carrier motion is rotation.
用数学方法证明牵连运动为转动时点的加速度合成定理。
应用推荐