前提：┐p→┐q,p→r,┐s∨q
结论：s→r
证明：
① s
② ┐s∨q
③ q
④ ┐p→┐q
⑤ ┐┐p
⑥ p
⑦ p→r
⑧ r
(每一步理由交给你了)得证.弱弱的问一下圈1的理由是什么啊附加前提引入