(P->(Q∧R))的成真指派为什么-搜答案-拍题作业网

p^qprp^qqsrsr^s注：换行表示“推出”关系,分段表示上一段演绎结束

((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∨

该等式不成立,应该是┐(P∨Q→┐R)=(P∨Q)∧RP∨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∧r))∨(p∧q∧r)(﹁p∧(﹁q∨﹁r))∨(p∧q∧r)(﹁p∧﹁q)∨(﹁p∧﹁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)∨(﹁p∧﹁r)∨(p

（p→q）∧（q→r）=（~p∨q）∧（~q∨r）=（~p∧（~q∨r）)∨(q∧（~q∨r）)=(（~p∧~q)∨（~p∧r）)∨((q∧~q）∨(q∧r）)=（~p∧~q)∨（~p∧r）∨(0）∨

┐(┐（┐P∨(Q∨┐R))∨P∨┐Q)=┐（P∨┐Q）

((p∧┐q)∨(q∧r))∨r∨p(交换律结合律)=(p∧┐q)∨p∨(q∧r))∨r(吸收律)=p∨

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

左边:((Q∧R)→S)∧(R→(PvS))=(┐(Q∧R)vS)∧(┐Rv(PvS))=(┐Qv┐RvS)∧(┐RvPvS)右边:(R∧(P→Q))→S=┐(R∧(┐PvQ))vS=(┐Rv(P∧┐

由于公式含3个命题变项,并且已知有3个成真赋值001,010,111,因而有5个成假赋值000,011,100,101,110.成真赋值对应的极小项分别为m1,m2,m7,故主析取范式为Am1∨m2∨

1 ((p∨q)→r)→p <=> ┐((p∨q)→r)vp<=> ┐(┐(p∨q)vr)vp<=> ((p∨q)

ADDACAB

(p→~r)∨(q→~r)p∨~r)∨(~q∨~r)p∨~q)∨~r(p∧q)∨~r(p∧q)→~r翻译成英语句子就是：Ifyouhavethefluandmissthe\x0cfinalexamin

右边：(R∧(P→Q))→S⇔┐(R∧(┐P∨Q))∨S⇔(┐R∨P∧┐Q)∨S⇔(┐R∨S)∨(┐Q∧P)左边：((Q∧R)→S)∧(R→(P∨S)⇔

公式法貌似不好推,用真值表试试

三点共线则PQ和PR斜率相等(q^3-p^3)/(q-p)=(r^3-p^3)/(r-p)q^2+pq+p^2=r^2+pr+p^2q^2+pq=r^2+prq^2-r^2+pq-pr=0(q-r)(

P∨Q→R=>P∧Q→R方法一：用CP规则(1)P∧QP(附加前提)（2）PT（1）I（3）P∨QT（2）I（4）P∨Q→RP（5）RT（3）（4）I（6）P∧Q→RCP方法二；要证明P∨Q→R=>P

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