Верно ли, что формула ∀𝑥(𝑃(𝑥)⊃𝑄(𝑥))≡(∃𝑥𝑃(𝑥)⊃∀𝑥𝑄(𝑥))∀x(P(x)⊃Q(x))≡(∃xP(x)⊃∀xQ(x))\forall x(P(x)\supset Q(x))\equiv (\exists xP(x)\supset\forall xQ(x)) логически общезначима?