证明：
（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
前提：（P→Q）∧（Q→S）,（Q→W）∧(S→X) ,「（W∧X） 结论：「P
1个回答
相关问题
-
证明 前提:p→(┐(r∧s)→┐q),p,┐s 结论:┐q
-
构造下面推论的证明：(1)前提：p→q 结论：p→(p∧q)(2)前提：q→p,q→←s,s→←t,t∧r 结论：p∧q
-
离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论:r
-
一道 推理理论的题目,前提：(p∧q)－>r,「s∨p,q,s结论：r用推理理论证明.我是这么做的：1.(p∧q)－>r
-
前提条件P→﹁Q P的有效结论是() A:P B:﹁P C:Q D:﹁Q
-
构造下面推理的证明前提:p→(q→s),q,p∨┐r.结论：r→s实在是看不懂书上写的了.
-
W. A. D. Y. Y. D. Z. H. S. N. X. X. N. G. Q. L. G. Z. P. W.
-
一个命题推导的问题如果有:P(x)->S(x)Q(x)->!S(x)那么有P(x)->!Q(x)这个结论一定成立吗?为什
-
/p-r/=10 /p-s/=12 /q-s/=9 求/q-r/=?已知q>p r>s s>r>q>p 注意:/ /表示
-
证明：（P->(Q->R)）∧（﹁S∨P）∧Q=>(S->R)