离散数学,证明: ̢x(A(x) →B) <=> "xA(x) → B

证明: ̢x(A(x) →B) &lt;=&gt; "xA(x) → B
2025-06-21 20:48:15
推荐回答(1个)
回答1:

∃x(A(x) →B)
⇔ ∃x(¬A(x) ∨B)
⇔ (∃x¬A(x)) ∨B
⇔ ¬(∃x¬A(x)) →B
⇔ ∀xA(x) →B