简答题

请指出下面等值演算中的两处错误：

甲使用量词辖域收缩与扩张等值式进行如下演算： 乙说甲错了。乙说得对吗？为什么？

问答题

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

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

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

问答题

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

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

问答题

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