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