作业帮前提：（P→Q）∧（Q→S）,（Q→W）∧(S→X) ,「（W∧X） 结论：「P
来源：学生作业帮助网 编辑：作业帮 时间：2024/07/11 11:25:32
x){=x6)G ˁ@ /Ӂ!2@v L8P((|v
$h;g3"` P!H]B˙-O@քeANP0T ;7a|SM5eCs#kdw@`r@VBH+DB0PPSHd'D( KM>sM Tp&HLPS! n Bpg?O@F 13 ?
前提：（P→Q）∧（Q→S）,（Q→W）∧(S→X) ,「（W∧X） 结论：「P
前提：（P→Q）∧（Q→S）,（Q→W）∧(S→X) ,「（W∧X） 结论：「P
前提：（P→Q）∧（Q→S）,（Q→W）∧(S→X) ,「（W∧X） 结论：「P
证明：
（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