首页 试题详情
多选题

关于谓词逻辑,下列描述正确的是() 

A紧接于量词之后被量词作用的谓词公式称为该量词的辖域

B在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元

C仅个体变元被量化的谓词成为一阶谓词

D个体变元

正确答案:A (备注:此答案有误)

相似试题

  • 多选题

    关于谓词逻辑下列描述正确

    答案解析

  • 单选题

    下列关于 FusionSphere openStack 中逻辑网络规划描述正确:(  

    答案解析

  • 单选题

    下面关于逻辑分析仪描述正确( )。

    答案解析

  • 单选题

    关于DFDR供电逻辑下列描述错误

    答案解析

  • 多选题

    以华为 OceanStors全闪存设备为例,下列关于逻辑端口描述中,哪些正确( )

    答案解析

热门题库