∧说明左边的三个条件都是成立的
﹁S∨P成立,又由S成立给定,那么﹁S不成立,只能P成立
所以就是由(1)(2)能得到P成立
因为P->(Q->R)成立,P又成立,所以Q->R成立
以此类推
证明：（P->(Q->R)）∧（﹁S∨P）∧Q=>(S->R)
2个回答
相关问题
-
证明 （P∨Q）∧(P→R) ∧(Q→S) 1-S∨R
-
试证明(P→(Q→R)∧(﹁S∨P)∧Q推出S→R
-
急等：证明：P→┐ Q,P→R,R→┐ S=>S→ ┐Q
-
离散数学的：证明：((Q∧R)→S)∧(R→(P∨S)⇔(R∧(P→Q))→S,其中P,Q,R,S为命题公式
-
证明 前提:p→(┐(r∧s)→┐q),p,┐s 结论:┐q
-
/p-r/=10 /p-s/=12 /q-s/=9 求/q-r/=?已知q>p r>s s>r>q>p 注意:/ /表示
-
(¬(p → (((¬q) ∧ r)) ∨ ((¬p ∨ r) ∧ (q ∧s))))
-
离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论:r
-
S>P;P+R>Q+S;P+S>Q+R求四者关系
-
用“p→q=~p∨q”证明：（p→q）∧（q→r）=> p→r