关于谓词逻辑，下列描述正确的是（） A: 紧接于量词之后被量词作用的谓词公式称为该量词的辖域 B: 在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元 C: 仅个体变元被量化的谓词成为一阶谓词 D: 个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
关于谓词逻辑，下列描述正确的是（） A: 紧接于量词之后被量词作用的谓词公式称为该量词的辖域 B: 在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元 C: 仅个体变元被量化的谓词成为一阶谓词 D: 个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
谓词的个体可以是（ ）。 A: 谓词 B: 函数 C: 常量 D: 变元
谓词的个体可以是（ ）。 A: 谓词 B: 函数 C: 常量 D: 变元
谓词公式[img=179x21]17e0be189b094ff.png[/img]中变元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: 既不是自由变元也不是约束变元
谓词公式[img=113x21]17e44327c430b72.png[/img]中,变元x是 ( ) A: 自由变元 B: 既是自由变元也是约束变元 C: 约束变元 D: 既不是自由变元也不是约束变元
谓词公式中的x是()。 A: 自由变元 B: 约束变元 C: 既是自由变元又是约束变元 D: 既不是自由变元又不是约束变元
谓词公式中的x是()。 A: 自由变元 B: 约束变元 C: 既是自由变元又是约束变元 D: 既不是自由变元又不是约束变元
【多选题】以下那些统称为项( ) A: 个体常量 B: 变元 C: 函数 D: 谓词
【多选题】以下那些统称为项( ) A: 个体常量 B: 变元 C: 函数 D: 谓词
在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。
在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。
谓词公式(x)F(x,y)→(y)G(x,y)中变元x是() A: 自由变元 B: 约束变元 C: 既是自由变元又是约束变元 D: 既不是自由变元又不是约束变元
谓词公式(x)F(x,y)→(y)G(x,y)中变元x是() A: 自由变元 B: 约束变元 C: 既是自由变元又是约束变元 D: 既不是自由变元又不是约束变元
谓词公式(x)( F(x) ® G(x)) ®y（G(y) ®∀xF(x)）中变元x是 A: 自由变元 B: 既是自由变元又是约束变元 C: 既不是自由变元也不是约束变元 D: 约束变元
谓词公式(x)( F(x) ® G(x)) ®y（G(y) ®∀xF(x)）中变元x是 A: 自由变元 B: 既是自由变元又是约束变元 C: 既不是自由变元也不是约束变元 D: 约束变元
【多选题】谓词中的个体,可以是()。 A. 常量 B. 变元 C. 函数 D. 谓词
【多选题】谓词中的个体,可以是()。 A. 常量 B. 变元 C. 函数 D. 谓词