首页 › 答案 › 题库 › 博览群书

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

设G、H是一阶逻辑公式,P是一个谓词,,,则一阶逻辑公式是()
恒真的
恒假的
可满足的
前束范式
正确答案:可满足的