Сколемизация

Перевод слова "сколемизация" на Английский язык

Существительное

сколемизации множ.

Сколемизация используется в логике для устранения кванторов существования.

Skolemization is used in logic to eliminate existential quantifiers.

Существительное

Процесс преобразования логической формулы, при котором кванторы существования устраняются путём введения сколемовских функций или констант.

Сколемизация упрощает автоматическое доказательство теорем, устраняя кванторы существования.

Результат такого преобразования — получившаяся после устранения кванторов существования формула.

Полученная сколемизация эквивалентна исходной формуле по истинности в моделях.