前提p蕴含q,结论p蕴含(q且p)
来源:学生作业帮助网 编辑:作业帮 时间:2024/08/26 06:15:34
附加前提证明法1S附加前提引入2S→P前提引入3P12假言推理4P→(Q→R)前提引入5Q→R34假言推理6Q前提引入7R56假言推理再问:3P12假言推理不懂啊附加前提法是怎么回事?再答:那你就需要
前提:┐(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③④拒取式
1>t合取r规则p;2》t规则p由1》化简;3》r规则p由1》化简;4》s等值于t规则p;5》t蕴含s规则t由4》等值6》s规则t由2》5》假言推论7》q等值s规则p8》s蕴含q规则t由7》等值9》q
用反证法也就是归谬法.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
1、p->q前提引入2、p附加前提引入(结论为蕴含式时可以用)3、q1、2假言推理.4.pvq2,3附加律所以就可以证出前提是p蕴含q结论是p蕴含(p且q).再问:结论是p合取q不是p析取q?再答:哦
你是不是要证明:P↔Q,Q=>P,哪个是条件?P↔Q?还是P↔Q,
你可能写错了,┐(q∨r)应为┐(q∧r),否则推不出结论. 前提:┐p∨q,┐(q∧r),r 结论:┐p 推理如下: 1)r前提引入 2)┐(q∧r)前提引入 3)┐q∨┐r2)等价置换
证明:(1)PP(附加前提)(2)P→QP(3)Q→SP(4)Q→WP(5)¬(W∧X)P(6)¬W∨¬XT(5)E(7)ST(1)(2)(3)I(8)S→XP(9)XT
是合取具体意思就是┒P成立并且P∨Q成立(p成立或者q成立)则一定能推出q成立原因是p或q有一个成立,现在p不成立,则一定能推出q成立
∧∨﹁前提:(p∨q)->r,﹁s∨p,q结论:s->r证明:1.q前提引入2.p∨q附加律3.(p∨q)->r前提引入4.r2.3.假言推理5.﹁s∨r附加律6.s->r蕴含等值式
“P为0,Q为1,P→Q为1”解释为“如果天下雨,那么草木枯黄”,这句话为真,所以P→Q为1.下雨就能不枯黄了?发大水了照样可以枯黄,所以可以推出.“P为1,Q为0,P→Q为0”解释为“如果天不下雨,
百度搜索就找到了《离散数学》模拟试题(四)-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否定肯定式
题目错了,照这个题目证明只能得到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,要
p{1,2,3,4,5,6},Q{1,2,3,4}如果有5或6,p存在,而Q不存在
P蕴含Q我也说不清楚.我觉得这句话可以解释为:除非是P,不然就都不是Q,也就是说,只有属于P的才可能属于Q,不属于P的都不在Q里,说明Q都在P里面.或者把p和q的表述变换一下来进行验证.Q蕴含P肯定是
P∨Q→R=>P∧Q→R方法一:用CP规则(1)P∧QP(附加前提)(2)PT(1)I(3)P∨QT(2)I(4)P∨Q→RP(5)RT(3)(4)I(6)P∧Q→RCP方法二;要证明P∨Q→R=>P