设G、H是一阶逻辑公式，P是一个谓词，G=xP（x），H=xP（x），则一阶逻辑公式GH是（）。

设G、H是一阶逻辑公式，P是一个谓词，G=xP（x），H=xP（x），则一阶逻辑公式GH是（）。
A.恒真的
B.恒假的
C.可满足的
D.前束范式。
正确答案：C