离散数学命题逻辑推理题

离散数学命题逻辑推理题
条件:非p→非q,p→r,非s∨q 结论:s→r
其他人气:649 ℃时间:2019-12-13 08:14:20
优质解答
前提:┐p→┐q,p→r,┐s∨q
结论:s→r
证明:
① s
② ┐s∨q
③ q
④ ┐p→┐q
⑤ ┐┐p
⑥ p
⑦ p→r
⑧ r
(每一步理由交给你了)得证.弱弱的问一下圈1的理由是什么啊附加前提引入
我来回答
类似推荐
请使用1024x768 IE6.0或更高版本浏览器浏览本站点,以保证最佳阅读效果。本页提供作业小助手,一起搜作业以及作业好帮手最新版!
版权所有 CopyRight © 2012-2024 作业小助手 All Rights Reserved. 手机版