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

有关离散数学P->(Q->P)
原题是这样的
非P->(P->Q)<=>P->(Q->P)
请问是怎么样证明的?
其他人气:476 ℃时间: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)
我来回答
类似推荐
请使用1024x768 IE6.0或更高版本浏览器浏览本站点,以保证最佳阅读效果。本页提供作业小助手,一起搜作业以及作业好帮手最新版!
版权所有 CopyRight © 2012-2024 作业小助手 All Rights Reserved. 手机版