公式[img=315x25]180398145055f52.png[/img]中，只是约束变元，不是自由变元的是（）
A: z
B: y
C: x
D: 不存在
A: z
B: y
C: x
D: 不存在
A
举一反三
- 公式[img=325x25]1802f91b055b47e.png[/img]中，既是自由变元，又是约束变元的是. 未知类型：{'options': ['', '', '', '不存在', 'x和y', 'x,y,z'], 'type': 102}
- 谓词公式(x)( F(x) ® G(x)) ®y（G(y) ®∀xF(x)）中变元x是 A: 自由变元 B: 既是自由变元又是约束变元 C: 既不是自由变元也不是约束变元 D: 约束变元
- 谓词公式(x)F(x,y)→(y)G(x,y)中变元x是() A: 自由变元 B: 约束变元 C: 既是自由变元又是约束变元 D: 既不是自由变元又不是约束变元
- 谓词公式 [img=308x31]17d60d9e00060b6.png[/img]中的x( ). A: 既是约束变元又是自由变元 B: 只是约束变元 C: 既非约束变元又非自由变元 D: 只是自由变元
- 谓词公式[img=213x25]180349fde8acf98.png[/img]中的x A: 只是约束变元 B: 只是自由变元 C: 既非约束变元也非自由变元 D: 既是约束变元也是自由变元
内容
- 0
对于谓词公式[img=243x25]1803b57b01f649c.png[/img] A: 上述公式中的所有 y 是自由变元 B: P(x, y)中的 x 是约束变元 C: C.R(x, y)中的 x 是约束变元 D: Q(x, y)中的 x 是约束变元
- 1
下面描述正确的是，谓词公式[img=323x25]1802fc546f62fd8.png[/img] 中 A: 任意x的辖域是[img=115x25]1802fc547806c1f.png[/img] B: 存在y的辖域是[img=141x25]1802fc548000b08.png[/img] C: 变元x和y即是约束变元又是自由变元 D: 变元z是自由变元
- 2
谓词公式[img=179x21]17e0be189b094ff.png[/img]中变元x 是( ) A: 自由变元 B: 既不是自由变元也不是约束变元 C: 约束变元 D: 既是自由变元又是约束变元
- 3
谓词公式[img=113x21]17e44327c430b72.png[/img]中,变元x是 ( ) A: 自由变元 B: 既是自由变元也是约束变元 C: 约束变元 D: 既不是自由变元也不是约束变元
- 4
对于谓词公式[img=243x25]17e0c0ba262b03f.png[/img] ，以下说法错误的是（ ）。 A: 上述公式中的所有 y 是自由变元 B: P(x, y) 中的 x 是约束变元 C: R(x, y) 中的 x 是约束变元 D: Q(x, y) 中的 x 是约束变元