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

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

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

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

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

сколемизацию

сколемизацией

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

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

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

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

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

Skolemization is used in logic to eliminate existential quantifiers.

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

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

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

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

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