对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。（)

谓词公式z))逻辑等价吗？如果是请证明之,不是则举出反例.

A.常量

B.变元

C.函数

D.一元谓词

一阶IIR系统的差分方程为y(n)=ay(n-1)+x(n)，已知在无限精度情况下，这个系统是稳定的。当在有限精度情况下实现时，对相采的结果作截尾处理，因此实际的差分方程是

式中Q[]表示截尾量化后的结果。

(a)如果信号和乘法器系数都是原码表示的，试问当有限精度实现时，是否存在形式为的零输入极限环？请说明理由。

(b)上述结果对于补码截尾仍然成立吗？为什么？

A.﹁Study(zhang)∧Lucky(zhang)

B.﹁(Study(zhang)∧Lucky(zhang))

C.﹁(Study(zhang)∨Lucky(zhang))

D.﹁Study(zhang)∨Lucky(zhang)