前提:非(p合取非q),非q析取r,非r 结论:非p-搜答案-灵鹊做题网

前提:┐(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的话就是（非P）Q

1,非（q->非q)^非p=非（非qV非p)^非p=q^(p^非p)=q^F=F2,.(p^q)V(非pVr)=(p^q)V非pVr=(pV非p)^(qV非p)Vr=qV非pVr我不是很会打数学符号,

1.非q或r至少其一成立,非r成立,即r不成立,所以非q成立非q推出p所以结论为p交非r2.有效原命题等于其逆否命题由题意知,天晴或下雨必须且只能选其一,天晴推出看电影,看电影推出不看书所以看书推出不

因为非P或非Q是假命题,所以非P是假命题,非Q是假命题.所以P,Q都是真命题.是真,命题

合论易知）2.P成立并且Q不成立PQ均是指命题P和Q当然是命题,不知你如何理解.你要是在学集合论或数理逻辑书上该有证明.你可按集合论理解,命题理解为集合.命题P成立理解为存在x属于集合P.“P=>

可以用维恩图解释,就是那种饼饼,还有交叉的,你去试试就知道了比如这样：A={1,2,3,4,5}B={4,5,6,7}非（A且B）=非({4,5})={1,2,3,6,7}验证定理：（非A）或（非B）

∵非P且非Q的否定是假命题∴非P且非Q是真命题∴非P和非Q都是真命题∴P和Q都是假命题

1.“P=>Q”的否定是“P且非Q”（从集合论易知）2.P成立并且Q不成立PQ均是指命题P和Q当然是命题,不知你如何理解.你要是在学集合论或数理逻辑书上该有证明.你可按集合论理解,命题理解为集合.命题

前面是指两个中的一个再答：后面有满足两个条件再问：p或q和p且q呢？再答：一样再答：不过前面的里面有非再答：即否再答：谢谢好评

不太确定你所说的矛盾式在这里是否是指命题的否定,如果是,请看下面的推导：p-->q的否定p-->q)p-->q)pvq)(pvq)p^q（非p且非q）这里指否定,即“非”)或者,更简单的方法,如果你知

百度搜索就找到了《离散数学》模拟试题（四）-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否定肯定式

是若p则非q

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

只有p才q这样的语言翻译成逻辑语言为q推出p,所以选B再问：D应该算是假言命题转化成联言命题吧，如果从这个角度，D也应是正确的吧。对吗？再答：D不正确啊，你看它很B的真值是不一样的。非q->非p，只有

p->(q->p)pV(qVp)(p)V(q)VppV(p)V(q)pV(pVq)pV(p->q)p->(p->q)

非p且q等值于非p且q且（r或非r）等值于（非p且q且r）或（非p且q且非r）(非p或q或非r)且非p且q等值于（非p且q且非p）或（非p且q且q）或（非p且q且非r）等值于（非p且q）或（非p且q且

画三个互相有并集的圈圈分别用图形表示（p^r^q)v(非r^q)和p^q会发现是一样的再问：谢谢您再答：满意请采纳哦—U—