问答题
简答题
证明下列前提集合是非一致的。
（a）P→Q，P→R，Q→
R，P，由此证明（P→Q）∧（P→
R）∧（Q→R）∧P
M
（b）A→（B→C），D→（B∧
C），A∧D，由此证明[A→（B→C）]∧[D→（B∧
C）]∧（A∧D）
I
【参考答案】
问答题
证明下列前提集合是非一致的。
（a）P→Q，P→R，Q→R，P，由此证明（P→Q）∧（P→R）∧（Q→R）∧PM
（b）A→（B→C），D→（B∧C），A∧D，由此证明[A→（B→C）]∧[D→（B∧C）]∧（A∧D）I