Математическая Логика, решение задач/variant 2004
Материал из eSyr's wiki.
м (→Задача 3) |
м (→Задача 4) |
||
Строка 43: | Строка 43: | ||
∀ y (S(y) & φ<sub>1</sub> & (S(y) & φ<sub>1</sub> → φ<sub>2</sub>)) | ∀ y (S(y) & φ<sub>1</sub> & (S(y) & φ<sub>1</sub> → φ<sub>2</sub>)) | ||
+ | |||
+ | === Задача 5 === | ||
+ | ''Каковы бы ни были две последовательности действительных чисел такие, что первая одна из них → 0, а другая ограничена, тогда из произведение тоже → 0.'' | ||
+ | |||
+ | φ<sub>1</sub> = ∀ n (N(n) & &exist x; ∃ M (R(M) & R(x) & E(x, n, y) & (x < M))) | ||
+ | φ<sub>2</sub> = ∃ y<sub>3</sub> (S(y<sub>3</sub>) & ∀ n (N(n) ∃ x<sub>1</sub> ∃ x<sub>2</sub> ∃ x<sub>3</sub> (E(x<sub>1</sub>, n, y<sub>1</sub>) & E(x<sub>2</sub>, n, y<sub>2</sub>) & E(x<sub>3</sub>, n, y<sub>3</sub>) & (x<sub>3</sub> = x<sub>1</sub> × x<sub>2</sub>)))) | ||
+ | |||
+ | ∀ y<sub>1</sub> ∀ y<sub>2</sub> (S(y<sub>1</sub>) & S(y<sub>2</sub>) & M(0, y<sub>1</sub>) & φ<sub>1</sub> & φ<sub>2</sub> & (S(y<sub>1</sub>) & S(y<sub>2</sub>) & M(0, y) & φ<sub>1</sub> & φ<sub>2</sub> → M(0, y<sub>3</sub>))) | ||
{{Курс Математическая Логика}} | {{Курс Математическая Логика}} |
Версия 17:39, 21 января 2008
Содержание |
Построение предиката по утверждению
Условные обозначения
- почти все = все, кроме конечного числа;
Доступные предикаты
- 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 S(y) & ∃ a ∃ b (∀ p (A(p, y) & (a ≤ p) & (p ≤ b))))
Задача 3
Каков бы ни был отрезок [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 → φ3))
Задача 4
Какова бы ни была последовательность действительных чисел, если эта последовательность содержит отрицательный элемент, то найдется хотя бы одна неположительная предельная точка этой последовательности.
φ1 = ∃ x ∃ n (R(x) & N(n) & E(x, n, y) & (x < 0)) φ2 = ∃ p (A(p, y) & (p ≤ 0)) ∀ y (S(y) & φ1 & (S(y) & φ1 → φ2))
Задача 5
Каковы бы ни были две последовательности действительных чисел такие, что первая одна из них → 0, а другая ограничена, тогда из произведение тоже → 0.
φ1 = ∀ n (N(n) & &exist x; ∃ M (R(M) & R(x) & E(x, n, y) & (x < M))) φ2 = ∃ y3 (S(y3) & ∀ n (N(n) ∃ x1 ∃ x2 ∃ x3 (E(x1, n, y1) & E(x2, n, y2) & E(x3, n, y3) & (x3 = x1 × x2))))
∀ y1 ∀ y2 (S(y1) & S(y2) & M(0, y1) & φ1 & φ2 & (S(y1) & S(y2) & M(0, y) & φ1 & φ2 → M(0, y3)))
|
|
Ссылки
Официальная страница курса | Задачи
Проведение экзамена | Решение задач: Решение задач методички | Решение задач варианта экзамена 2004 года | Алгоритмы решения задач