证明:(P->(Q->R))∧(﹁S∨P)∧Q=>(S->R)
来源:学生作业帮 编辑:神马作文网作业帮 分类:数学作业 时间:2024/10/04 17:30:35
证明:(P->(Q->R))∧(﹁S∨P)∧Q=>(S->R)
(1)S P(附加前提)
(2)﹁S∨P P(前提)
(3)P T(1)(2)I
(4)P->(Q->R) P
(5)Q->R T(3)(4)I
(6)Q P
(7)R T(5)(6)I
(8)S->R CP规则
请解释一下(3)(5)(7)是如何得到的,原式求证明明为∧符号,而(3)(5)(7)是若推出只能是∨符号的条件下
求指教~
(1)S P(附加前提)
(2)﹁S∨P P(前提)
(3)P T(1)(2)I
(4)P->(Q->R) P
(5)Q->R T(3)(4)I
(6)Q P
(7)R T(5)(6)I
(8)S->R CP规则
请解释一下(3)(5)(7)是如何得到的,原式求证明明为∧符号,而(3)(5)(7)是若推出只能是∨符号的条件下
求指教~
∧说明左边的三个条件都是成立的
﹁S∨P成立,又由S成立给定,那么﹁S不成立,只能P成立
所以就是由(1)(2)能得到P成立
因为P->(Q->R)成立,P又成立,所以Q->R成立
以此类推
﹁S∨P成立,又由S成立给定,那么﹁S不成立,只能P成立
所以就是由(1)(2)能得到P成立
因为P->(Q->R)成立,P又成立,所以Q->R成立
以此类推
证明 (P∨Q)∧(P→R) ∧(Q→S) 1-S∨R
离散数学证明题:证明((Q∧R)-->S) ∧(R-->(P∨S))(R∧(P-->Q))-->S
试证明(P→(Q→R)∧(﹁S∨P)∧Q推出S→R
证明 P∧Q→R,┐R∨S,┐S => ┐P∨┐Q .
用“p→q=~p∨q”证明:(p→q)∧(q→r)=> p→r
用推理规则证明】前提:p∨q,p->s,q->r 结论:s∨r
推理证明,前提,p->s.q->r.非r.p∨q结论s
前提:(p∨q)→(u∧s),(s∨t)→r 结论:p→r 怎么证明啊?
离散数学的:证明:((Q∧R)→S)∧(R→(P∨S)⇔(R∧(P→Q))→S,其中P,Q,R,S为命题公式
怎样证明((p→q)∧((s∧q)→r))→((p∧s)→r)?
证明 :P→(Q∨R)(S∨T)→P.S∨T =>Q∨R
┐(P∨Q→┐R)=(┐P∨Q)∧R如何证明