Философская энциклопедия

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

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

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


  1. замкнутая формула—см. Арифметика формальная....Математическая энциклопедия
  2. замкнутая формула—formule ferme...Политехнический русско-французский словарь
  3. замкнутая формула—closed function...Русско-английский словарь по электронике
  4. замкнутая формула—closed formula...Русско-английский технический словарь
  5. замкнутая формула—замкнена формула...Русско-украинский политехнический словарь
  6. замкнутая формула—такая формула логич. исчисления края выражает некрое высказывание формула не содержащая свободных переменных вовсе или имеющая только такие их вхождения крые нельзя связы...Философская Энциклопедия (в 5 томах)