" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ПРЕДЛОЖЕНИЕ

Значение ПРЕДЛОЖЕНИЕ в математической энциклопедии:

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

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

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

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