✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
Как называется множество, которое включает все константы, встречающиеся в множестве клауз и все термы, построенные из них с помощью функциональных символов, встречающихся в множестве клауз?