Редактирование: Математическая Логика, решение задач/variant 2004
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 42: | Строка 42: | ||
φ<sub>2</sub> = ∃ p (A(p, y) & (p ≤ 0)) | φ<sub>2</sub> = ∃ p (A(p, y) & (p ≤ 0)) | ||
- | ∀ y | + | ∀ y (S(y) & φ<sub>1</sub> → φ<sub>2</sub>) |
=== Задача 5 === | === Задача 5 === | ||
''Каковы бы ни были две последовательности действительных чисел такие, что первая одна из них → 0, а другая ограничена, тогда из произведение тоже → 0.'' | ''Каковы бы ни были две последовательности действительных чисел такие, что первая одна из них → 0, а другая ограничена, тогда из произведение тоже → 0.'' | ||
- | φ<sub>1</sub> = ∃ M ( | + | φ<sub>1</sub> = ∃ M (∀ n (N(n) & ∃ x (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>)))) | φ<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>)))) | ||
Строка 55: | Строка 55: | ||
''Нет такой сходящейся последовательности, что ее нельзя было бы представить как сумму двух сходящихся последовательностей.'' | ''Нет такой сходящейся последовательности, что ее нельзя было бы представить как сумму двух сходящихся последовательностей.'' | ||
- | φ<sub>1</sub>(y) = S(y) & ∃ m (R(m) & | + | φ<sub>1</sub>(y) = S(y) & ∃ m (R(m) & (m, y)) |
- | φ<sub>2</sub>(y<sub>1</sub>, y<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> | + | φ<sub>2</sub>(y<sub>1</sub>, y<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 | + | ¬(∃ y (φ<sub>1</sub>(y) & ∀ y<sub>1</sub> ∀ y<sub>2</sub> (φ<sub>1</sub>(y<sub>1</sub>) & φ<sub>1</sub>(y<sub>2</sub>) & ¬φ<sub>2</sub>(y<sub>1</sub>, y<sub>2</sub>, y)))) |
== Табличный вывод == | == Табличный вывод == |