✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Je dán jazyk predikátové logiky, který obsahuje predikátový symbol arity , funkční symboly arity a arity , konstantní symbol a proměnné .Jaký je maximální unifikátor atomických formulí a ?