文档分类
用附加前提法证明下面的推理: 说明如下:
前提:P,q∨﹁r,q→(p→s)。结论:r→s. 结论中的前提 r移过来,与前提2 推理正确。 构成公式3,从而得到 q,q与前提3 构成公式3,从而得到(p→s), (p→s)再与前提1构成公式3, S.证毕.扣题说:推理正确.