计算题

在域Z_s，中解方程和方程组：。

给定公式，在解释I2中，个体域D={a1，a2，...an}，n≥2，A在I2下的真值还一定是1吗？为什么？

问答题

给定公式，在解释I₂中，个体域D={a₁，a₂，...a_n}，n≥2，A在I₂下的真值还一定是1吗？为什么？

在域Zs，中解方程和方程组：3x=2。

问答题在域Z_s，中解方程和方程组：3x=2。

给定公式，在解释I1中，个体域D={a}，证明公式A在I1下的真值为1。

问答题

给定公式，在解释I₁中，个体域D={a}，证明公式A在I₁下的真值为1。