-
English
-
Russian
-
English
-
Russian
Сколемизация
Translation сколемизация into english
сколемизация
Noun
Сколемизация используется в логике для устранения кванторов существования.
Skolemization is used in logic to eliminate existential quantifiers.
Definitions
сколемизация
Noun
Процесс преобразования логической формулы в форму, в которой кванторы всеобщности заменяются на функциональные символы, называемые сколемовскими функциями, с целью устранения кванторов существования.
Сколемизация используется в логике для упрощения формул и облегчения их анализа.