前提:p推出q 结论p推出(p且q)-搜答案-智慧作业帮

附加前提证明法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┐(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得证.

1、p->q前提引入2、p附加前提引入（结论为蕴含式时可以用）3、q1、2假言推理.4.pvq2,3附加律所以就可以证出前提是p蕴含q结论是p蕴含(p且q).再问：结论是p合取q不是p析取q?再答：哦

如果p能推出q,那么p是q的充分条件,q是p的必要条件；p=>q真命题,该命题的逆命题为真,逆命题为如果p是q的充分条件,q是p的必要条件,那么p能推出q如果p能推出q,q也能推出p,那么p是q的充要

这里p和q要注意分清楚：P可以推出Q,就是说P是Q的充分条件,同时（注意）Q也是P的必要条件因为常常忽烈P还是Q开头,就容易搞混

“充分条件”和“必要条件”只是大家约定书成的东西,没必要去计较,就像你要发音就要按照字母表来发音一样.

你可能写错了,┐(q∨r)应为┐(q∧r),否则推不出结论.　　前提：┐p∨q,┐(q∧r),r　　结论：┐p　　推理如下：　　1）r前提引入　　2）┐(q∧r)前提引入　　3）┐q∨┐r2）等价置换

∧∨﹁前提:(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-->q的否定p-->q)p-->q)pvq)(pvq)p^q（非p且非q）这里指否定,即“非”)或者,更简单的方法,如果你知

若“命题1：已知非P,推出q”是真命题.则一定有"命题2：已知非q,推出P"也是真命题.因为命题1和命题2互为逆否命题.这二者是等效的

百度搜索就找到了《离散数学》模拟试题（四）-mnst4

我看了你的追问,有2,3合取引入,就可以得pvq.因为p真值为1,q的真值也为1,所以p∧q的真值也是1,就可以得到p∧q.我发现你第二题也好像打错啦?qs应该改为ps,或者是p->q改为q->p,要

前提：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……

是的,这是数理逻辑的一个很基础的定律,P=>Q非P或Q再问：有推理过程吗亲？再答：这个在逻辑推理中一般都是直接使用的，你可以用真值表来验证

原命题等价于逆否命题即Q推出P明显P是Q的必要不充分条件所以原命题成立~

充分不必要p是q的子集必要不充分q是p的子集再问：哦这样啊谢啦^_^

C,非P或者Q只要证明非P和Q不同时为假.假设非P假,即P为真,由如果P则Q,知道Q为真假设Q假,即非Q为真,由如果非Q则非P,知道非P为真即证明了非P和Q必有一个为真,所以非P或者Q必为真