离散数学 给出下列推理过程的形式证明
1个回答
关注
![]()
展开全部
(1)前提:PvQ，P→R，Q→S结论:SvR(2)前提:P→(Q→R)，S→P，Q结论:S→R(3)前提:P→Q，“RvQ，R^mS结论:“P26(4)前提:PvQ，¬QvR，R→S结论:P→S(5)前提:A→(B→C)，C→(“DVE)，¬F→ (D^ “E)，A结论:B→F(6)前提:(P→Q)∧(R→S),(Q→W)^(S→X),¬(W^X),P→R ¬PvQ
咨询记录 · 回答于2022-12-02
离散数学 给出下列推理过程的形式证明
你好，请问题目是？
上面的
这个
(1)前提:PvQ，P→R，Q→S结论:SvR(2)前提:P→(Q→R)，S→P，Q结论:S→R(3)前提:P→Q，“RvQ，R^mS结论:“P26(4)前提:PvQ，¬QvR，R→S结论:P→S(5)前提:A→(B→C)，C→(“DVE)，¬F→ (D^ “E)，A结论:B→F(6)前提:(P→Q)∧(R→S),(Q→W)^(S→X),¬(W^X),P→R ¬PvQ
上面这三个
你好，你发的图片，我这边打不开，看不清楚呢
你能把题目复制出来吗，麻烦你了
已赞过
评论
收起
你对这个回答的评价是？
