离散数学与证明 I · 数学归纳法 I
把四段证明材料放到正确位置，重点检查两件事：基础步是否写清起点，假设步是否只假设 P(k) 而不是 P(k+1)。
每组选一个片段，右侧会即时显示结构诊断。
证明起点命题成立。
还没有选择归纳基础片段。
临时假设 P(k) 成立。
还没有选择归纳假设片段。
从 P(k) 推出 P(k+1)。
还没有选择归纳步骤片段。
说明归纳覆盖全部范围。
还没有选择结论片段。