在公式：[img=259x25]18032d919c599ee.png[/img]中，自由出现的变元是
A: 第一个x
B: 第二个x
C: y
D: z
A: 第一个x
B: 第二个x
C: y
D: z
举一反三
- 在公式：[img=259x25]18032d90bad99a5.png[/img]中，自由出现的变元是 A: 第一个x B: 第二个x C: y D: z
- 公式[img=285x22]17e4372cfa73631.png[/img]中自由变元是（ ）。 A: y,t B: y,z C: z,t D: x,z
- 公式[img=285x22]17e0a877eeccd2d.png[/img]中自由变元是（ ）。 A: y,t B: y,z C: z,t D: x,z
- 在谓词公式(x)(P(x,y)→Q(x,z))∨(x)R(x,z)中y是自由变元
- 对于谓词公式[img=243x25]1803b57b01f649c.png[/img] A: 上述公式中的所有 y 是自由变元 B: P(x, y)中的 x 是约束变元 C: C.R(x, y)中的 x 是约束变元 D: Q(x, y)中的 x 是约束变元