[理工] [離散] 一階邏輯

看板Grad-ProbAsk作者 (胖胖)時間14年前 (2012/01/18 18:22), 編輯推噓3(303)
留言6則, 4人參與, 最新討論串1/1
There is exactly one person whom everybody loves. "恰有一個"人被所有人喜歡 其中L(x,y) 代表 x 喜歡 y 請問這種題目不曉得是否能用唯一量詞呢? 就是存在的符號後面接一個驚嘆號 , 因為如果不用唯一量詞的話 我看書上都寫的有點複雜 , 所以想請問這種恰有一個的情況是否能用唯一量詞 當然前題是題目沒有特別限制的情況下 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 123.0.42.10

01/18 21:19, , 1F
我比較不專業...我都寫唯一量詞XD
01/18 21:19, 1F

01/18 21:28, , 2F
不過寫成 如果大家都愛她 他一定是y 這樣其實也可以啦..
01/18 21:28, 2F

01/18 23:31, , 3F
first-order logic是沒有 彐! 這個量詞的
01/18 23:31, 3F

01/19 07:51, , 4F
原來如此 多謝b大指證~ 考試時只好再注意些囉
01/19 07:51, 4F

01/19 20:43, , 5F
所以彐!不能用嗎??
01/19 20:43, 5F

01/19 21:58, , 6F
樓上,一階邏輯沒有述語量詞。
01/19 21:58, 6F
文章代碼(AID): #1F5frHM_ (Grad-ProbAsk)