The inductive method is aplied to conclude a basic form for testing propositions from type P(A,B) and P(A,B,C).

• 讨论了用数学归纳法原理对类型为P(A,B)和P(A,B,C)的命题作出证明时,应当具有的基本形式。