前提:r→p,¬pVq,¬sVr,结论:s→q证明:(1)s (2)¬sVr,P(3)r(4)r→p P(5)p(6)¬pVq(7)q
来源:学生作业帮助网 编辑:作业帮 时间:2024/06/23 08:18:32
![前提:r→p,¬pVq,¬sVr,结论:s→q证明:(1)s (2)¬sVr,P(3)r(4)r→p P(5)p(6)¬pVq(7)q](/uploads/image/z/15125967-63-7.jpg?t=%E5%89%8D%E6%8F%90%EF%BC%9Ar%E2%86%92p%2C%26%23172%3BpVq%2C%26%23172%3BsVr%2C%E7%BB%93%E8%AE%BA%EF%BC%9As%E2%86%92q%E8%AF%81%E6%98%8E%EF%BC%9A%EF%BC%881%EF%BC%89s+%EF%BC%882%EF%BC%89%26%23172%3BsVr%2CP%EF%BC%883%EF%BC%89r%EF%BC%884%EF%BC%89r%E2%86%92p+P%EF%BC%885%EF%BC%89p%EF%BC%886%EF%BC%89%26%23172%3BpVq%EF%BC%887%EF%BC%89q)
前提: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)合取引入