¬a∨b,c→¬ba→¬c
A∨(B∧C)├┤(A∨B)∧(A∨C)A∨(B∨C)├┤(A∨B)∨CA→C,B→D,A∨B├C∨D逻辑学的三个公式,请教谁能给出形式证明...
A∨ (B∧C)├┤(A∨B)∧ (A∨C)
A∨(B∨C)├┤ (A∨B) ∨C
A→C,B→D,A∨B├C∨D
逻辑学的三个公式,请教谁能给出形式证明 展开
A∨(B∨C)├┤ (A∨B) ∨C
A→C,B→D,A∨B├C∨D
逻辑学的三个公式,请教谁能给出形式证明 展开
1个回答
展开全部
A→(B→C)等值于¬A∨(B→C)等值于¬A∨(¬B∨C)等值于¬A∨¬B∨C而(A→B)→(A→C)等值于¬(¬A∨B)∨(¬A∨C)等值于(A∧¬B)∨¬A∨C等值于(¬A∨¬B∨C)∧(A∨¬A∨C)等值于(¬A∨¬B∨C)∧C显然¬A∨¬B∨C├(¬A∨¬B∨C)∧C
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
