Какая формула выводится с помощью правила силлогизма из следующих выводимых формул исчисления предикатов∀xF(x)→F(y) ∀xF(x)→F(y) \forall x F(x) \rightarrow F(y) \ \ F(y)→∃xF(x) F(y)→∃xF(x) F(y) \rightarrow \exists xF(x) \ \