2018.6.63
由于
l
v
a
r
s
(
Q
)
lvars(Q)
lvars(Q)的存在,我们不能仅依据环境
σ
\sigma
σ来判断
Q
Q
Q的值
所以,令
α
\alpha
α为
l
v
a
r
s
(
Q
)
lvars(Q)
lvars(Q)的变量的一个赋值,那么
(
α
∪
σ
)
(
x
)
≡
{
α
(
x
)
i
f
x
∈
α
σ
(
x
)
i
f
x
∈
σ
(\alpha \cup\sigma)(x)\equiv \begin{cases} \alpha(x) &if~x\in\alpha\\ \sigma(x) &if~x\in\sigma\end{cases}
(α∪σ)(x)≡{α(x)σ(x)if x∈αif x∈σ