一阶逻辑分配

Question

我不了解这张图片中的作业：

分别：

  

α[x↦a]（x）= a
  y≠x

的α[x↦a]（y）=α（y）

有人可以帮我吗？

Answer 1

我们从α开始分配。最后几行说α[x↦a]产生一个 new 赋值。在此新分配（第一行）中，x现在为a。对于不是x（第二行）的所有其他变量，旧分配α中的变量仍然是新分配中的变量。

这两行必须一起阅读/解释。

（很抱歉，如果我的某些术语在上述内容中有误，请问我很长一段时间都没有讨论这个话题）