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

有关离散数学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)
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
1,人们染上烟瘾,最终因吸烟使自己丧命.
最新试题
热门考点

超级试练试题库

© 2017-2019 超级试练试题库,All Rights Reserved.