Logic 一阶逻辑中的不同替换？

在一阶逻辑中，代换

F{x1 / s1}{x2 / s2} ...{xn / sn}

可能不同于

F{x1 / s1, x2 / s2, ... xn / sn}

---

这些替代怎么可能不同呢？有人能给我解释一下这样的替换吗？如果

n

=2和

s1

是包含

x2

的表达式，然后，第二个替换将导致表达式包含

x2

，而第一个表达式则不包含此内容。

我投票将此问题作为离题题结束，因为该问题属于math.stackexchange.com