下载APP
【单选题】
谓词公式∀xP(x)→∀xQ(x) ∨ ∃yR( y)的前束范式为
A.
∀x∀z∃y(P(x)→Q(z) ∨ R( y))
B.
∃x∀z∃y(P(x)→Q(z) ∨ R( y))
C.
∀x∃y(P(x)→Q(x) ∨ R( y))
D.
∃x∀y(P(x)→Q(x) ∨ R( y))
举报
参考答案：
参考解析：
刷刷题刷刷变学霸
举一反三
【单选题】下列短语属于谓词性短语的是（）。
A.
打短工的、所见所闻、他的出现
B.
老王心地善良、不想去、多快好省
C.
对于老人、高速度、兔子的聪明
D.
关于收入、超大型、大规模
【单选题】按照体重、身长的推算公式，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.
前束范式