前提：r→p,¬pVq,¬sVr,结论：s→q证明：（1）s （2）¬sVr,P（3）r（4）r→p P（5）p（6）¬pVq（7）q

前提：r→p,¬pVq,¬sVr,结论：s→q证明：（1）s （2）¬sVr,P（3）r（4）r→p P（5）p（6）¬pVq（7）q
前提：r→p,¬pVq,¬sVr,结论：s→q
证明：
（1）s
（2）¬sVr,P
（3）r
（4）r→p P
（5）p
（6）¬pVq
（7）q

前提：r→p,¬pVq,¬sVr,结论：s→q证明：（1）s （2）¬sVr,P（3）r（4）r→p P（5）p（6）¬pVq（7）q
(1)s 附加前提引入
(2)¬svr 前提引入
(3)r (1)(2)析取三段论
(4)r->p 前提引入
(5)p (3)(4)析取三段论
(6)¬pVq 前提引入
(7)q (5)(6)析取三段论
(8)s->q (1)(7)合取引入