离散数学证明：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 综上 命题得证
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
