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