Редактирование: Математическая Логика, решение задач/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 === |