6.2 归纳和余归纳 4、基于互模拟证明nerge(odd(o),even(o)=o -互模拟是满足下面条件的关系R: 若(o,∈R,则head(o=hed()并且 〈tail(o,tai(》∈R 基于互模拟的余归纳证明原理是： 对互模拟关系R,若(o,)∈R,则o=T 定义关系 R={(merge(odd(o),een(o),)lo是一个无限表 -只要证明R是互模拟关系即可6.2 归纳和余归纳 4、基于互模拟证明merge(odd(), even()) =  – 互模拟是满足下面条件的关系R： 若,  R，则 head() = head() 并且 tail(), tail() R – 基于互模拟的余归纳证明原理是： 对互模拟关系R，若,  R，则 =  – 定义关系 R ={merge(odd(), even()),  |是一个无限表} – 只要证明R是互模拟关系即可