Предложение

- простейшее выражение языка, представляющее собой такое соединение слов, к-рое имеет самостоятельный смысл, т. е. выражает законченную мысль. В формализованных языках П. наз. формулы, не содержащие свободных переменных, т. е. параметров. П. в формализованных языках наз. также замкнутыми формулами. Напр., в языке 1-го порядка (языке узкого исчисления предикатов) формулы [img: http://localhost:8080/file/041742-7.jpg] являются замкнутыми (первая ложная, а вторая и третья - истинные в области натуральных чисел). Формулы [img: http://localhost:8080/file/041742-8.jpg] но являются замкнутыми, т. к. содержат параметры (хи у - в первой и z - во второй).