简答题

甲使用量词辖域收缩与扩张等值式进行如下演算：

乙说甲错了。乙说得对吗？为什么？

给定解释I如下： （a）个体域D={3，4}； （b） （c） 试求公式在I下的真值。

问答题

给定解释I如下：
（a）个体域D={3，4}；
（b）
（c）
试求公式在I下的真值。

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

问答题

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

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

问答题

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