下载APP
【单选题】
设G、H是一阶逻辑公式,P是一个谓词,G= xP(x), H= xP(x),则一阶逻辑公式G H是( ). (A)恒真的 (B)恒假的 (C)可满足的 (D)前束范式.
A.
恒真的
B.
恒假的
C.
可满足的
D.
前束范式
参考答案：
参考解析：
刷刷题刷刷变学霸
举一反三
【单选题】对公式xy(P(x,y)∧Q(y,z))∧xP(x,y) 的说法正确的是（ ）
A.
x是约束出现，y是约束出现，z是自由出现
B.
x是约束出现，y既是约束出现又是自由出现，z是自由出现
C.
.x是约束出现，y既是约束出现又是自由出现，z是约束出现
D.
x是约束出现，y是约束出现，z是约束出现
【单选题】对一阶逻辑公式 x y(P(x,y) ∧ Q(y,z)) ∧ xP(x,y) 的说法正确的是 ( ) . prefix="o" ns="urn:schemas-microsoft-com:office:office" ?xml:namespace>
A.
x 是约束出现的， y 是约束出现的， z 是自由出现的；
B.
x 是约束出现的， y 既是约束出现的又是自由出现的， z 是自由出现的；
C.
x 是约束出现的， y 既是约束出现的又是自由出现的， z 是约束出现的；
D.
x 是约束出现的， y 是约束出现的， z 是约束出现的．
【单选题】按照体重、身长的推算公式，5岁小儿的体重、身长分别是（）
A.
13kg，90cm
B.
15kg，100cm
C.
18kg，110cm
D.
20kg，115cm
E.
22kg，122cm
【单选题】设G、H是一阶逻辑公式,P是一个谓词,G= xP(x), H= xP(x),则一阶逻辑公式G H是( ). (A)恒真的 (B)恒假的 (C)可满足的 (D)前束范式.
A.
恒真的
B.
恒假的
C.
可满足的
D.
前束范式