离散数学 求证 ┐p→(p→q) <=>p→(q→p)

┐p→(p→q)<=>p→(q→p)... ┐p→(p→q) <=>p→(q→p) 展开
 我来答
robin_2006
推荐于2017-10-23 · TA获得超过3.9万个赞
知道大有可为答主
回答量:1.3万
采纳率:79%
帮助的人:8387万
展开全部
┐p→(p→q) <=> p∨(┐p∨q) <=> (p∨┐p)∨q <=> 1∨q <=> 1。
p→(q→p) <=> ┐p∨(┐q∨p) <=> (p∨┐p)∨┐q <=> 1∨┐q <=> 1。

所以,┐p→(p→q) <=>p→(q→p)。
本回答被网友采纳
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式