逻辑性/离散数学：一阶逻辑小证明题，答案都看不懂！感觉根本就不对！这道题是个什么意思？？
1个回答
展开全部
这两个就是永真量词公式：
Q₁₄ ∀xA(x)→B ⇔ ∃x(A(x)→B)
Q₁₅ ∃xA(x)→B ⇔ ∀x(A(x)→B)
一般的离散数学书上有证明。
证明思路，是
∀xA(x)→B ⇔ ¬∀xA(x)∨B⇔ ∃xA(x)∨B⇔ ∃x(A(x)∨B)⇔ ∃x(A(x)→B)
另一个可以类似证明，就不需要我写了吧
Q₁₄ ∀xA(x)→B ⇔ ∃x(A(x)→B)
Q₁₅ ∃xA(x)→B ⇔ ∀x(A(x)→B)
一般的离散数学书上有证明。
证明思路，是
∀xA(x)→B ⇔ ¬∀xA(x)∨B⇔ ∃xA(x)∨B⇔ ∃x(A(x)∨B)⇔ ∃x(A(x)→B)
另一个可以类似证明，就不需要我写了吧
追问
追问一下，如果把A，B互换一下，那么把后面的量词提到括号外，是不是不要变号？
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
