Definition 5 数学归纳方法 有限数学归纳法:对于m≤n≤n1的P(m) 有限数学归纳法的后推公式表示: P(n1)∧vn(m0+1≤n≤nk∧P(m)→P(n-1)→ yn(n≤n≤nk→P(n) 1、归纳基础:P(nk) 2、归纳步骤:Vm(n0+1≤n≤nk∧P(n)→P(n-1) 2/24/202111:37PM Deren Chen Zhejiang univ数学归纳方法 2/24/2021 11:37 PM Deren Chen, Zhejiang Univ. 10 有限数学归纳法：对于n0  n  nk 的 P(n) 有限数学归纳法的后推公式表示： [P(nk ) ∧ n(n0 +1  n  nk ∧ P(n)) → P(n-1))] →  n (n0  n  nk → P(n)) 1、归纳基础：P(nk ) 2、归纳步骤： n(n0 +1  n  nk ∧ P(n)) → P(n-1)) Definition 5