[理工] 離散 邏輯翻譯

[jerry900287 (滷蛋)]

如圖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
→ YuxiWen: 應該可以，只是答案的會比較直觀
推 yupog2003: 我會寫：存在x [C(x)^(for all y y=\=x -> ~F(x,y))]
→ yupog2003: 因為題目說是anyone else，自己是否認識自己並沒有定義
→ yupog2003: 要排除他
→ yupog2003: 我覺得原po寫的跟解答的意思一樣，應該可以
OK~ 感恩感恩
※ 編輯: jerry900287 (111.243.103.156), 02/21/2017 17:49:41