对 量词辖域收缩与扩张等值式 的理解

x：集市
A(x)：x里有马
B：花木兰能买到马

∀x(A(x)→B) 与 ∃xA(x)→B

∀x(A(x)→B)：
所有集市满足 如果集市里有马，花木兰就能买到马
∃xA(x)→B：
如果存在集市有马，花木兰就能买到马

可以作一个这样的理解：凡是集市里的马，都可以卖给花木兰，这样看两句话的意思便是一样的

∃x(A(x)→B) 与 ∀xA(x)→B

∃x(A(x)→B)：
有这样的集市能使 如果集市里有马，花木兰就能买到马
∀xA(x)→B：
如果所有集市有马，花木兰就能买到马

可以理解为：有些集市里的马不能卖给木兰，有些集市里的马能卖给木兰

---

如有不当还请不吝指正