离散数学命题逻辑推理题条件：非p→非q,p→r,非s∨q 结论：s→r

2019-05-29

离散数学命题逻辑推理题
条件：非p→非q,p→r,非s∨q 结论：s→r

优质解答

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