题目内容
（请给出正确答案）
[判断题]
x P（x）∧yQ（x,y）整个谓词公式中只有一个量词。x的辖域为P（x），P（x）中的x和Q（x,y） 中的y是约束变元，Q（x,y）中的x是自由变元（）
如搜索结果不匹配，请 联系老师 获取答案
更多“x P（x）∧yQ（x,y）整个谓词公式中只有一个量词。x的…”相关的问题
第2题
关于谓词逻辑，下列描述正确的是（）。
A.紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B.在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C.仅个体变元被量化的谓词成为一阶谓词
D.个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
第5题
在公式中 ∀y∃xp（x,y）），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，把每个y值映射到存在的那个x。这种函数叫做（）
A.依赖函数
B.Skolem函数
C.决定函数
D.多元函数
第6题
如果 A 是谓词公式, x 是 A 中出现的任何变元, 则: 1)（）A不是谓词公式 4) ┐ A不 是谓词公式
A.1）对、 4）对
B.2）对、3）对
C.1）对、2）对、4）对，3）错
D.1）对、2）对、3）错、4）错
第10题
在一个使用Chinese Wall模型建立访问控制的信息系统中，数据W和数据X在一个兴趣冲突域中，数据Y和数据Z在另一个信息兴趣冲突域中，那么可以确定一个新注册的用户（）
A.只有访问了W之后，才可以访问X
B.只有访问了W之后，才可以访问Y和Z中的一个
C.无论是否访问W，都只能访问Y和Z中的一个
D.无论是否访问W，都不能访问Y和Z
热门考试
全部 >
