指出下列谓词公式中的量词及其辖域,指出各自由变元和约束变元,并回答它们是否是命题.

个公式，则称这样的公式为前束范式。应用改名规则、量词否定公式和量词辖域的扩张公式等，可把任一谓词演算公式化成前束范式。例如：

试将下列各式化成前束范式：

缩小量词的辖域，()。

在有限个体域内消去量词。

(1)个体域D={1，2，3}，公式为

(2)个体域D={a，b}，公式为

已知下列原电池:（1)写出各电池反应,并分别指出反应方程式中转移的电子数z;（2)计算各电池的标

已知下列原电池:

(1)写出各电池反应,并分别指出反应方程式中转移的电子数z;

(2)计算各电池的标准电动势E^θ_MP;

(3)计算各电池反应的.

给定下面谓词公式

上面10个公式中,为水真式的有(),为矛盾式的有().

若质点限于在平面上运动，试指出符合下列条件的各应是什么样的运动？

(A);(B);(C)

试画出下列传递函数的幅频响应曲线，并分别指出各传递函数表示哪一种（低通、高通)滤波电路。