95 清大資工 離散 邏輯

看板Grad-ProbAsk作者 (kai3570)時間8年前 (2017/12/20 16:35), 8年前編輯推噓2(201)
留言3則, 1人參與, 8年前最新討論串1/1
題目如下 https://i.imgur.com/EJoOmR0.jpg
答案 https://i.imgur.com/7M2A42g.jpg
想請問各位大大,我圈起來的地方 (a)的->能不能改成^ (b)的^能不能改成-> 如果兩個答案都改成上述那樣 敘述又會變成怎樣? 小弟資質駑鈍 想好久想不出差異 麻煩各位大大解惑 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.137.170.57 ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1513758929.A.076.html ※ 編輯: kai3570 (114.137.170.57), 12/20/2017 16:42:24

12/20 17:17, 8年前 , 1F
都不行 可以考慮一下x=y的狀況來決定
12/20 17:17, 1F

12/20 17:20, 8年前 , 2F
第一題改^的話自己不管有沒有寄給自己都會錯
12/20 17:20, 2F

12/20 17:21, 8年前 , 3F
第二題的話則是會允許只有自己打/寄訊息給自己的狀況
12/20 17:21, 3F
回去翻了一下for all跟exist some的定義 終於看懂了 感謝大大 ※ 編輯: kai3570 (114.137.170.57), 12/20/2017 19:11:34
文章代碼(AID): #1QEY3H1s (Grad-ProbAsk)