Выберите формулы, которые являются частями следующей формулы исчисления предикатов:∃z(∀yG(y,z)∨F(x)) ∃z(∀yG(y,z)∨F(x)) \exists z (\forall yG(y,z) \vee F(x)) \ \
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.