在分析多个理论模型的基础上，采用贝叶斯定理证明了前提概率原则，并将此原则与人类心理过程相结合，将归纳推理分解为连续进行的三步过程。
After analyzing several theory models of inductive reasoning, we use the Bayes Theorem to prove the premise probability principle, and integrate this theory with human mental process.
本文按照这种算法总结出完成四柱汉诺塔游戏之最少步数的公式，并用数学归纳法证明了它。
According to that algorithm, this article puts forward a formula to calculate the number of movements necessary for the 4-peg Hanoi Tower problem, and proves it using mathematical induction.
应用推荐