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 综上 命题得证
