2.若谓词公式E=P(x,f(y),z),置换s1=｛f(x,y)/z,z/w｝，s2=0｛a/x,b/y,w/z｝，求E（s1·s2），E（s2·s1）

首先，我们需要理解置换的概念。置换是指将公式中的某些变量替换为其他变量或表达式的操作。在这里，s1和s2都是置换，它们分别将公式中的一些变量替换为其他变量或表达式。

现在，我们来计算E(s1·s2)。这里的“·”表示置换的复合操作，即先进行s2的置换，再进行s1的置换。根据置换的定义，我们可以将s2应用于E中的变量，得到E(s2) = P(x,f(y),a)。然后，我们再将s1应用于E(s2)中的变量，得到E(s1·s2) = P(f(x,y),f(y),a)。

接下来，我们来计算E(s2·s1)。这里的“·”表示置换的复合操作，即先进行s1的置换，再进行s2的置换。根据置换的定义，我们可以将s1应用于E中的变量，得到E(s1) = P(f(a,b),f(b),w)。然后，我们再将s2应用于E(s1)中的变量，得到E(s2·s1) = P(f(0,b),f(b),w)。

因此，E(s1·s2) = P(f(x,y),f(y),a)，E(s2·s1) = P(f(0,b),f(b),w)。