王老师:19139051760(拨打)复制微信 题目 更新时间:2023/4/3 设G、H是一阶逻辑公式,P是一个谓词,G=xP(x), H=xP(x),则一阶逻辑公式GH是( ).A、恒真的 B、恒假的 C、可满足的 D、前束范式. 答案 登录 注册 C 出自:江开 >> 西安交通大学---离散数学 西安交通大学继续教育学院