题目内容
（请给出正确答案）
[多选题]
关于谓词逻辑，下列描述正确的是（）。
A.紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B.在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C.仅个体变元被量化的谓词成为一阶谓词
D.个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
如搜索结果不匹配，请 联系老师 获取答案
更多“关于谓词逻辑，下列描述正确的是（）。”相关的问题
第5题
在公式中 ∀y∃xp（x,y）），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，把每个y值映射到存在的那个x。这种函数叫做（）
A.依赖函数
B.Skolem函数
C.决定函数
D.多元函数
热门考试
全部 >
相关试卷
全部 >
2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案十2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案模拟卷九2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案八2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案七2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案六2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案五2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案四2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案三2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案二2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案一
