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

Übersetzung von "сколемизация" ins Englisch

Substantiv

сколемизации Pl.

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

Skolemization is used in logic to eliminate existential quantifiers.

Substantiv

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

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

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

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