题目错了,照这个题目证明只能得到s.
如果结论是s才可能被证明.
离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论:r
1个回答
相关问题
-
离散数学的：证明：((Q∧R)→S)∧(R→(P∨S)⇔(R∧(P→Q))→S,其中P,Q,R,S为命题公式
-
证明 前提:p→(┐(r∧s)→┐q),p,┐s 结论:┐q
-
构造下面推论的证明：(1)前提：p→q 结论：p→(p∧q)(2)前提：q→p,q→←s,s→←t,t∧r 结论：p∧q
-
离散数学中环算几条边K4有几边 几面构造下面推理证明(1)前提：┑(p∧q),┑q∧r,┑r结论：┑p(2)前提：p->
-
一道 推理理论的题目,前提：(p∧q)－>r,「s∨p,q,s结论：r用推理理论证明.我是这么做的：1.(p∧q)－>r
-
证明：（P->(Q->R)）∧（﹁S∨P）∧Q=>(S->R)
-
证明 （P∨Q）∧(P→R) ∧(Q→S) 1-S∨R
-
构造下面推理的证明前提:p→(q→s),q,p∨┐r.结论：r→s实在是看不懂书上写的了.
-
试证明(P→(Q→R)∧(﹁S∨P)∧Q推出S→R
-
急等：证明：P→┐ Q,P→R,R→┐ S=>S→ ┐Q