注意：此页面搜索的是所有试题
设G、H是一阶逻辑公式,P是一个谓词,G=xP(x), H=xP(x),则一阶逻辑公式GH是( ).(本题5.0分)
A. 恒真的
B. 恒假的
C. 可满足的
D. 前束范式.
A. 恒真的
B. 恒假的
C. 可满足的
D. 前束范式.
参考答案
