离散数学前提:(P→Q)∧(Q→S),(Q→W)∧(S→X) ,「(W∧X) 结论:「P...

发布网友发布时间：2024-10-07 23:18

共1个回答

热心网友时间：2024-10-07 23:59

证明：
（1） P P(附加前提)
（2） P→Q P
(3) Q→S P
(4) Q→W P
(5) ¬（W∧X） P
(6) ¬W∨¬X T(5) E
(7) S T(1)(2)(3) I
(8) S→X P
(9) X T(7)(8) I
(10) ¬W T(6)(9) I
(11) W T(1)(2)(4) I
(12) ¬W ∧W (矛盾) T(10)(11) I

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

离散数学 前提:(P→Q)∧(Q→S),(Q→W)∧(S→X) ,「(W∧X) 结论:「P...

离散数学前提:(P→Q)∧(Q→S),(Q→W)∧(S→X) ,「(W∧X) 结论:「P...