存在任意交换
结论：
∃y∀xA(x,y)⇒∀x∃yA(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恒等价
存在任意交换
最新推荐文章于 2024-12-12 16:40:13 发布
结论：
∃y∀xA(x,y)⇒∀x∃yA(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恒等价
扫一扫
2722
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
