Редактирование: Математическая Логика, решение задач/variant 2004
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 1: | Строка 1: | ||
== Построение предиката по утверждению == | == Построение предиката по утверждению == | ||
- | === Условные обозначения === | ||
- | * почти все = все, кроме конечного числа; | ||
- | |||
- | ==== Доступные предикаты ==== | ||
- | * R(x) — вещественное число; | ||
- | * N(x) — натуральное число; | ||
- | * S(y) — y — последовательность действительных чисел; | ||
- | * E(x, n, y) — x — элемент y с номером n; | ||
- | * A(p, y) — p — предельная точка последовательности y; | ||
- | * M(x, y) — x — предел последовательности y; | ||
- | * x < y, x = y — сравнение и равенство. | ||
- | |||
- | === Задача 1 === | ||
''Какова бы ни была последовательность действительных чисел и отрезок [a, b] действительных чисел, если бесконечно много элементов этой последовательности содержится в данном отрезке, то хотя бы одна предельная точка данной последовательности также сожержится в этом отрезке.'' | ''Какова бы ни была последовательность действительных чисел и отрезок [a, b] действительных чисел, если бесконечно много элементов этой последовательности содержится в данном отрезке, то хотя бы одна предельная точка данной последовательности также сожержится в этом отрезке.'' | ||