Какая формула выводится с помощью правила заключения из следующих выводимых формул исчисления предикатов⊢(∀xF(x)→F(y))→(F(y)¯¯¯¯¯¯¯¯¯¯→∀xF(x)¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯) ⊢(∀xF(x)→F(y))→(F(y)¯→∀xF(x)¯) \vdash (\forall xF(x) \rightarrow F(y)) \rightarrow (\overline{F(y)} \rightarrow \overline{\forall xF(x)}) \ \ ⊢(∀xF(x)→F(y)) ? ⊢(∀xF(x)→F(y)) ? \vdash (\forall xF(x) \rightarrow F(y)) \ ?\