用归谬赋值法判定(p∧q∧r →s)→(┑s→(p→(q→┑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、┐S2、┐R∨S3、R12析取三段论4、P∧Q→R5、┐(P∧Q)34拒取式6、┐P∨┐Q5置换

离散吧这个看看书上的公式就能做出来了!还能让你记住以后遇见了知道怎么做!

该等式不成立,应该是┐(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

原题推理式：1.p∧￢q→￢r2.因为r,所以￢p∨（q∧p）归谬法证明：因为r,所以￢（p∧￢q）,即￢p∨q∨（￢p∧q）.于题意不符,所以这是错误的推理.

（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）∨

那个符号我也不知道,卷子上印的.很像“H”去掉右边那一竖

归谬赋值法又称为简化真值表法,主要用来判定一个蕴含式是否为重言式.该法的做题程序为：首先,假设蕴含式为假,在其主联结词下面写上0.其次,根据上述假设,先对前件赋值为真,对后件赋值为假,分别在前件下面协

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

额,苏格拉底三段论.忘了怎么证了.再问：能够用命题逻辑证明吗？命题逻辑有局限性吗？再答：抱歉，毕业好几年了，真心不会了。。。。

前提：P→(Q→R),﹁S∨P,Q结论：S→R证明：1）P→(Q→R)前提引入2）Q→(P→R)1）等值置换3）Q前提引入4）P→R……(留给你)5）﹁S∨P……6）S附加前提引入7）P……8）R……

-p∨(q→r)-p∨(-q∨r)-p∨-q∨r-(p∧q)∨r(p∧q)→

（p→q)∧(p→r)=（非p∨q)∧(非p∨r)=非p∨(q∧r)=p→(q∧r)

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

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

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就是┐,不方便打那个符号

神马归谬我不会,但是我用其它的方法做.1.看（p→q）,只有肯定前件式和否定后件式,就是只有p→q和乛q→乛p两种,其余没有.所以说（（p→q）∧q→p是错误的.同理,另一个也是错误的.2.如果要“非

用归谬赋值法判定(p∧q∧r →s)→(┑s→(p→(q→┑r)是否 是重言式.