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

Translation of "сколемизация" into English

Noun

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

сколемизации / pl

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

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

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

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

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

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

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

Skolemization is used in logic to eliminate existential quantifiers.

Noun

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

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

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

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