用cp规则证明前提 p→r,pVq,r→¬s
来源:学生作业帮助网 编辑:作业帮 时间:2024/05/26 11:41:52
A→(B∧C),(E→¬F)→¬C,B→(A∧¬S)│-B→E(1)B(T规则,附加前提)(2)B→(A∧¬S)(P规则)(3)A∧¬S(T规则(1)(2))(4)A(T规则(3))(5)A→(B∧C
前提:┐(p∧(┐q)),┐q∨r,┐r┐q∨r,┐r=>┐q----1┐(p∧(┐q))=>┐p∧q-----2由1,2得┐q&┐p∧q=>┐p结论为┐p
证明:①p→q前提引入②非q前提引入③非p①②拒取式④非r→p前提引入⑤r③④拒取式
p^qprp^qqsrsr^s注:换行表示“推出”关系,分段表示上一段演绎结束
关键就是把握:┐r∨p等价于r->p证明:(1)p∨┐r,题中假设(2)┐r∨p,(1)交换律(3)r->p,(2)等价变换(4)p->(q->s),题中假设(5)r->(q->s),(3)(4)三段
用反证法也就是归谬法.1┐(s∨r)否定前提引入2┐s∧┐r1置换3┐s2化简4p→s前提引入5┐p34拒取式6┐r2化简7q→r前提引入8┐q67拒取式9┐p∧┐q58合取10┐(p∨q)9置换11
前提引入,将R当做条件.R,并且┐R∨P,所以P,又因为P→(Q→S),所以(Q→S),因为Q,所以S得证.
1P→QP2﹁Q→﹁PT1E3﹁(Q∨R)P4﹁Q∧﹁RT3E5﹁QT4I6﹁PT2,5I
你可能写错了,┐(q∨r)应为┐(q∧r),否则推不出结论. 前提:┐p∨q,┐(q∧r),r 结论:┐p 推理如下: 1)r前提引入 2)┐(q∧r)前提引入 3)┐q∨┐r2)等价置换
1.非q或r至少其一成立,非r成立,即r不成立,所以非q成立非q推出p所以结论为p交非r2.有效原命题等于其逆否命题由题意知,天晴或下雨必须且只能选其一,天晴推出看电影,看电影推出不看书所以看书推出不
v^(r-1)t=cp^(r-1)t^(-r)=c其中C为恒量Cv与Cp在其中都是恒量
百度搜索就找到了《离散数学》模拟试题(四)-mnst4
p合取q应是p析取q吧.证明如下:1、p析取q前提2、p蕴含非r前提3、s蕴含t前提4、非s蕴含r前提5、非t前提6、非s35否定后件式7、r46肯定前件式8、非p27否定后件式9、q18否定肯定式
①{1}p→s②{2}q→r③{3}┐r④{4}p∨q/∴s⑤{2,3}┐q②③→-⑥{2,3,4}p④⑤∨-⑦{1,2,3,4}s①⑥证毕再问:和书上例题的格式不太一样啊,我一点都不会。举个例子,书
题目错了,照这个题目证明只能得到s.如果结论是s才可能被证明.
1)p→(┐(r∧s)→┐q)前提引入2)p前提引入3)┐(r∧s)→┐q1)2)假言推理4)┐s前提引入5)┐s∨┐r4)附加律6)┐(r∧s)5)置换7)┐q3)6)假言推理
我看了你的追问,有2,3合取引入,就可以得pvq.因为p真值为1,q的真值也为1,所以p∧q的真值也是1,就可以得到p∧q.我发现你第二题也好像打错啦?qs应该改为ps,或者是p->q改为q->p,要
(1)pP(附加前提)(2)p∨qT(1)(3)(p∨q)→(u∧s)P(4)u∧sT(2)(3)I(5)sT(4)I(6)s∨tT(5)I(7)(s∨t)→rP(8)rT(6)(7)(9)p→rCP
∀x(p(x)∧R(x))为真→∀x(p(x))为真→∀x(p(x)→(Q(x)∧S(x)))→∀xS(x))为真→∀x(R(x)∧S(x)
有点费劲数学符号也打不上数学分析(北师版的)有解答吧