早教吧作业答案频道 -->数学-->
用主析取范式证明(p→q)→r与q→(p→r)不等值
题目详情
用主析取范式证明(p→q)→r与q→(p→r)不等值
▼优质解答
答案和解析
(p→q)→r ⇔ ┐(p→q)∨r ⇔ ┐(┐p∨q)∨r ⇔ (p∧┐q)∨r ⇔ (p∧┐q∧(┐r∨r)∨r
⇔ (p∧┐q∧┐r)∨(p∧┐q∧r)∨r
⇔(p∧┐q∧┐r)∨(p∧┐q∧r)∨(p∧q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r) （5项）
q→(p→r)=┐q∨(┐p∨r)
⇔(p∧┐q∧┐r)∨(p∧┐q∧r)∨(p∧q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r)∨(┐p∧q∧┐r)∨(┐p∧q∧┐r) （7项）
所以(p→q)→r与q→(p→r)不等值.
⇔ (p∧┐q∧┐r)∨(p∧┐q∧r)∨r
⇔(p∧┐q∧┐r)∨(p∧┐q∧r)∨(p∧q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r) （5项）
q→(p→r)=┐q∨(┐p∨r)
⇔(p∧┐q∧┐r)∨(p∧┐q∧r)∨(p∧q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r)∨(┐p∧q∧┐r)∨(┐p∧q∧┐r) （7项）
所以(p→q)→r与q→(p→r)不等值.
看了 用主析取范式证明(p→q)→...的网友还看了以下：
一：用综合法或分析法证明,根五减根三大于根六减根四.二：用反证法求证：根五,根八,根十一三个数不可 2020-05-22 …
等腰三角形底边延长线上一点到两腰所在直线的距离之差等于一腰上的高.用解析法求证等腰三角形底边延长线 2020-08-01 …
用分析法或者综合法证明a的5次方+b5次方大于等于a3次方*b2次方+a2次方*b3次方用反证法证 2020-08-01 …
（1）用分析法证明：当一个圆和一个正方形的周长相等时，圆的面积比正方形的面积大．（2）用反证法已知 2020-08-01 …
（1）用反证法证明：在一个三角形中，至少有一个内角大于或等于；（2）已知，试用分析法证明：. 2020-08-01 …
下列对所学课文分析不当的一项是（）A．《改造我们的学习》一文运用了例证、引证、对比论证等论证方法，论 2020-11-14 …
辩证法分析问题学习了唯物辩证法理论,已经熟知辩证法理论,但是不知道怎么用辩证法去分析实际问题,碰到实 2020-11-27 …
配方法是数学中一种重要的恒等变形的方法，它的应用十分非常广泛，在因式分解、化简根式、解方程、证明等式 2020-12-22 …
敬业与乐业!①举例论证②引用论证③对比论证④比喻论证分别找出相对应的句子,再加以分析.例如对比论证的 2020-12-23 …
下列对所学课文分析不当的一项是A.《改造我们的学习》一文运用了例证、引证、对比论证等论证方法，论述的 2020-12-23 …