问答题

【参考答案】

写出谓词关系公式→用反演法写出谓词表达式→SKOLEM标准形→子句集S →对S中可归结的子句做归结→归结式仍放入S中,反......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)