存在任意交换
结论：
∃ y ∀ x A ( x , y ) ⇒ ∀ x ∃ y A ( x , y ) \exists{y}\forall{x}A(x,y)\Rightarrow \forall{x}\exists{y}A(x,y) ∃y∀xA(x,y)⇒∀x∃yA(x,y)
情况1可以写成A(x,a),情况2写成A(x,f(x))。显然情况1永真蕴含情况2，当情况2的f(x)恒=a时，等价。
AA与EE恒等价
存在任意交换
最新推荐文章于 2021-07-05 15:41:15 发布
结论：
∃ y ∀ x A ( x , y ) ⇒ ∀ x ∃ y A ( x , y ) \exists{y}\forall{x}A(x,y)\Rightarrow \forall{x}\exists{y}A(x,y) ∃y∀xA(x,y)⇒∀x∃yA(x,y)
情况1可以写成A(x,a),情况2写成A(x,f(x))。显然情况1永真蕴含情况2，当情况2的f(x)恒=a时，等价。
AA与EE恒等价
601
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
