有关离散数学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)