设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


Tag:公式 谓词 逻辑 时间:2024-03-16 09:45:53