题目内容
（请给出正确答案）
[判断题]
谓词公式中，量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域（）
如搜索结果不匹配，请 联系老师 获取答案
A.紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B.在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C.仅个体变元被量化的谓词成为一阶谓词
D.个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
更多“谓词公式中，量词之前的否定联结词，不是否定该量词，而是否定该…”相关的问题
第5题
在公式中 ∀y∃xp（x,y）），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，把每个y值映射到存在的那个x。这种函数叫做（）
A.依赖函数
B.Skolem函数
C.决定函数
D.多元函数
热门考试
全部 >
