在谓词逻辑中,变元可以分为____和约束变元。约束变元可以采用____规则进行变换。
举一反三
- 在谓词逻辑中,变元可以分为____和约束变元。约束变元可以采用____规则进行变换。 A: 自由，代入 B: 自由，换名 C: 约束，代入 D: 约束，换名
- 谓词逻辑中，变元可以分为（ ）和约束变元。 A: 自由变元 B: 代入元 C: 可逆元 D: 单位元
- 谓词公式中的x是()。 A: 自由变元 B: 约束变元 C: 既是自由变元又是约束变元 D: 既不是自由变元又不是约束变元
- 谓词公式[img=179x21]17e0be189b094ff.png[/img]中变元x 是( ) A: 自由变元 B: 既不是自由变元也不是约束变元 C: 约束变元 D: 既是自由变元又是约束变元
- 谓词公式[img=113x21]17e44327c430b72.png[/img]中,变元x是 ( ) A: 自由变元 B: 既是自由变元也是约束变元 C: 约束变元 D: 既不是自由变元也不是约束变元