离散数学，在命题逻辑系统中构造下列推理的形式证明，为啥结论会多了个p……搞不懂，求下过程，谢谢！
展开全部
这是因为前提中存在矛盾，因此为假，假值可以推出任意结论
过程如下：
r∨s 前提2
⇔ (¬r)→s 蕴含表达式
s→¬q 前提1
¬r→¬q 前提三段论（结合上面两式得到）
¬r 前提3
¬q 假言推理 【1】
¬r↔q 前提4
q 等值表达式（结合前提3和前提4得到）【2】
F（结合【1】【2】得到）
⇒
r∨¬p
过程如下：
r∨s 前提2
⇔ (¬r)→s 蕴含表达式
s→¬q 前提1
¬r→¬q 前提三段论（结合上面两式得到）
¬r 前提3
¬q 假言推理 【1】
¬r↔q 前提4
q 等值表达式（结合前提3和前提4得到）【2】
F（结合【1】【2】得到）
⇒
r∨¬p
追问
谢谢
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
