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

Question

这句话是：

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

Answer 1

存在人＆lt;我，对于所有人我，我！=人。

没有人在哪里＆gt;我，对于所有人我，我！=人。

∃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”。
• “THERE IS”通常可翻译为“EXISTS”
• 任何最高级（例如，“MOST”或“BEST”或以“-EST”结尾）通常表示“EXISTS x SUCH FOR FOR Y = / = x | X MORE？THAN Y”。

Answer 3

最短＆amp;＆amp; ！（最高）

这是你期待的吗？