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

发布网友发布时间：2024-05-28 12:33

共1个回答

热心网友时间：2024-06-03 03:31

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

声明：本网页内容为用户发布，旨在传播知识，不代表本网认同其观点，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。E-MAIL:11247931@qq.com

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