از رو چه کتابی میخونید؟
هوش پوران صفحه ۲۱۳ توضیح داده...البته تو همه کتابا توضیحش هست...

اولین راه استنتاج تو منطق مرتبه اول همینه که سورهاشو حذف کنیم تا فقط گذاره‌ها بمونن...بعد با منطق گذاره ای اسنتاج کنیم.
که برای حذف سورها دو قانون داریم:۱/قانون نمونه سازی عمومی و ۲/قانون نمونه سازی وجودی

قانون نمونه سازی عمومی میتونه چندبار بر جمله سور ِ عمومی دار اعمال بشه و نتایج مختلفی بده
در جمله آلفا که سور عمومی داره.یک متغیر مثل v داریم. و یک ترم زمینی مثل g هم داریم.که این متغیر v رو با اون ترم g جایگزین میکنیم و سور عمومی رو حذف میکنیم.

اما قانون نمونه سازی وجودی فقط یک بار بر جمله ای که سور وجودی داره اعمال میشه..یک نام جدید رو جایگزین متغیر عبارتی که سور وجودی داره می کنیم و سورش رو حذف میکنیم.
به این نام جدید که قبلاً تو KB نبوده.ثابته اسکولم میگیم.