等值演算 p→q→r(p→ q)→(p→r)
来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/06/24 15:33:47
等值演算 p→q→r(p→ q)→(p→r)
楼主,这个等值演算应该不成立,比如p=0,q=1,r=0时前面为假,后面为真.下面我给你它的等值演算吧!
p—>q—>r经过演算得m1@m3@m4@m5@m7 @代表是离散数学的吸取或张开符号.
而(p—>q)—>(p—>r)非(非p@q)@(非p@r) (p^非q)@(非p@r) (P^非q)^(非r@r))@非p@r (p^非q^非r)@(p^非q^r)@非p@r (p^非q^非r)@(p^非q^r)@(非p^q^r)@(p^非q^r)@(p^q^r)@(非p^q^r)@(非p^r^非q)@(非p^非r^q)@(非p^非r^非q) m4@m5@m3@m5@m7@m3@m1@m2@m0 m0@m1@m2@m3@m4@m5@m7
楼主认真看下,不懂可问我.
p—>q—>r经过演算得m1@m3@m4@m5@m7 @代表是离散数学的吸取或张开符号.
而(p—>q)—>(p—>r)非(非p@q)@(非p@r) (p^非q)@(非p@r) (P^非q)^(非r@r))@非p@r (p^非q^非r)@(p^非q^r)@非p@r (p^非q^非r)@(p^非q^r)@(非p^q^r)@(p^非q^r)@(p^q^r)@(非p^q^r)@(非p^r^非q)@(非p^非r^q)@(非p^非r^非q) m4@m5@m3@m5@m7@m3@m1@m2@m0 m0@m1@m2@m3@m4@m5@m7
楼主认真看下,不懂可问我.
等值演算 p→q→r(p→ q)→(p→r)
用等值演算或真值表证明公式(p→q)∧(p→r)<=>p→(q∧r)
用等值演算法验证命题等值式P→(q→r)⇔ (p∧q)→r.
离散数学证明:(P→Q)→R=>(P→Q)→(P→R)
(P→Q)∧(R→Q)<=>(P∨R)→Q
离散数学 (p∧q)→ r
1.用等值演算法证明:((p∨q)→r)→p (p∨q∨p)∧( ┐r∨p) 2.证明:a上的关系R1与R2都具有对称性
(p→q)∧(q→p)等值(p∨q)→(q∧p),其中p,q多少命题公式.
证明:P→(Q→R)⇔Q→(P→R)
构造推理证明:前提p→q,非r→p,非q,结论r
┐(P∨Q→┐R)=(┐P∨Q)∧R如何证明
用“p→q=~p∨q”证明:(p→q)∧(q→r)=> p→r