Add to Chrome
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
Какие элементы входят в универсум Эрбрана?
Предикатные символы
Все термы, построенные из констант и функциональных символов, встречающихся в множестве клауз
Объекты реального мира
Все константы, встречающиеся в множестве клауз
Атомарные формулы
Get Unlimited Answers To Exam Questions - Install Crowdly Extension Now!