离散数学与证明 I · 强归纳、良序原理与递归定义

证明 P(n) 时，可以调用哪些较小命题？

当前目标 P(6)

强归纳依赖扇面 P(0), P(1), P(2), P(3), P(4), P(5) → P(6)

命题序列 P(0) 到 P(12)

动态结论

要证明 P(6)，强归纳允许同时假设 P(0) 到 P(5) 成立，因此可调用 6 个较小命题。