置换与合一 时间:2015-08-26 08:53 来源:自动控制网 1.置换 一个表达式的置换就是在该表达式中用置换项置换变量。一般说来,置换是可结合的,但置换是不可交换的。 2.合一 寻找项对变量的置换,以使两表达式一致,叫做合一(unification)。如果一个置换s作用于表达式集{Ei}的每个元素,则用{Ei}s来表示置换例的集。称表达式集{Ei}是可合一的。