Математическая энциклопедия - предложение
Связанные словари
Предложение
предложение
простейшее выражение языка, представляющее собой такое соединение слов, к-рое имеет самостоятельный смысл, т. е. выражает законченную мысль. В формализованных языках П. наз. формулы, не содержащие свободных переменных, т. е. параметров. П. в формализованных языках наз. также замкнутыми формулами. Напр., в языке 1-го порядка (языке узкого исчисления предикатов) формулы
являются замкнутыми (первая ложная, а вторая и третья истинные в области натуральных чисел). Формулы
но являются замкнутыми, т. к. содержат параметры (хи у - в первой и z во второй).
Лит.:[1] Чёрч А., Введение в математическую логику, пер. с англ., М., 1960. В. Н. Гришин.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 557 | |
2 | 483 | |
3 | 481 | |
4 | 472 | |
5 | 454 | |
6 | 440 | |
7 | 437 | |
8 | 433 | |
9 | 424 | |
10 | 424 | |
11 | 422 | |
12 | 413 | |
13 | 406 | |
14 | 375 | |
15 | 375 | |
16 | 372 | |
17 | 365 | |
18 | 364 | |
19 | 364 | |
20 | 362 |