ЗАМКНУТАЯ ФОРМУЛА

ЗАМКНУТАЯ ФОРМУЛА
ЗА́МКНУТАЯ ФО́РМУЛА
такая формула логич. исчисления, к-рая выражает нек-рое высказывание; формула, не содержащая свободных переменных вовсе или имеющая только такие их вхождения, к-рые нельзя связывать кванторами, не выходя за рамки данного исчисления. Напр., З. ф. узкого предикатов исчисления – это формулы, в к-рых связаны кванторами все вхождения предметных переменных, но, вообще говоря, могут иметься свободные вхождения предикатных или пропозициональных переменных. Формулу, не являющуюся З. ф., можно обычно сделать З. ф. (замкнуть), связав переменные кванторами общности. Понятие замкнутости можно перенести и на выражения естеств. языка, если в последнем (или в нек-рой его части) провести четкое выявление слов (или иных языковых средств), с помощью к-рых выражаются переменные, а также средств, дающих возможность связывать такие слова (подобно тому, как кванторы связывают переменные), что позволяет отличить слова, являющиеся связанными, от свободных. См. Квантор, Переменная.
А. Кузнецов. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.


.

Игры ⚽ Поможем написать курсовую

Смотреть что такое "ЗАМКНУТАЯ ФОРМУЛА" в других словарях:

  • ЗАМКНУТАЯ ФОРМУЛА — см. Арифметика формальная …   Математическая энциклопедия

  • Формула Грина — Теорема Грина устанавливает связь между криволинейным интегралом по замкнутому контуру C и двойным интегралом по области D, ограниченной этим контуром. Фактически, эта теорема является частным случаем более общей теоремы Стокса. Теорема названа в …   Википедия

  • Замкнутая времениподобная кривая — Замкнутая временеподобная линия или замкнутая временеподобная кривая (англ. closed timelike curve, CTC) в математической физике  временеподобная кривая на Лоренцевом многообразии, возвращающаяся в исходную пространственно временную… …   Википедия

  • РАЗРЕШИМАЯ ФОРМУЛА — (в данной системе) такая формула Аданной формальной системы, что либо она доказуема в этой системе (т. е. является теоремой), либо опровержима (т. е. доказуемо ее отрицание ). Если всякая замкнутая формула данной формальной системы разрешима в… …   Математическая энциклопедия

  • ОПРОВЕРЖИМАЯ ФОРМУЛА — формально опровержимая в данной системе формула, замкнутая формула данной системы, отрицание к рой выводимо в этой системе. В. Н. Гришин …   Математическая энциклопедия

  • ПУАНКАРЕ - БЕРТРАНА ФОРМУЛА — формула перестановки порядка интегрирования в повторных несобственных интегралах в смысле главного значения по Коши. Пусть Г простая замкнутая или разомкнутая гладкая линия на комплексной плоскости; j(t, t1).определенная на Г (вообще говоря,… …   Математическая энциклопедия

  • ГАУССА-ОСТРОГРАДСКОГО ФОРМУЛА — одна из основных интегральных теорем векторного анализа, связывающая объемный интеграл с поверхностным: Здесь замкнутая поверхность, ограничивающая 3 мерную область V, а п проекция вектора на внеш. нормаль к поверхности. Получена Дж. Грином (G.… …   Физическая энциклопедия

  • РИМАНА - ГУРВИЦА ФОРМУЛА — ф о р м у л а Г у р в и ц а, с о о т н о ш е н и е Г у р в и ц а, формула, связывающая род замкнутой римановой поверхности с числом ее листов и кратностью точек ветвления. Пусть R замкнутая риманова поверхность рода накрывающая Rриманова… …   Математическая энциклопедия

  • Декартово замкнутая категория — В теории категорий декартово замкнутой называется категория, допускающая интернализацию понятия морфизма. Другими словами, каждому морфизму в ней соответствует некоторый объект , представляющий его. Декартово замкнутые категории, находятся, в… …   Википедия

  • РЕАЛИЗУЕМОСТЬ — один из видов неклассич. интерпретаций логических и логико математических языков. Различные интерпретации типа Р. определяются по следующей схеме. Для формул логико математич. языка определяется отношение объект реализует замкнутую формулу F , к… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»