Akademik

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