对下面每个公式指出约束变元和自由变元。

指出下列公式的约束变元和自由变元，并指出约束变元受什么量词约束．

指出下列公式的约束变元和自由变元，并指出约束变元受什么量词的约束．

  (1)

  (2)

  (3)

  (4)

指出公式中量词的每次出现辖域，并指出变元的每次出现是约束出现，还是自由出现，以及公式的约束变元和自由变元．

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

公式中哪些是自由变元?哪些是约束变元?

公式

（1)(Ax)(R(x)→(Ez)F(x,z))

（2）(Ex)P(y)

（3)(Ax)R(x)∧Q(x)

中自由变元是什么?约束变元是什么?

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

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

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

指出下列公式中的指导变元，量词的辖域，各个体变项的自由出现和约束出现．

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

A.自由变元

B.约束变元

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

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

公式的自由变元是______，约束变元是______．