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

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

人气：222 ℃　时间：2020-03-14 02:36:16

解答

<=>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)