问题标题:
《离散数学》证明题:证明从前提P→Q,┐(Q∨R)可演绎出┐P.
问题描述:
《离散数学》证明题:证明从前提P→Q,┐(Q∨R)可演绎出┐P.
孙鸿宾回答:
1P→QP
2﹁Q→﹁PT1E
3﹁(Q∨R)P
4﹁Q∧﹁RT3E
5﹁QT4I
6﹁PT2,5I
查看更多
《离散数学》证明题:证明从前提P→Q,┐(Q∨R)可演绎出┐P.