设G、H是一阶逻辑公式,P是一个谓词,,,则一阶逻辑公式是()


设G、H是一阶逻辑公式,P是一个谓词,,,则一阶逻辑公式是()

恒真的

恒假的

可满足的

前束范式

正确答案:可满足的


Tag:公式 谓词 逻辑 时间:2024-10-21 15:46:14