Редактирование: Математическая Логика, решение задач/variant 2004
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 17: | Строка 17: | ||
φ<sub>1</sub> = (R(a) & R(b) & (a ≤ b)) | φ<sub>1</sub> = (R(a) & R(b) & (a ≤ b)) | ||
- | φ<sub>2</sub> = ∀ n<sub>1</sub> (N(n<sub>1</sub>) & ∃ n<sub>2</sub> ( | + | φ<sub>2</sub> = ∀ n<sub>1</sub> (N(n<sub>1</sub>) & ∃ n<sub>2</sub> ((n<sub>2</sub> ≥ n<sub>1</sub>) & ∃ x<sub>1</sub> (E(x<sub>1</sub>, n<sub>2</sub>, y) & ((a ≤ x<sub>1</sub>) & (x<sub>1</sub> ≤ b)))) |
φ<sub>3</sub> = ∃ p (A(p, y) & ((a ≤ p) & (p ≤ b))) | φ<sub>3</sub> = ∃ p (A(p, y) & ((a ≤ p) & (p ≤ b))) | ||