网友您好, 请在下方输入框内输入要搜索的题目:
题目内容
(请给出正确答案)
10、全称量词和存在量词仅针对谓词支配的实体,不针对谓词本身,称为:
A.一阶谓词
B.低阶谓词
C.原子公式
D.高阶谓词
参考答案和解析
一阶谓词
更多 “10、全称量词和存在量词仅针对谓词支配的实体,不针对谓词本身,称为:A.一阶谓词B.低阶谓词C.原子公式D.高阶谓词” 相关考题
考题
多选题基于规则的逆向演绎系统对事实、规则和目标的化简过程()A用Skolem函数(对偶形)消去目标公式中的全称量词,化简的公式受存在量词的约束。B用Skolem函数消去事实表达式中的存在量词,化简的公式受全称量词的约束。C对规则的处理同(*)式。D用Skolem函数消去事实表达式中的存在量词,化简的公式受全称量词的约束。(*)
考题
单选题在SQL语句中,谓词“EXISTS”的含义是()A
全程量词B
存在量词C
自然连接D
等值连接
热门标签
最新试卷