这个离散数学里的题怎么证明 10
1个回答
展开全部
前提1，本身就是假：
¬(P→Q)∧Q
⇔¬(¬P∨Q)∧Q 变成 合取析取
⇔(P∧¬Q)∧Q 德摩根定律
⇔P∧¬Q∧Q 结合律
⇔FALSE
从假命题，可以推导出任意命题（无义证明法： P假 ⇒ (P→Q)真 ），
显然（1）、（2）易证。
¬(P→Q)∧Q
⇔¬(¬P∨Q)∧Q 变成 合取析取
⇔(P∧¬Q)∧Q 德摩根定律
⇔P∧¬Q∧Q 结合律
⇔FALSE
从假命题，可以推导出任意命题（无义证明法： P假 ⇒ (P→Q)真 ），
显然（1）、（2）易证。
追问
后面的没懂，详细点
谢谢
本回答由网友推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
