对于谓词公式[img=243x25]1803b57b01f649c.png[/img]
A: 上述公式中的所有 y 是自由变元
B: P(x, y)中的 x 是约束变元
C: C.R(x, y)中的 x 是约束变元
D: Q(x, y)中的 x 是约束变元
A: 上述公式中的所有 y 是自由变元
B: P(x, y)中的 x 是约束变元
C: C.R(x, y)中的 x 是约束变元
D: Q(x, y)中的 x 是约束变元
举一反三
- 对于谓词公式[img=243x25]17e0c0ba262b03f.png[/img] ，以下说法错误的是（ ）。 A: 上述公式中的所有 y 是自由变元 B: P(x, y) 中的 x 是约束变元 C: R(x, y) 中的 x 是约束变元 D: Q(x, y) 中的 x 是约束变元
- 谓词公式(x)F(x,y)→(y)G(x,y)中变元x是() A: 自由变元 B: 约束变元 C: 既是自由变元又是约束变元 D: 既不是自由变元又不是约束变元
- 谓词公式(x)( F(x) ® G(x)) ®y（G(y) ®∀xF(x)）中变元x是 A: 自由变元 B: 既是自由变元又是约束变元 C: 既不是自由变元也不是约束变元 D: 约束变元
- 谓词命题公式("x)(P(x)→Q(x)∨R(x，y))中的约束变元为 ．
- 在谓词公式(x)(P(x,y)→Q(x,z))∨(x)R(x,z)中y是自由变元