Given the following first-order formula with equality: (f(x) ≐ g(x) ∨ q(x)) ∧...
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Given the following first-order formula with equality:
(f(x) ≐ g(x) ∨ q(x)) ∧
(f(x) ≐ x) ∧
(¬(x ≐ a()) ∨ ¬q(x)) ∧
(¬p(g(f(a()))) ∧
(p(f(a())) ∨ p(x))
Prove that this formula is unsatisfiable (1) by enriching the formula with equality axioms and standard FO-resolution or (2) with the resolution calculus with paramodulation.
Хочете миттєвий доступ до всіх перевірених відповідей на moodle.jku.at?
Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!