非r→q得否定

(P→┐Q)→R等值于┐(┐P∨┐Q)∨R等值于(┐P∧┐Q)∨R等值于(P∧Q∧R)∨(P∧Q∧┐R)∨(P∧Q∧R)∨(┐P∧Q∧R)∨(P∧┐Q∧R)∨(┐P∧┐Q∧R)等值于(P∧Q∧R)∨(

前提:┐(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∧~q)∨(q∧r))∨(r∨p)=(p∧~q)∨((q∧r)∨r∨p)=(p∧~q)∨(r∨p)=(p∧~q)∨r∨p=(p∧~q)∨p∨r=p∨

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.有效原命题等于其逆否命题由题意知,天晴或下雨必须且只能选其一,天晴推出看电影,看电影推出不看书所以看书推出不

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

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

非P或非Q的否定是P且Q这个没有否命题,有条件有结论的命题才有否命题,比如说“如果p,则q”的否命题是“如果p,则非q”

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

将P变为非P（即否定条件）,结论Q不变,得到的新命题应该不对的吧!难道外教在讲玄学,诡辩论.我们通常了解的逻辑是前件推出后件,否定后件推出否定前件,推理传递这三大原则的.x＞5推出x＞1x≦5明显推不

不太确定你所说的矛盾式在这里是否是指命题的否定,如果是,请看下面的推导：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且（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→Q)∧(R→Q)P∨Q)∧(~R∨Q)P∧~R)∨Q(P∨R)∨Q(P∨R)→Q就是┐,不方便打那个符号

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

这个好像答过的.若p且非r是真命题,则P和非r都是真命题,所以P是真命题,r是否命题所以p或q,是真命题（或时,有一个真,即为真命题）q且r是假命题（且时,有一个假,就是假命题）

只有Q=I2Rt叫做焦耳定律,Q=U2t/R不是焦尔定律,只不过在纯电阻电路里它和焦尔定律的结果相同.

P∪Q=Q,说明P包含于Q,Q∩R=Q,说明Q包含于R所以P包含于Q包含于R,则P包含于R