Додати до Chrome
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Какие элементы входят в универсум Эрбрана?
Предикатные символы
Все термы, построенные из констант и функциональных символов, встречающихся в множестве клауз
Объекты реального мира
Все константы, встречающиеся в множестве клауз
Атомарные формулы
Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!