展开全部
(P→Q)↔(¬P∨Q)
⇔((P→Q)→(¬P∨Q))∧((¬P∨Q)→(P→Q)) 变成 合取析取
⇔(¬(P→Q)∨(¬P∨Q))∧(¬(¬P∨Q)∨(P→Q)) 变成 合取析取
⇔(¬(¬P∨Q)∨(¬P∨Q))∧(¬(¬P∨Q)∨(¬P∨Q)) 变成 合取析取
⇔¬(¬P∨Q)∨(¬P∨Q) 等幂律
⇔TRUE
⇔((P→Q)→(¬P∨Q))∧((¬P∨Q)→(P→Q)) 变成 合取析取
⇔(¬(P→Q)∨(¬P∨Q))∧(¬(¬P∨Q)∨(P→Q)) 变成 合取析取
⇔(¬(¬P∨Q)∨(¬P∨Q))∧(¬(¬P∨Q)∨(¬P∨Q)) 变成 合取析取
⇔¬(¬P∨Q)∨(¬P∨Q) 等幂律
⇔TRUE
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
