看不懂一道離散數(shù)學題,請高手指教
前提：(P∨Q)∧(P→R)∧(Q→S)
結論：S∨R
證明：（1）P∨QP
(2)╕P→Q T(1)E
(3)Q→S P
(4)╕P→S T(2)(3)I
(5)╕S→P T(4)E
(6)P→R P
(7)╕S→R T(5)(6)I
(8)S∨R T(7)E
T(5)(6)I和T(7)E是什么意思?
哪位高手能夠幫我解釋一下這道題嗎?十分感謝!
注：╕符號是“非”的意思,鍵盤打不出來,替代一下,見諒.
可以詳細地和我說說什么是蘊含關系公式嗎？
解這類題目有什么技巧沒有？我一下子想不出這九屈十八彎的做法
麻煩請你再解釋一下，十分感謝！
比如 (1) w→(╕(r∧s)→╕q)P
(2) w p
(3) ╕(r∧s)→╕q T.I(1)(2)
第三步為什么是這樣呀？