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

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

Substantiv

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

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

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

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

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

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

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

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

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

Skolemization is used in logic to eliminate existential quantifiers.

Substantiv

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

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

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

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