Предложение
Простейшее выражение языка, представляющее собой такое соединение слов, к-рое имеет самостоятельный смысл, т. е. выражает законченную мысль. В формализованных языках П. наз. формулы, не содержащие свободных переменных, т. е. параметров. П. в формализованных языках наз. также замкнутыми формулами. Напр., в языке 1-го порядка (языке узкого исчисления предикатов) формулы являются замкнутыми (первая ложная, а вторая и третья — истинные в области натуральных чисел). Формулы но являются замкнутыми, т. к. содержат параметры (хи у — в первой и z — во второй). Лит.:[1] Чёрч А., Введение в математическую логику, пер. с англ., М., 1960. В. Н. Гришин.