有关离散数学P->(Q->P)

问题描述:

有关离散数学P->(Q->P)
原题是这样的
非P->(P->Q)P->(Q->P)
请问是怎么样证明的?

p V (p->q)
p V (非p V q)
1
P->(Q->P)
非p V (q->p)
非p V (非q V p)
1
非p->(p->q)p->(q->p)