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

问题描述:

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