Crowdly

Додати до Chrome

Consider a signature with constants a, b; function symbols f, g; predicate symb...

✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.

Consider a signature with constants a, b; function symbols f, g; predicate symbols p, q and variables x, y, z.

Given the following first-order formula Φ:

∀x∀y.(p(x,y) ∧ ¬q(f(a()), f(z), g(a(),b()))) ∧ p(z,z)

Which of the following properties hold?

p(z,z) is in the scope of ∀x.

f(a()) is a subformula of Φ.

Φ is a closed formula.

x is a free variable in Φ.

z is a free variable in Φ.

p(x,y) is a ground atom.

q is a predicate and has arity 2.

¬q(f(a()), f(z), g(a(),b())) is a literal.

Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!

Додати до Chrome