[理工] 離散 邏輯翻譯

看板Grad-ProbAsk作者 (滷蛋)時間8年前 (2017/02/21 13:26), 8年前編輯推噓1(1推 0噓 4→)
留言5則, 2人參與, 最新討論串1/1
如圖http://i.imgur.com/rfQszNM.jpg
我想請問一下第一小題 答案跟我下面用鉛筆寫的答案意思有一樣嗎?? 關於順序的翻譯我還是有點搞不太清楚 有高手能指點嗎QQ -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.243.103.156 ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1487654786.A.F04.html
→
02/21 17:26, , 1F
應該可以，只是答案的會比較直觀
02/21 17:26, 1F
推
02/21 17:36, , 2F
我會寫：存在x [C(x)^(for all y y=\=x -> ~F(x,y))]
02/21 17:36, 2F
→
02/21 17:37, , 3F
因為題目說是anyone else，自己是否認識自己並沒有定義
02/21 17:37, 3F
→
02/21 17:37, , 4F
要排除他
02/21 17:37, 4F
→
02/21 17:38, , 5F
我覺得原po寫的跟解答的意思一樣，應該可以
02/21 17:38, 5F
OK~ 感恩感恩 ※ 編輯: jerry900287 (111.243.103.156), 02/21/2017 17:49:41
‣ 更多 jerry900287 的文章
文章代碼(AID): #1Ogy-2y4 (Grad-ProbAsk)