早教吧作业答案频道 -->其他-->
离散数学证明：p->(q->r)=>(p->q)->(p->r)
题目详情
离散数学证明：p->(q->r)=>(p->q)->(p->r)
▼优质解答
答案和解析
p->(q->r)为T，有2种情况，（1）p为F 此情况下p->q为T p->r也为T，所以(p->q)->(p->r) 为T成立（2） P为T ，q->r为T q->r为T 又有2种情况 1）q为F 则P->q为F (p->q)->(p->r) 为T了成立 2）q为T，r为T 即P,q,r都为T 则(p->q)->(p->r)为T 综上 命题得证
看了 离散数学证明：p->(q->...的网友还看了以下：
求教一下这个lingo程序有什么问题model:sets:capital/0..15/:r,p,q 2020-05-13 …
离散数学证明：p->(q->r)=>(p->q)->(p->r) 2020-05-17 …
如果对于某整数p和q,有r=p/q,实数r就称为有理数,否则称为无理数.0.25,1.333333 2020-05-22 …
p^2+pq+q^2=p^2+pr+r^2整理得(q-r)(p+q+r)=0 2020-06-04 …
(┐p∨r)∧(p→q)的成假赋值(p→q)∧(┐(p∧r)∨p)的成假赋值 2020-06-12 …
求这个公式主析取范式，并求成真赋值(p∨(q∧r))→(p∨q∨r) 2020-06-12 …
一个n脚输入的或门是否能被n-1个二脚输入的或门替代,为什么?顺便问个布尔代数化简M.R.P+Q. 2020-06-20 …
几道离散数学第一章的问题!1.判别下列公式哪些是合式公式,哪些不是合式公式?a)(Q→R∧S)b) 2020-06-20 …
若规定一种对应关系f(k),使其满足：f(k)=(p,q)且q-p=k,若f(k)=(p,q),则f 2020-12-01 …
离散PV(Q^R)→(P^Q^R)的合取范式 2020-12-25 …