归结原理-置换

1. 定义: 置换是一个形如{t1/a1,…, tn/an}的有限集,其中每一个vi是变量,ti是不一样于ai的项（常量、变量或函数）(ai≠ti). 当i≠j时，vi≠vj.函数     无元素组成的置换称为空置换, 记为ε={};spa 2.表示：希腊字母θ，λ，σ表示     例如：θ＝{f(b)/x, a/y} 变量    规则：将x置换成f(b)，y置换成a。vi    注意：{x/x}

>>阅读原文<<