离散数学推理理论讲一下推理理论的格式吧!学的时候概念清楚了,如下的证明格式感觉完全不理解.特别是证明过程右侧部分.有一道例题：(P∨Q)/\(P->B)/\(Q->S)=>S∨R证:1)P∨Q P2)┒P->Q T(1) E3)Q->S P4)

来源：学生作业帮助网 编辑：作业帮 时间：2024/11/18 17:50:43
xSn@K!4 IzQ;Xv~@\jSZBI&& JbDsf/ةJUTJ=s9gGҲcLXpirߩqͱk^S+C-Wi v[Ȝ0#f۠*9bٽʲzÖ,ڧV[mo~Qס2kj"{LgK}i7}B/JP~ο񠜔Ih. Q6'D%,E^qxy4 AH`.b31=!>$&aDƆؔbx2(+>9w|RI[(O%;\Jˑ6Ip͝NWu:2'J Bk̚ΥF'wDc~ tQPv .ZUk=b%2cji&ԚF֓5tZ!Q#?zN᠂yvځ;ij"PM@3ppހ[ϖ/Mɍ0lP z iY[j(/d~~Ŕ