如何用量詞和邏輯運算符表達這句話

Question

這是句子：

有最矮的人，但沒有最高的人。

Answer 1

存在person，其中person < i，對於所有的人i，i != person。

不存在人 > i 的人，對於所有人 i，i != 人。

∃p : T(i,p) ∀i, i!=p, i in (x, y, z)

~(∃p : T(p,i) ∀i, i!=p), i in (x y, z)

Answer 2

就像是：

(EXISTS x in People | FORALL y in People \ {x} y TALLER_THAN x)
AND
NOT (EXISTS w in People | FORALL z in People \ {w} w TALLER_THAN z)

一些注意事項：

• “BUT”通常可以翻譯為“AND NOT”，除非第一句是否定句，在這種情況下它實際上意味着“AND”。
• “THRE IS”通常可以翻譯為“EXISTS”
• 任何最高級（例如，“MOST”或“BEST”或以“-EST”結尾）通常表示“EXISTS x SOCH THAT FORALL Y =/= x | X MORE ? THAN Y”。

Answer 3

最短 && !（最高）

這是你期待的嗎