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

[a613204 (胖胖)]

There is exactly one person whom everybody loves.

"恰有一個"人被所有人喜歡

其中L(x,y) 代表 x 喜歡 y

請問這種題目不曉得是否能用唯一量詞呢?

就是存在的符號後面接一個驚嘆號 , 因為如果不用唯一量詞的話

我看書上都寫的有點複雜 , 所以想請問這種恰有一個的情況是否能用唯一量詞

當然前題是題目沒有特別限制的情況下


--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 123.0.42.10
推 AIdrifter:我比較不專業...我都寫唯一量詞XD
推 AIdrifter:不過寫成 如果大家都愛她 他一定是y 這樣其實也可以啦..
→ bbhands:first-order logic是沒有 彐! 這個量詞的
推 AIdrifter:原來如此 多謝b大指證~ 考試時只好再注意些囉
→ a613204:所以彐!不能用嗎??
→ kiwidoit:樓上，一階邏輯沒有述語量詞。