问答题
简答题
证明下列论证的有效性：
（a）（A→B）∧（A→C），
（B∧C），D∨A推得D
（b）P→Q，（
Q∨R）∧
R，
（
P∧S）推得
S
（c）P∧Q→R，
R∨S，
S推得
P∨
Q
（d）B∧C，（B←→C）→（H∨G）推得G∨H
（e）（P→Q）→R，R∧S，Q∧T推得R
【参考答案】
问答题
证明下列论证的有效性：
（a）（A→B）∧（A→C），（B∧C），D∨A推得D
（b）P→Q，（Q∨R）∧R，（P∧S）推得S
（c）P∧Q→R，R∨S，S推得P∨Q
（d）B∧C，（B←→C）→（H∨G）推得G∨H
（e）（P→Q）→R，R∧S，Q∧T推得R