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