关于离散数学 量词扩张的时候，如果存在和任意都有，应该先对哪一个进行扩张啊😣😭
\forall放前面吧
东区小刺猫 这是一个规则吗?（抱歉我上课没听到关于这块的内容，也有可能是我没认真听）
Hanggoash 这种情况下不影响，顺序随便写，但是我喜欢把先出现的写最前面😎 但是顺序不一样的两个式子是不等价的，只是变成两种都可以。
东区小刺猫 我有点晕晕的😵 为什么这两种写法都不等价了 写两种又都可以😭
Hanggoash 辖域扩张本来就是不等价的，推导剪头是单向的而不是双向的
东区小刺猫 量词辖域收缩扩张不是等价的吗🥺😔
Hanggoash 我错了，你原谅我好不好🤕
东区小刺猫 我喜欢你 但是所以为什么\forall要放在前面😭
我咋不记得这块有先后要求呢
Hewkick 可能的确没有 但主要是 这个先后顺序的不同 化出来是两种可能不等价的结果。然后就挺疑惑的。
Hewkick Hewkick老师教教😭
下课问了老师 好像对于这种一元谓词 最后存在和任意的位置其实不影响他们俩的等价性（虽然我还是觉得理解起来有一些差别） 但我真的好蠢啊😭
Hanggoash 我错了别骂我😭
