[约定]
归纳证明的写法
[约定] 归纳证明的写法
写“对 结构归纳”时，意思是套用 [定理] 结构归纳原理（structural induction） ：按项的形状逐个情形讨论，每个情形里可以对 [定义] 直接子项与真子项 所列的直接子项使用 [定义] 归纳假设 中说明的假设。采用 [定理] 对推导归纳 对推导归纳时，更小对象则是规则前提对应的子推导，不是任意一个看起来有关的项。