同等学力申硕学科综合（计算机科学与技术）
子句 \neg P(x) \lor Q(f(x)) 与子句 P(g(a)) 归结…
第 7 题单选题模拟题较易
子句 ¬P(x)∨Q(f(x)) 与子句 P(g(a)) 归结，得到的归结式是（ ）
谓词归结推理前束范式Skolem标准形谓词推理规则
资料核对日期 2026-11-04 · 信息最近同步 2026-11-15 · 报考信息以浙江省教育考试院及各高校官方公布为准学习中心留下手机号 / 微信号，顾问回访
子句 ¬P(x)∨Q(f(x)) 与子句 P(g(a)) 归结，得到的归结式是（ ）