下载APP
xF（x）→
举一反三
【单选题】谓词逻辑公式 xP(x) y Q(y) 的前束范式是( )
A.
x y( P(x) Q(y) )
B.
xP(x) ∨ y Q(y)
C.
x y P(x) ∨ Q(y)
D.
x y( P(x) Q(y) )
【多选题】求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、（）。
A.
将母式化成合取范式
B.
消去全称量词
C.
消去合取连结词
D.
更改变量名
【单选题】设G、H是一阶逻辑公式,P是一个谓词,G= xP(x), H= xP(x),则一阶逻辑公式G H是( ). (A)恒真的 (B)恒假的 (C)可满足的 (D)前束范式.
A.
恒真的
B.
恒假的
C.
可满足的
D.
前束范式
相关题目：
【判断题】(P ∧ ¬Q)∧(P∨Q) 是合取范式
A.
正确
B.
错误
【单选题】范式方程主要说明（）
A.
理论塔板的相平衡概念
B.
组分与流动相的关系
C.
组分与固定相的关系
D.
柱效率的影响因素
E.
以上都不对
【多选题】注意研究的过滤范式的类型有
A.
双耳分听技术
B.
整体一局部范式
C.
双侧任务范式
D.
负启动范式
【单选题】谓词逻辑公式 xP(x) y Q(y) 的前束范式是( )
A.
x y( P(x) Q(y) )
B.
xP(x) ∨ y Q(y)
C.
x y P(x) ∨ Q(y)
D.
x y( P(x) Q(y) )
【多选题】求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、（）。
A.
将母式化成合取范式
B.
消去全称量词
C.
消去合取连结词
D.
更改变量名
【单选题】以下最高范式是（）
A.
BCNF
B.
2NF
C.
3NF
D.
4NF
【判断题】公式 的主合取范式不是。
A.
正确
B.
错误
【多选题】关系模式的范式主要有()。
A.
第一范式
B.
第二范式
C.
第三范式
D.
BCNF范式
【单选题】SCP范式中S是指（）。
A.
结构
B.
行为
C.
绩效
D.
激励
【单选题】设G、H是一阶逻辑公式,P是一个谓词,G= xP(x), H= xP(x),则一阶逻辑公式G H是( ). (A)恒真的 (B)恒假的 (C)可满足的 (D)前束范式.
A.
恒真的
B.
恒假的
C.
可满足的
D.
前束范式
【单选题】公式的前束范式为( )。
A.
A．
B.
C.
B．
D.
E.
C．
F.
G.
D．
H.
【判断题】p∧¬q是析取范式也是合取范式。
A.
正确
B.
错误
【多选题】C++ 11支持的编程范式包括
A.
脚本编程范式
B.
结构化编程范式
C.
函数式编程范式
D.
OO编程范式
E.
泛型编程范式
F.
解释型编程范式