Как выразить это предложение с помощью квантификаторов и логических операторов

Question

Вот предложение:

Есть самый короткий человек, но нет самого высокого человека.

Answer 1

Существует человек, где человек <я, для всех людей я, я!= Человек.

Не существует человека, где человек> я, для всех людей я, я!= Человек.

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

Некоторые заметки:

• "НО" обычно можно перевести как "И НЕ", если только первое предложение не является отрицательным, в этом случае оно фактически означает "И".
• "ТАМ ЕСТЬ" обычно можно перевести как "СУЩЕСТВУЕТ"
• Любая превосходная степень (например, "MOST" или "BEST" или оканчивающаяся на "-EST") обычно означает "СУЩЕСТВУЕТ Х ТАКОЕ, ЧТО ПРОДАЕТСЯ Y =/= x | X MORE? THAN Y".

Answer 3

Самый короткий &&!(самый высокий)

Это вы ожидаете