logo - 刷刷题
下载APP
【判断题】

约束变元是指在辖域内与量词同名的变元

A.
正确
B.
错误
题目标签:量词约束辖域
举报
参考答案:
参考解析:
.
刷刷题刷刷变学霸
举一反三

【多选题】下面提到的约束中为理想约束的()

A.
光滑面
B.
光滑曲线
C.
刚性杆
D.
不可伸长的绳

【单选题】下面是有关主键约束的描述,正确的是()。

A.
主键约束用于唯一的确定表中的每一行数据。
B.
在一个表中,最多只能有2个主键约束。
C.
主键约束只能由一个列组成。
D.
主键约束不能由一个单列组成。

【单选题】在满足实体完整性约束的条件下(   )。

A.
一个关系中应该有一个或多个候选关键字
B.
一个关系中只能有一个候选关键字
C.
一个关系中必须有多个候选关键字
D.
一个关系中可以没有候选关键字

【单选题】设个体域A={a,b} ,公式 ∧ 在 A 上消去量词为 ( )

A.
P(a)∧P(b)∧(S(a)∨S(b))
B.
P(a)∧S(b)
C.
P(a)∧S(a)∧P(a)∨S(b)
D.
P(x)∧S(x)