在谓词逻辑中,变元可以分为____和约束变元。约束变元可以采用____规则进行变换。
A: 自由,代入
B: 自由,换名
C: 约束,代入
D: 约束,换名
A: 自由,代入
B: 自由,换名
C: 约束,代入
D: 约束,换名
B
举一反三
内容
- 0
谓词公式[img=179x21]17e0be189b094ff.png[/img]中变元x 是( ) A: 自由变元 B: 既不是自由变元也不是约束变元 C: 约束变元 D: 既是自由变元又是约束变元
- 1
谓词公式[img=113x21]17e44327c430b72.png[/img]中,变元x是 ( ) A: 自由变元 B: 既是自由变元也是约束变元 C: 约束变元 D: 既不是自由变元也不是约束变元
- 2
谓词公式 [img=308x31]17d60d9e00060b6.png[/img]中的x( ). A: 既是约束变元又是自由变元 B: 只是约束变元 C: 既非约束变元又非自由变元 D: 只是自由变元
- 3
谓词公式[img=213x25]180349fde8acf98.png[/img]中的x A: 只是约束变元 B: 只是自由变元 C: 既非约束变元也非自由变元 D: 既是约束变元也是自由变元
- 4
谓词公式(x)F(x,y)→(y)G(x,y)中变元x是() A: 自由变元 B: 约束变元 C: 既是自由变元又是约束变元 D: 既不是自由变元又不是约束变元