→ Ricestone: 單純就是P(x,y)跟P(y,x)不一樣而已啊 12/17 14:14
→ Ricestone: 不過這題應該是T 12/17 14:17
→ Ricestone: 雖然P(x,y)跟P(y,x)不一樣，但是∃x跟∃y可以互換 12/17 14:18
→ Ricestone: 也就是你的第三張圖都是恆等的 12/17 14:18
→ houallan5478: 原來如此!懂了感謝R大 12/17 22:51
https://i.imgur.com/TfRYTb4.jpg
想問第一題。 答案是 false
看到這種邏輯的等價，兩邊取的x y變數是要一樣的嗎 ？
也就是不能把右邊看成新的變數？
https://i.imgur.com/gYpGVML.jpg
想額外再問兩個想到的問題：
這兩題有等價嗎？
https://i.imgur.com/ZXdtpdJ.jpg
感謝大大了
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.10.128.222 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1576562242.A.EAC.html