MIT《计算机科学数学》Chaper05-Induction

一般归纳法：

     假设谓词P对于自变量n∈N，P(n)为true的条件为：

    1. P(0) 为真，并且

    2. P(n) implys P(n+1)对于任意的n均成立，则

    谓词P对于任意的m，m∈N都成立，即，

        

强归纳法：

    假设谓词P对于自变量n∈N， P(n)为true的条件为：

    1. P(0) 为真，并且

    2. 对于所有n，n∈N，P(0)，P(1),…,P(n) 共同才可以imply P(n+1)，则

    谓词P对于任意的m，m∈N都成立，即，