问答题
简答题
设公理集：
P，
（P∧Q）→R，
（S∨T）→Q，
T
用归结原理求证：R
【参考答案】
证明：子句集：
（1）P
（2）～P∨～Q∨R
（3）～S∨Q
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
