看不懂一道离散数学题,请高手指教
问题描述：
看不懂一道离散数学题,请高手指教
前提：(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)
第三步为什么是这样呀？
答
3列分别是编号、公式、依据
P是“前提”的意思
T（n）代表编号为n的那行
E代表该行的证明要用到恒等关系公式
I代表该行的证明要用到蕴含关系公式
T(5)(6)I 表示编号为(7)的公式由编号为(5)和(6)的公式用蕴含关系的公式得到的
同理,T(7)E表示编号为(8)的公式由编号为(7)的公式用恒等关系的公式得到的
说的比较啰嗦,不知道说清楚了没有