探秘离散数学答案2023秋

模块二测试

1.谓词公式 $x(F(x)ÙG(x,y)) 不是闭式 ，因为含有自由变元。（ ）
A:错 B:对
答案:B
2.若谓词公式A在某些解释下均为真, 则称A为永真式(也叫逻辑有效式).（ ）
A:对 B:错 3.

谓词公式"x(F(x)®G(x))是可满足式。（ ）

A:对 B:错 4.

下列公式是谓词公式 xF(x)xG(x) 的前束范式的是（ ）。

A:xy(F(x) G(y)) B:xy (F(x) G(y)) C:x(F(x) G(x)) D:x(F(x) G(x)) 5.对谓词公式"x(F(x,y)®G(x,z))，以下说法正确的是（ ）。
A:第一个x为指导变元 B:y与 z 均为自由出现. C:辖域中x的出现均为约束出现 D:(F(x,y)®G(x,z))为"的辖域