前提：P→(Q→R),﹁S∨P,Q
结论：S→R
证明：
1）P→(Q→R) 前提引入
2）Q→(P→R) 1）等值置换
3）Q 前提引入
4）P→R …… (留给你)
5）﹁S∨P ……
6）S 附加前提引入
7）P ……
8）R ……
9）S→R ……
得证.
试证明(P→(Q→R)∧(﹁S∨P)∧Q推出S→R
1个回答
相关问题
-
证明：（P->(Q->R)）∧（﹁S∨P）∧Q=>(S->R)
-
证明 （P∨Q）∧(P→R) ∧(Q→S) 1-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