百度试题 结果1 题目设已知的公式集为{P, (P∧Q)→R, (S∨T)→Q, T},求证结论R(画出归结演绎树)。相关知识点: 试题来源: 解析 证明:否定结论R为~R,将~R加入公式集,并化为子句集: S={P,﹁P∨﹁Q∨R, ﹁S∨Q, ﹁T∨Q, T, ﹁R}反馈 收藏