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

这是一句话：

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

最矮的&&！（最高的）

---

这是你所期待的吗？

存在一个人，其中的人

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

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

不存在一个人，其中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)

比如：

(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)

一些注意事项：

• “但是”通常可以翻译为“和不是”，除非第一句是否定的，在这种情况下它实际上意味着“和”
• “有”通常可以翻译为“存在”
• 任何最高级（例如，“MOST”或“BEST”或以“-EST”结尾）通常表示“存在x，因此所有Y=/=x | x比Y多”

---

我投票结束这个问题，因为它与逻辑和数学有关，但与编程无关。离散数学与programming@Smandoli在十二生肖的辩护中，有一个有效的标签，上面有关于主题的开放式问题和追随者（不包括量词）。谢谢。但是我不得不说对不起，我忘了说。它被赋予变量x，y，z和T（x，y），表示“x比y高”。所有变量都必须由你自己量化。变量的选择并不重要。事实上，您只需要两个变量，

x

和

y

，开头的

x

和

y

将由它们关联的量词限定范围（它们是“绑定的”），您可以在第二部分中安全地重用它们。对于T（x，y）。。。把比b高的a替换成T（a，b）@zodiac你看到我的评论了吗？谢谢。但是我不得不说对不起，我忘了说。它被赋予变量x，y，z和T（x，y），表示“x比y高”。所有变量都必须由您自己量化。谢谢。但是我不得不说对不起，我忘了说。它被赋予变量x，y，z和T（x，y），表示“x比y高”。所有变量都必须由您自己量化。