离散数学的一个证明题，找人帮忙

证明：┐(P←→Q)<=>(P∧┐Q)∨(┐P∧Q)，其中P、Q为命题公式。... 证明：┐(P←→Q)<=>(P∧┐Q)∨(┐P∧Q) ，其中P、Q为命题公式。展开

2个回答

来来喵0K
2010-11-28 · TA获得超过135个赞

知道答主

回答量：51

采纳率：0%

帮助的人：34.4万

关注

展开全部

这个命题等价于证明(P←→Q)<=>(P∨┐Q)∧(┐P∨Q)；
P←→Q<=>（P→Q）∧（Q→P); （1）
而P→Q<=>┐P∨Q；（2）

本回答由提问者推荐

已赞过 已踩过<

评论收起

匿名用户
2010-11-28

展开全部

等值演算，把P←→Q转换为（P→Q）∧（Q→P），然后用蕴涵等值式，再用德摩根律

已赞过 已踩过<

评论收起

推荐律师服务：若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询

为你推荐：