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大