logo - 刷刷题
下载APP
【简答题】

对下列谓词公式分别指出哪些是约束变元?哪些是自由变元?并指出各量词的辖域。 (1)( ?x)(P(x，y)∨(?y)(Q(x，y)∧R(x，y))) (2)( ?z)( ?y)(P(z，y)∨Q(z，x))∨R(u，v)

题目标签：约束辖域自由变元
举报
如何制作自己的在线小题库
参考答案：
参考解析：
.
刷刷题刷刷变学霸
举一反三

【判断题】CHECK约束用于提供列的默认值。
A.
正确
B.
错误
查看完整题目与答案

【判断题】谓词公式("x)(A (x) ® B(x, y)) ÙR(x) 的自由变元为R(x)中的x和B(x, y)中的y。
A.
正确
B.
错误
查看完整题目与答案

【多选题】下面提到的约束中为理想约束的()
A.
光滑面
B.
光滑曲线
C.
刚性杆
D.
不可伸长的绳
查看完整题目与答案

【简答题】将下列各式改名,使自由变元和约束变元不用相同的符号: (1) (2)
查看完整题目与答案

【判断题】在( x)( y)P(x,y)∨Q(x,z)→( x)P(x,y)中 x的辖域为P(x,y)
A.
正确
B.
错误
查看完整题目与答案

【单选题】公式【图片】中，只是约束变元，不是自由变元的是（）
A.
z
B.
y
C.
x
D.
不存在
查看完整题目与答案

【单选题】线性规划变标准形时,约束条件 x 1 +3x 2 +2x 3 <=5,x 2 为自由变元,应变化为下列哪种形式
A.
x 1 +3x 4- 3x 5 +2x 3 =5
B.
x 1 +3x 2 +2x 3 + x 4 =5
C.
x 1 +3x 4- 3x 5 +2x 3 + x 6 =5
D.
x 1 +3x 2 +2x 3- x 4 =5
查看完整题目与答案

【判断题】在谓词公式( x)(P(x,y)→Q(x,z))∨( x)R(x,z)中y是自由变元
A.
正确
B.
错误
查看完整题目与答案

【单选题】分枝定界法最多增加与原问题决策变量个数()的约束式。
A.
少一个
B.
多一个
C.
相同
D.
以上都可能
查看完整题目与答案

【单选题】在满足实体完整性约束的条件下(　 　)。
A.
一个关系中应该有一个或多个候选关键字
B.
一个关系中只能有一个候选关键字
C.
一个关系中必须有多个候选关键字
D.
一个关系中可以没有候选关键字
查看完整题目与答案