[理工] 106 台大電機 邏輯

看板Grad-ProbAsk作者 (houallan5478)時間4年前 (2019/12/17 13:57), 編輯推噓0(005)
留言5則, 2人參與, 4年前最新討論串1/1
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

12/17 14:14, 4年前 , 1F
單純就是P(x,y)跟P(y,x)不一樣而已啊
12/17 14:14, 1F

12/17 14:17, 4年前 , 2F
不過這題應該是T
12/17 14:17, 2F

12/17 14:18, 4年前 , 3F
雖然P(x,y)跟P(y,x)不一樣,但是∃x跟∃y可以互換
12/17 14:18, 3F

12/17 14:18, 4年前 , 4F
也就是你的第三張圖都是恆等的
12/17 14:18, 4F

12/17 22:51, 4年前 , 5F
原來如此!懂了感謝R大
12/17 22:51, 5F
文章代碼(AID): #1T-6v2wi (Grad-ProbAsk)