用附加前提法证明下面的推理： 说明如下:

前提：P，q∨﹁r，q→（p→s）。结论：r→s. 结论中的前提 r移过来,与前提2 推理正确。 构成公式3,从而得到 q,q与前提3 构成公式3,从而得到（p→s）, （p→s）再与前提1构成公式3, S.证毕.扣题说:推理正确.