Языки и исчисления

В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:

(Отметьте один правильный вариант ответа.)

Варианты ответа

$\forall x\forall y((x \le y) \vee (y \le x) \to (x = y))$

$\forall x\forall y((x \le y) \wedge (y \le x) \to (x = y))$ (Верный ответ)

$\forall x\forall y((x < y) \wedge (y < x) \to (x = y))$

Похожие вопросы

В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:

В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:

Любые два плотно упорядоченных множества без первого и последнего элемента:

Для упорядоченных множеств сигнатуры $S = \left\langle { = , < } \right\rangle$ и носителей Z и R:

Для упорядоченных множеств сигнатуры $S = \left\langle { = , < } \right\rangle$ и носителей Z и Q:

Для упорядоченных множеств сигнатуры $S = \left\langle { = , < } \right\rangle$ и носителей N и Z:

Для упорядоченных множеств сигнатуры $S = \left\langle { = , < } \right\rangle$ и носителей R и Q: