关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！ 2022-05-31 《离散数学》证明题证明P→(Q→S),┐RVP,Q┝R→S 《离散数学》证明题证明P→(Q→S),┐RVP,Q┝R→S 答案： 查看 举一反三 证明：(P→(Q→R))∧(┐S∨P)∧Q⇒S→R 证明P®(Q®S),ØR∨P,QÞR®S。 证明: (p∧q)→r，¬r∨s，¬s，p蕴含¬q 过程如下： 证明： ⑴ q P(附加前提) ⑵ ¬r∨s P ⑶ ¬s P ⑷ ¬r T⑵⑶I ⑸ (p∧q)→r P ⑹ ¬(p∧q) T⑷⑸I ⑺ ¬p∨¬q T⑹E ⑻ p P ⑼ ¬q T⑺⑻I ⑽ q∧¬q(矛盾) T⑴⑼I 以上证明方法是用归谬法，证明过程是正确的 证明（P∨Q）∧(P→R)∧(Q→S)1-S∨R 证明: (p∧q)→r，¬r∨s，¬s，p蕴含¬q 过程如下：
