Математическая энциклопедия - логическая аксиома
Связанные словари
Логическая аксиома
формула логико-математич. языка, принимаемая в качестве аксиомы при построении формальной теории, истинная в любой структуре для данного языка в силу смысла логич. символов. Л. а. выбираются таким образом, чтобы множество логических следствий из аксиом в точности совпадало с множеством теорем. Так, при построении формализованной теории в нек-ром языке первого порядка Lв качестве логич. аксиом могут быть выбраны все формулы, получающиеся подстановкой произвольных формул языка Lвместо предикатных переменных в аксиомы исчисления предикатов.
Лит.:[1] Мендельсон Э., Введение в математическую логику, пер. с англ., М., 1971; [2] Шёнфилд Д ж., Математическая логика, пер. с англ., М., 1975. В. Е. Плиско.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 558 | |
2 | 484 | |
3 | 482 | |
4 | 474 | |
5 | 455 | |
6 | 441 | |
7 | 438 | |
8 | 435 | |
9 | 426 | |
10 | 425 | |
11 | 423 | |
12 | 413 | |
13 | 407 | |
14 | 376 | |
15 | 376 | |
16 | 373 | |
17 | 367 | |
18 | 366 | |
19 | 365 | |
20 | 362 |