замкнутая теорияЗАМКНУТЫЙ

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

Найдено 1 определение:

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философская Энциклопедия. В 5-х т.

Найдено схем по теме ЗАМКНУТАЯ ФОРМУЛА — 0

Найдено научныех статей по теме ЗАМКНУТАЯ ФОРМУЛА — 0

Найдено книг по теме ЗАМКНУТАЯ ФОРМУЛА — 0

Найдено презентаций по теме ЗАМКНУТАЯ ФОРМУЛА — 0

Найдено рефератов по теме ЗАМКНУТАЯ ФОРМУЛА — 0