Akademik

- простейшее выражение языка, представляющее собой такое соединение слов, к-рое имеет самостоятельный смысл, т. е. выражает законченную мысль. В формализованных языках П. наз. формулы, не содержащие свободных переменных, т. е. параметров. П. в формализованных языках наз. также замкнутыми формулами. Напр., в языке 1-го порядка (языке узкого исчисления предикатов) формулы

являются замкнутыми (первая ложная, а вторая и третья - истинные в области натуральных чисел). Формулы

но являются замкнутыми, т. к. содержат параметры (хи у - в первой и z - во второй).

Лит.:[1] Чёрч А., Введение в математическую логику, пер. с англ., М., 1960. В. Н. Гришин.