离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论:r

题目

离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论:r

答案

题目错了,照这个题目证明只能得到s.
如果结论是s才可能被证明.