离散数学 个体变量指派函数 定义 ${\sigma(x)=c \dots}$ 构成个体变量指派映射 只对自由变量生效 替换 $\sigma[x \to b ]$ := 把原来的 $\sigma(x)=c$ 覆盖为 $\sigma(x)=b$