Математическая энциклопедия - подстановки правило
Связанные словари
Подстановки правило
одно из вывода правил логико-математических исчислений. Под названием "П. п." могут фигурировать различные виды правил. Напр., в высказываний исчислении это П. п. формулы вместо всех вхождений пропозициональной переменной. Для предикатное исчисления:а) П. н. формулы вместо предикатной переменной;. при этом требуется выполнение ряда ограничений на вхождения индивидных переменных с тем, что ы избежать коллизии переменных, т. е, ситуации, когда переменная, свободная в подставляемой формуле, окажется связанной в результате подстановки; б) П. п. терма вместо свободных вхождений индивидной переменной соответствующего сорта; при этом также необходимо избегать коллизии переменных.
Лит.:[1] Новиков П. С., Элементы математической логики, 2 изд., М., 1973; [2] Шенфилд Д ж. Р., Математическая логика, пер. с англ., М., 1975; 13] Гильберт Д., Бернайс П., Основания математики. Логические исчисления и формализация арифметики, пер. с нем., 2 изд., М., 1982.
С. Н. Артемов.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 558 | |
2 | 484 | |
3 | 482 | |
4 | 474 | |
5 | 455 | |
6 | 441 | |
7 | 439 | |
8 | 435 | |
9 | 426 | |
10 | 425 | |
11 | 423 | |
12 | 414 | |
13 | 407 | |
14 | 377 | |
15 | 376 | |
16 | 373 | |
17 | 367 | |
18 | 366 | |
19 | 365 | |
20 | 364 |