将下列公式化成与之等值的公式，使其没有既是约束出现的，又是自由出现的个体变项．

A.

B.

C.

D.

A.

B.

C.

D.

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

A.自由变项

B.约束变项

C.既不是自由变项也不是约束变项

D.既是自由变项又是约束变项

公式中，既是自由变元，又是约束变元的是.

A、

B、

C、

D、不存在

E、x和y

F、x,y,z

公式中，既是自由变元，又是约束变元的是.

A、

B、

C、

D、不存在

E、x和y

F、x,y,z

A.自由变元

B.约束变元

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

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

A.自由变元

B.既是自由变元又是约束变元

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

D.约束变元