下载APP
【单选题】
谓词公式($x)F(x) Þ ($x)G(x)的前束范式是( )。
A.
( " x )( " y ) ( F ( x ) Þ G ( y ))
B.
( $ x )( " y )( F ( x ) Þ G ( y ))
C.
( " x )( $ y ) ( F ( x ) Þ G ( y ))
D.
( $ x )( $ y )( F ( x ) Þ G ( 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.
前束范式