设G、H是一阶逻辑公式,P是一个谓词,G=xP(x), H=xP(x),则一阶逻辑公式GH是( ).(本题5.0分)
A. 恒真的
B. 恒假的
C. 可满足的
D. 前束范式.
出自:平顶山学院-计算机科学与技术-离散数学