在命题逻辑中构造下面推理的证明 前提:p→s,q→r,┐r,p∨q,结论s

若p->(q->s)真,则p假;或p真,且q->s真.
(1)若p假,又知p∨非r真,则非r真,即r假.∴r->s真.
(2)若p真,且q->s真,又知q真,则s真.∴r->s真.
宗上所述:若 p->(q->s),q ,p∨非r,则r->s.

命题是能判断真假的陈述句,是一句话
命题逻辑是指这个句子里的逻辑关系,有条件关系,二值关系等等各种关系
简单说,命题是一句话,命题逻辑是逻辑关系,这是两个不同的东西

前提：┐p→┐q,p→r,┐s∨q
结论：s→r
证明：
① s
② ┐s∨q
③ q
④ ┐p→┐q
⑤ ┐┐p
⑥ p
⑦ p→r
⑧ r
(每一步理由交给你了)得证.