Какая из формул исчисления предикатов выражает тот факт, что в множестве М, в котором определен частичный порядок, существует максимальный элемент?
(Отметьте один правильный вариант ответа.)
Варианты ответа
∀x∃y(((x∈M)&(y∈M)&(x<y))→(x=y))
∃x∀y(((x∈M)&(y∈M)&(x<y))→(x=y)) (Верный ответ)
∃x∃y(((x∈M)&(y∈M)&(x<y))→(x=y))