问题标题:
《离散数学》证明题:证明从前提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
查看更多
数学推荐
热门数学推荐