Математическая Логика, решение задач/variant 2004

Материал из eSyr's wiki.

Содержание 1 Построение предиката по утверждению 1.1 Условные обозначения 1.1.1 Доступные предикаты 1.2 Задача 1 1.3 Задача 2

Построение предиката по утверждению

Условные обозначения

• почти все = все, кроме конечного числа;

Доступные предикаты

• 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] действительных чисел, если бесконечно много элементов этой последовательности содержится в данном отрезке, то хотя бы одна предельная точка данной последовательности также сожержится в этом отрезке.

φ1 = (R(a) & R(b) & (a ≤ b))
φ2 = ∀ n1 (N(n1) & ∃ n2 (N(n2) & (n2 ≥ n1) & ∃ x1 (E(x1, n2, y) & ((a ≤ x1) & (x1 ≤ b))))
φ3 = ∃ p (A(p, y) & ((a ≤ p) & (p ≤ b)))

∀ a ∀ b ∀ y (S(y) & φ1 & φ2 & (S(y) & φ1 & φ2 → φ4))

Задача 2

Какова бы ни была последовательность действительных чисел, найдется отрезок, содержащий все ее предельные точки.

∀ y  ∀ n (S(y) & N(n) & (∀ x E(x, n, y) & R(x)) & ∃ a ∃ b (∀ p (A(p, y) & (a ≤ p) & (p ≤ b))))