证明p~q~r等价于非q

前提:┐(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

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

用真值表穷举证明,就可以了吧离散数学逻辑,证明￢(P↔Q)和P↔￢Q逻辑等价,（条件?：当p与q有相反的真值时,P↔￢Q两边恰好都为真,就是说p=1,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否定肯定式

1.至少用两种方法证明¬p∨(r→¬q)和¬p∨¬q∨¬r等价答：1>假如p=T,r=T,q=T；那么¬p=F,¬q=F,

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

证明：(P→Q)→R┐(┐PvQ)vR(P∧┐Q)vR=>(P∧┐Q)v(┐PvR)┐(P∧┐Q)→(┐PvR)(┐PvQ)→(P→R)(P→Q)→(P→R)注释：关键的一步为R=>(┐PvR)再问：

p→（q→p）＜＝＞┐p∨(┐q∨p)＜＝＞p∨(┐p∨┐q)＜＝＞p∨(p→┐q)＜＝＞┐p→(p→┐q)那么简单都不会做,建议多看下书,把基础公式弄明白

列一个真值表：pqrs式子1000……共2^4=16项,如果都是0,为永假,都是1则永真,有0有1为可满足－－－－－－－－－－－－－－－－－－－－－－－－－－－－－奥,什么时候补充的,没有看到,不好意

p->(q->s)┐p∨(┐q∨s)┐q∨(┐p∨s)q->(p->s)

P交Q=P,P并Q=Q都表示P是Q的子集；P并（CuQ)=空集表示P为空集或Q为全集,无论如何,P是Q的子集P含于Q表示P是Q的子集P含于Q等价的命题有：P交Q=P；P并Q=Q；P并（CuQ)=空集；

正确答案：2个.解析：第一个和第二个表达了这个意思,第一个表达的意思是二者的交集是P,说明p包含于Q,第二个的意思是二者的并集是Q,说明Q包含P.第三个表达的意思是二者的并集是全集,尽管他表明了Q与U

非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—

这个问题实际上是一位大数学家提出来的,还曾经引起过数学危机,后来被人们当成了公里认可了,已经被数学界得到承认了,如果不承认反证法,实际上相当于很多数学结果都不承认,那就麻烦大了