Редактирование: Математическая Логика, 01 семинар (от 26 сентября)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 46: | Строка 46: | ||
*: ''Можно заметить, что при смене квантора всеобщности (∀) на квантор существования (∃) импликация (→) меняется на конъюнкцию (&). Это — одна из закономерностей построения формул на языке предикатов.'' | *: ''Можно заметить, что при смене квантора всеобщности (∀) на квантор существования (∃) импликация (→) меняется на конъюнкцию (&). Это — одна из закономерностей построения формул на языке предикатов.'' | ||
* «Я — математик, но не могу решить этой задачи». Здесь всё достаточно одназначно, отношение двух констант: | * «Я — математик, но не могу решить этой задачи». Здесь всё достаточно одназначно, отношение двух констант: | ||
- | ** φ<sub>2</sub>: M(я) & ¬S( | + | ** φ<sub>2</sub>: M(я) & ¬S(эта задача) |
* «Задача неразрешима». Возникает вопрос, какая задача имеется в виду: какая-то задача вообще или некая определённая задача? В этом случае разрешить этот вопрос помогает контекст: только что говорилось об этой задаче, следовательно, в данном случая она же подразумевается и в этом предложении. Но тут возникает другая, не менее сложная, проблема: каковы границы контекста и приоритеты его применения? Как далеко распространяется контекст? На одно предложение, два, три, абзац, страницу? И какой контекст необходимо использовать, когда их можно использовать несколько? Обычно используется контекст, упоминавшийся последним. Но не всегда это так. Тем не менее, данное предложение можно проинтепретировать однозначно: | * «Задача неразрешима». Возникает вопрос, какая задача имеется в виду: какая-то задача вообще или некая определённая задача? В этом случае разрешить этот вопрос помогает контекст: только что говорилось об этой задаче, следовательно, в данном случая она же подразумевается и в этом предложении. Но тут возникает другая, не менее сложная, проблема: каковы границы контекста и приоритеты его применения? Как далеко распространяется контекст? На одно предложение, два, три, абзац, страницу? И какой контекст необходимо использовать, когда их можно использовать несколько? Обычно используется контекст, упоминавшийся последним. Но не всегда это так. Тем не менее, данное предложение можно проинтепретировать однозначно: | ||
** φ<sub>3</sub>: ¬D(эта_задача) | ** φ<sub>3</sub>: ¬D(эта_задача) |