问题标题：
离散数学证明：p->(q->r)=>(p->q)->(p->r)
问题描述：
离散数学证明：p->(q->r)=>(p->q)->(p->r)
冷锋回答：
p->(q->r)为T，有2种情况，（1）p为F此情况下p->q为Tp->r也为T，所以(p->q)->(p->r)为T成立（2）P为T，q->r为Tq->r为T又有2种情况1）q为F则P->q为F(p->q)->(p->r)为T了成立2）q为T，r为T即P,q,r都为T...
点击显示
数学推荐
热门数学推荐