问题 更新时间2024/5/27 16:29:00 设G、H是一阶逻辑公式,P是一个谓词,G=xP(x), H=xP(x),则一阶逻辑公式GH是( ).·恒真的·恒假的·可满足的·前束范式. 答案 登录 注册 单选题·可满足的 出自:青书学堂 >> 佳木斯大学语言治疗学