НГУ

элиминация кванторов и сколемизация -- это одно и то же ?

Нет

_________________
Don't let the sun blast your shadow
Don't let the milk float ride your mind

утончение -
элиминация кванторов и сколемизация для формул первопорядковой логики-- это одно и то же ?

Оба термина не имеют абсолютно строгого значения. Если проведена сколемизация в том смысле, что в язык добавлены функции, "решающие" кванторы существования, то отсюда можно извлечь некоторую элиминацию.

Но бывают способы элиминации, никак не связанные со сколемовскими функциями.

Если проведена сколемизация в том смысле, что в язык добавлены функции??

_________________
Save your time and get Pass4sure C_TFIN52_66 You can get our 100% Android certification practice test Adams State University Also get free demos of University of California, Berkeley paced test engine to help you pass Northwood University