Редактирование: Математическая Логика, решение задач/variant 2004
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 25: | Строка 25: | ||
''Какова бы ни была последовательность действительных чисел, найдется отрезок, содержащий все ее предельные точки.'' | ''Какова бы ни была последовательность действительных чисел, найдется отрезок, содержащий все ее предельные точки.'' | ||
- | ∀ y S(y) & ∃ a ∃ b ( | + | ∀ y S(y) & ∃ a ∃ b (∀ p (A(p, y) & (a ≤ p) & (p ≤ b)))) |
=== Задача 3 === | === Задача 3 === |