离散数学，命题逻辑的蕴涵推理，求详解
展开全部
P→(Q→R)
⇔ ¬P∨(Q→R) 变成 合取析取
⇔ ¬P∨(¬Q∨R) 变成 合取析取
⇔ ¬P∨¬Q∨R 结合律
得到主合取范式，
同理
Q→(P→R)
⇔ ¬Q∨(P→R) 变成 合取析取
⇔ ¬Q∨(¬P∨R) 变成 合取析取
⇔ ¬Q∨¬P∨R 结合律
得到主合取范式，
因此两个命题等价。
⇔ ¬P∨(Q→R) 变成 合取析取
⇔ ¬P∨(¬Q∨R) 变成 合取析取
⇔ ¬P∨¬Q∨R 结合律
得到主合取范式，
同理
Q→(P→R)
⇔ ¬Q∨(P→R) 变成 合取析取
⇔ ¬Q∨(¬P∨R) 变成 合取析取
⇔ ¬Q∨¬P∨R 结合律
得到主合取范式，
因此两个命题等价。
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
