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