请教高手一道关于数理逻辑中的谓词逻辑推理题，望指教 没财富了0.0……拜托了
∀x(A(x)→B(x))⇔∀x(┐A(x)∨B(x))⇔∀x┐(A(x)∧┐B(x))⇔┐...
∀x(A(x)→B(x)) ⇔ ∀x ( ┐A(x) ∨ B(x) )
⇔ ∀x ┐( A(x) ∧ ┐B(x) )
⇔ ┐∃x ( A(x) ∧ ┐B(x) )
⇔ ┐( ∃x A(x) ∧ ∃x ┐B(x) )
⇔ ┐∃x (A(x) ∨ ┐∃x ┐B(x) )
⇔ ┐∃x A(x) ∨ ∀x B(x)
⇔ ∃x A(x) → ∀x B(x)
这道题的证明是对是错，若错，请教错在哪 展开
⇔ ∀x ┐( A(x) ∧ ┐B(x) )
⇔ ┐∃x ( A(x) ∧ ┐B(x) )
⇔ ┐( ∃x A(x) ∧ ∃x ┐B(x) )
⇔ ┐∃x (A(x) ∨ ┐∃x ┐B(x) )
⇔ ┐∃x A(x) ∨ ∀x B(x)
⇔ ∃x A(x) → ∀x B(x)
这道题的证明是对是错，若错，请教错在哪 展开
2个回答
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
