Вопросы к Поиску с Алисой
Смысл элиминации в математике — это получение по заданной логической формуле эквивалентной ей, не содержащей кванторов. ru.wikipedia.org
Другими словами, это процесс нахождения для всякой заданной формулы другой формулы, не содержащей кванторов и эквивалентной данной. www.lomonosov-fund.ru