6.2 归纳和余归纳 例 无限表上的od运算（忽略所有偶数位置的元素） head(odd(o))head(o) tail(odd(o))=odd(tail(tail(o)) -用等式演算可得 head(tailodd())=head(odd(tail(tail() =head(tail(tail(o)） -不难证明，对所有的自然数n head(tail (odd())=head(tail)()6.2 归纳和余归纳 • 例 无限表上的odd运算（忽略所有偶数位置的元素） head(odd()) = head() tail(odd()) = odd(tail(tail())) – 用等式演算可得 head(tail(odd())) = head(odd(tail(tail()))) = head(tail(tail())) – 不难证明，对所有的自然数n head(tail(n) (odd())) = head(tail(2n) ())