在谓词公式中，一个变元只能是自由变元或约束变元中的一种。

谓词公式中，变元y既是自由变元，又是约束变元。

谓词公式中变元x是().

A.自由变元

B.约束变元

C.既不是自由变元也不是约束安元

D.既是自由变元也是约束变元

谓词公式中变元x是(  )．

  A．自由变元  B．约束变元

  C．既不是自由变元也不是约束变元  D．既是自由变元也是约束变元

谓词公式中的x

A、只是约束变元

B、只是自由变元

C、既非约束变元也非自由变元

D、既是约束变元也是自由变元

【单选题】8、谓词公式中的x是（ ）。

A、自由变元

B、约束变元

C、既是自由变元又是约束变元

D、既不是自由变元又不是约束变元

谓词公式中的x

A、只是约束变元

B、只是自由变元

C、既非约束变元也非自由变元

D、既是约束变元也是自由变元

对下列谓词公式分别指出哪些是约束变元?哪些是自由变元?并指出各量词的辖域。 (1)( ?x)(P(x，y)∨(?y)(Q(x，y)∧R(x，y))) (2)( ?z)( ?y)(P(z，y)∨Q(z，x))∨R(u，v)

此题为判断题(对，错)。

此题为判断题(对，错)。

利用谓词的约束变元的换名规则和自由变元的代入规则，可将公式改写成______．

  A．(x)(P(y)→Q(x，y))∧R(z，s)  B．(z)(P(z)→Q(z，s))∧R(x，s)

  C．(x)(P(s)→Q(x，s))∧R(x，s)  D．(z)(P(s)→Q(z，s))∧R(z，s)