如何用量词和逻辑运算符来表达这个句子

Question

句子如下:

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

Answer 1

类似于

(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"。
"THERE IS"通常可以翻译成"EXISTS"任何最高级(例如，"MOST"或"BEST"或以"-EST"结尾)通常表示"存在x以至于FORALL Y =/= x | x MORE ?"比Y"。

Answer 2

人在哪里

I，对于所有人I, I != person.

不存在person> i的人，对于所有person i, i != person.

∃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 3

最短&&!(最高)