歸結原理-置換

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}

>>阅读原文<<