前提:非(p合取非q),非q析取r,非r 结论:非p
来源:学生作业帮助网 编辑:作业帮 时间:2024/08/26 08:37:53
前提:┐(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—