求解谓词公式E在置换s1·s2与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)。