离散数学证明题，如图如何证明
展开全部
∀x(A(x)→B(x))
⇔ ∀x（¬A(x)∨B(x)）
⇔ ∀x（¬A(x)∨B(x)）
⇒ ∃x(¬A(x)∨B(x))
⇔ ∃x¬A(x)∨∃xB(x)
⇔ ¬（∀xA(x)）∨∃xB(x)
⇔ ∀xA(x) →∃xB(x)
⇔ ∀x（¬A(x)∨B(x)）
⇔ ∀x（¬A(x)∨B(x)）
⇒ ∃x(¬A(x)∨B(x))
⇔ ∃x¬A(x)∨∃xB(x)
⇔ ¬（∀xA(x)）∨∃xB(x)
⇔ ∀xA(x) →∃xB(x)
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
