https://i.imgur.com/TfRYTb4.jpg
想问第一题。 答案是 false
看到这种逻辑的等价，两边取的x y变量是要一样的吗 ？
也就是不能把右边看成新的变量？
https://i.imgur.com/gYpGVML.jpg
想额外再问两个想到的问题：
这两题有等价吗？
https://i.imgur.com/ZXdtpdJ.jpg
感谢大大了

单纯就是P(x,y)跟P(y,x)不一样而已啊不过这题应该是T虽然P(x,y)跟P(y,x)不一样，但是∃x跟∃y可以互换也就是你的第三张图都是恒等的

原来如此!懂了感谢R大